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

שנה"ל תש"ף

  לוגיקה למדעי המחשב
  Logic for Computer Science                                                                           
0368-2170-06
מדעים מדויקים
סמ'  ב'0900-1200013Bלימודי הסביבהשיעור פרופ רבינוביץ אלכסנדר
ש"ס:  4.0

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

מדעים מדויקים
0368-2170-06 לוגיקה למדעי המחשב
Logic for Computer Science
שנה"ל תש"ף | סמ'  ב' | פרופ רבינוביץ אלכסנדר

666סילבוס מפורט/דף מידע
לצפייה בסילבוס נא ללחוץ כאן

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


אוניברסיטת ת