הועלה לאתר:  
מספר עמודים: 120
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

מבוא לאימות תוכנה

ספר אלקטרוני מאת: ניר אדר

2. לוגיקה מסדר ראשון - תקציר

במהלך מסמך זה אנו נעבוד עם תחשים היחסים, כאשר סימני הפונקציה וסימני היחס שלנו יהיו סימנים סטנדרטיים במשמעותם המוכרת. ערכי המשתנים ימלאו את תפקיד ההשמה. הכתיב מבטא שהנוסחה plot:$q$ נכונה כאשר במקום המשתנים החופשיים שמים ערכים מ-plot:$\sigma $.

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

תגיות המסמך:

לפרק הקודם1. מבוא
לפרק הבא2.1. תזכורת – תחשיב היחסים
אין תגובות!
שיתוף:
| עוד