מבוא ללוגיקה

By: אורן בן צבי
Published in: 203.8021
SDGs : SDG 09  |  Units: Social Sciences  | Time: 2021/2022 Second Semester |  Link
Description: הקורס יטפל בנושאי יסוד בלוגיקה: תחשיב הפסוקים, תחשיב הפרדיקטים, סינטקסוסמנטיקה, שפה, נוסחאות נורמאליות, תורת הרברנד , מבנים של שפה מסדרראשון, הוכחות פורמאליות בעזרת רזולוציות, משפט הקומפקטיות ושימושיו,משפט והשלמות, כריעות וחישוביות.