מקצוע מידע על מקצוע : גדירות וחישוביות - 236331

236331 - גדירות וחישוביות
לא ינתן השנה
נקודות
זיכוי
3.0
 
עבודת
בית
פרויקט
או סמינר
מעבדה תרגול הרצאה  
6     1 2 שעות
שבועיות

קביעת הציון עפ"י מעקב במשך הסמסטר ובחינה סופית.


  234293 לוגיקה ותורת הקבוצות למדעי המחשב   (   מקצועות קדם
) 236343 תורת החישוביות ו -    


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




ספרי לימוד
שנת הוצאה מוציא לאור מחברים ספר
1992   j.a.makowsky model theory and computer science an appetizer

נערך בתאריך 14/07/2020 בשעה 11:06:19