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

שנה"ל תשע"ה

  לוגיקה למדעי המחשב
  Logic for Computer Science                                                                           
0368-2170-05
מדעים מדויקים
סמ'  ב'0900-1200005שיעור פרופ בנבנישתי שפי אמיר
ש"ס:  3.0

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

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


אוניברסיטת ת