שפת סימני היחס מבוא - שפת שמות העצם Flashcards
סימנים השפה
שמות משתנים
שמות קבועים
סימני פיסוק - סוגריים ופסיק
שמות של פונקציות (מספר סדור למטה ואינדקס למעלה)
שמות אטומיים
כל שם קבוע או שם משתנה
שמות אטומיים
כל שם קבוע או שם משתנה
כלל היצירה
שם פונקציה וסדרת סימנים
סדרת בניה
סדרה סופית של סדרות סימנים (סדורה)
כל איבר בסדרה יקיים:
שם אטומי או תוצאה של הקדמת פונקצייה לאיברים קודמים
שם עצם
רכיב אחרון בסדרת בנייה
עקרון האינדוקציה לשפת שמות העצם
כל קבוצת שמות העצם הכוללת את כל השמות האטומים וסגורה תחת הקדמה כל שם פונקציה היא קבוצת כל שמות העצם
עומק המבנה של שם העצם
עומק המבנה של שם עצם אטומי הוא 0
כל הוספה של הקדמת פונקציה (הדורשת גם הוספה של סימנים) היא בעלת ערך 1
הסמנטיקה של שפת שמות העצם
עיצד נראה מבנה S
(מה שקוראים אותו מבנה אס) זוג סדור שיכלול את תחום הדיון והתאמה
ההתאמה היא לכל שם עצם קבוע והיא חד חד ערכית (צודק?)
התאמה לכל שם פונקציה לערכיות המתאימה לו
נסמן בהתאם לבנה באותן קטנה ליד הסימון בשפה הרלוונטית\
בגדול אנחנו מביאים פשר לשמות הקבועים ולפונקציות אך לא ךמשתנים
השמה למשתנים
התאמת ערך כלשהו לתת קבוצה של המשתנים בשפה
ההשמה רלוונטית לשם עצם נתון אם היא מוגדרת על כל משתנה שמופיע בו
פירוש שם עצם ביחס למבנה והשמה רלוונטית
נתון: שפה,שם עצם,מבנה ביחס לשפה, השמה ביחס לשם העצם
תיהיה לנו קבוצת נבכ”ים אליה ההגדרות לעיל רלוונטיות
נגדיר פונקציה באינדוקציה:
בסיס - שם עצם קבוע הוא נתון ושם משתנה יקבל ערך מההשמה
צעד האינדוקציה -
הנחת האינדוקציה - נניח שהפונקציה מוגדרת לקבוצת שמות עצם
בהינתן שם פו הפועל עליהם נגדיר:
הפעלת ההשמה על כל שם עצם, ופירוש הפו עם המבנה החדש
מהו פסוק בשפת שמות העצם
א. כל נב”כ
ב. כל שם עצם
ג. כל שם אטומי
ד. נב”כ ללא משתנים חופשיים
ד. נב”כ עם משתנים חופשיים
ה. לא ולא
נב”כ ללא משתנים חופשיים