מבוא ללוגיקה

מאת: אורן בן צבי
פורסם ב: 203.8021
תיאור: הקורס יטפל בנושאי יסוד בלוגיקה: תחשיב הפסוקים, תחשיב הפרדיקטים, סינטקסוסמנטיקה, שפה, נוסחאות נורמאליות, תורת הרברנד, מבנים של שפה מסדרראשון, הוכחות פורמאליות בעזרת רזולוציות, משפט הקומפקטיות ושימושיו,משפט והשלמות, כריעות וחישוביות.
SDGs : SDG 09  |  יחידות: מדעי החברה  | מועד: 2021/2022 סמסטר שני |  קישור