מבוא לחישוביות

094250

2.5

2

1

0

0

הקורס מספק מבוא לתורת החשיבויות והסיבוכיות, ומעט לוגיקה. הנושאים שיילמדו כוללים: אוטומט סופי דטרמיניסטי ושפות רגולריות, אוטומט לא דטרמיניסטי, שפות נטולות הקשר ואוטומט מחסנית, אלגוריתמים על אוטומטים, מכונות טיורינג, מושג הכריעות. סיבוכיות: P, NP, PSPACE שלמות. לוגיקה פסוקית, לוגיקה מסדר ראשון ולוגיקה עתית ( TEMPORAL LOGIC ) כשפות מידול.

234247  או 094223 

236343 

חורף 2018/19(תשע"ט) קיץ 2017/18 (תשע"ח)

דר. יחיאל קמחי

בתאריך 11.07.2019 יום ה

בתאריך 27.09.2019 יום ו

חדרי בחינה מועדי וחדרי בחנים