חיפוש חדש  חזור
מידע אישי לתלמיד

שנה"ל תשע"ט

  לוגיקה למדעי המחשב
  Logic for Computer Science  
0368-2170-01
מדעים מדויקים
סמ'  א'1100-1400003 כיתות דן דודשיעור ד"ר שוהם בוכבינדר שרון
ש"ס:  4.0

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

להצהרת הנגישות


אוניברסיטת ת