לדלג לתוכן

פרדיקט

מתוך ויקיפדיה, האנציקלופדיה החופשית

פְּרֵדִיקָטלטינית: predicatum; כשם פעולה: פְּרֶדִיקַצְיָה), הוא מאפיין או טענה המיוחסים לרכיב אחר באותה מסגרת. המונח משמש בדקדוק, בפילוסופיה, במתמטיקה, בלוגיקה, במדעי המחשב ובתחומים נוספים.

האם התכוונתם ל...

דקדוק ותחביר
  • פְּרֵדִיקָט – נָשׂוּא, חלק המשפט המתאר או מאפיין את נושא המשפט
פילוסופיה
  • פְּרֶדִיקַצְיָה (פילוסופיה) (גם "הַשָּׂאָה") – בחלוקה הפילוסופית בין "תכונות" לבין ה"דברים" הניחנים בהן, השאה היא הגדרת היחס בין הדבר (ה"נושא") לתכונתו ("הנשוא") והעיסוק ביחס זה. הרעיון נלקח מן הנושא והנשוא במשפט
מתמטיקה, לוגיקה וקריפטוגרפיה
  • פְּרֵדִיקָט (לוגיקה מתמטית) ("טענה") – סימול המייצג תכונה או יחס המוחלים על רכיב אחר באותה נוסחה
    • פְּרֵדִיקָט (פונקציה) (אנ') ("מיפוי", "כלל") – סימול של פונקציה, שכתיבתו בהקשר לעצם פירושה שיש להפעיל עליו את הפונקציה (להתאים מקור לתמונה)
      • פונקציה בוליאנית ("פְּרוֹפּוֹזִיצְיה", "פְּרֵדִיקָט") – פונקציה המתאימה בין ערכים בקבוצה מסוימת לקבוצה בת שני ערכים ("אמת" ו"שקר")
      • פרדיקט ליבה (בקריפטוגרפיה; Hard-core predicate) – פונקציה חד-כיוונית בעלת פלט של סיבית אחת "ליבתית" ("קשה"), שקשה לנחשה גם כאשר הערך f(x)‎ ידוע, ראו סיבית קשה
  • שפה מסדר ראשון ("לוגיקה מסדר ראשון", "תחשיב היחסים", "תחשיב פרדיקטים מסדר ראשון", "FOL"‏) – מערכת לייצוג הקַשַּרים הלוגיים בין ערכים כלשהם של פסוקים לוגיים שונים. הכללה של תחשיב הפסוקים
    • תחשיב הפסוקים – מערכת לייצוג הקַשַּרים הלוגיים בין ערכי האמת של פסוקים לוגיים שונים, ולהסקת טענות לוגיות על בסיסן. מקרה פרטי של שפה מסדר ראשון