שפת סימני היחס מבוא - שפת שמות העצם

Question 1

סימנים השפה

Answer 1

שמות משתנים
שמות קבועים
סימני פיסוק - סוגריים ופסיק
שמות של פונקציות (מספר סדור למטה ואינדקס למעלה)

Question 2

שמות אטומיים

Answer 2

כל שם קבוע או שם משתנה

Question 3

שמות אטומיים

Answer 3

כל שם קבוע או שם משתנה

Question 4

כלל היצירה

Answer 4

שם פונקציה וסדרת סימנים

Question 5

סדרת בניה

Answer 5

סדרה סופית של סדרות סימנים (סדורה)
כל איבר בסדרה יקיים:
שם אטומי או תוצאה של הקדמת פונקצייה לאיברים קודמים

Question 6

שם עצם

Answer 6

רכיב אחרון בסדרת בנייה

Question 7

עקרון האינדוקציה לשפת שמות העצם

Answer 7

כל קבוצת שמות העצם הכוללת את כל השמות האטומים וסגורה תחת הקדמה כל שם פונקציה היא קבוצת כל שמות העצם

Question 8

עומק המבנה של שם העצם

Answer 8

עומק המבנה של שם עצם אטומי הוא 0
כל הוספה של הקדמת פונקציה (הדורשת גם הוספה של סימנים) היא בעלת ערך 1

Question 9

הסמנטיקה של שפת שמות העצם
עיצד נראה מבנה S

Answer 9

(מה שקוראים אותו מבנה אס) זוג סדור שיכלול את תחום הדיון והתאמה
ההתאמה היא לכל שם עצם קבוע והיא חד חד ערכית (צודק?)
התאמה לכל שם פונקציה לערכיות המתאימה לו

נסמן בהתאם לבנה באותן קטנה ליד הסימון בשפה הרלוונטית\
בגדול אנחנו מביאים פשר לשמות הקבועים ולפונקציות אך לא ךמשתנים

Question 10

השמה למשתנים

Answer 10

התאמת ערך כלשהו לתת קבוצה של המשתנים בשפה
ההשמה רלוונטית לשם עצם נתון אם היא מוגדרת על כל משתנה שמופיע בו

Question 11

פירוש שם עצם ביחס למבנה והשמה רלוונטית

Answer 11

נתון: שפה,שם עצם,מבנה ביחס לשפה, השמה ביחס לשם העצם
תיהיה לנו קבוצת נבכ”ים אליה ההגדרות לעיל רלוונטיות
נגדיר פונקציה באינדוקציה:
בסיס - שם עצם קבוע הוא נתון ושם משתנה יקבל ערך מההשמה
צעד האינדוקציה -
הנחת האינדוקציה - נניח שהפונקציה מוגדרת לקבוצת שמות עצם
בהינתן שם פו הפועל עליהם נגדיר:
הפעלת ההשמה על כל שם עצם, ופירוש הפו עם המבנה החדש

Question 12

מהו פסוק בשפת שמות העצם
א. כל נב”כ
ב. כל שם עצם
ג. כל שם אטומי
ד. נב”כ ללא משתנים חופשיים
ד. נב”כ עם משתנים חופשיים
ה. לא ולא

Answer 12

נב”כ ללא משתנים חופשיים