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

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

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

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