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