פקולטה: מתמטיקה
|תארים מתקדמים
מקצועות קדם

104293 - תורת הקבוצות או 234292 - לוגיקה למדעי המחשב

מקצועות ללא זיכוי נוסף

236124 - נושאים נבחרים בהוכחות פורמליות