לוגיקה להנדסת תוכנה — שאלות תרגול ושיעורים

נושאי הקורס

הנושאים שהקורס מכסה.

1. אוטומורפיזם
2. תורות מסדר ראשון
3. תחשיב הפסוקים
4. גדירות במבנה
5. מערכת הוכחה
6. משפט הקומפקטיות
7. השמה מתוקנת
8. מבנים ומודלים
9. משפט השלמות
10. אינדוקציה מבנית
11. סמנטיקה של פסוקים
12. WFF נוסחאות
13. עקביות מקסימלית
14. איזומורפיזם של מבנים
15. מערכת שלמה
16. שפה מסדר ראשון
17. משפט הקריאה היחידה
18. נביעה לוגית
19. משתנים חופשיים וקשורים
20. משפט הדדוקציה

איך זה עובד

1. מעלים את החומרמצגות, סיכומים, מבחנים קודמים — מה שיש לכם.
2. לומדים בשיעוריםboteacher בונה מהחומר שיעורים ותרגול לפי הקורס שלכם.
3. שואלים את המורהמורה שמכיר את החומר שלכם עונה על כל שאלה, בכל שעה.