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