פרדיקט

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

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

דקדוק ותחביר

פְּרֵדִיקָט – נָשׂוּא, חלק המשפט המתאר או מאפיין את נושא המשפט

פילוסופיה

פְּרֶדִיקַצְיָה (פילוסופיה) (גם "הַשָּׂאָה") – בחלוקה הפילוסופית בין "תכונות" לבין ה"דברים" הניחנים בהן, השאה היא הגדרת היחס בין הדבר (ה"נושא") לתכונתו ("הנשוא") והעיסוק ביחס זה. הרעיון נלקח מן הנושא והנשוא במשפט

מתמטיקה, לוגיקה וקריפטוגרפיה

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

פירושונים

זהו דף פירושונים, שמטרתו להבחין בין ערכים שונים בעלי שם דומה.

אם לא מצאתם ברשימת הפירושונים את הערך שהתכוונתם אליו, נסו:

__DISAMBIG__