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