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

שנה"ל תשע"ט

  לוגיקה למדעי המחשב
  Logic for Computer Science  
0368-2170-05
מדעים מדויקים
סמ'  א'1400-1500204 פיזיקה-שנקרתרגיל מר לוי ניסן
סילבוס מקוצר
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים, משפט הרברנד ושימושיו, לוגיקה אינטואיציוניסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.

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


אוניברסיטת ת