מידע על מבוא לחישוביות
שם מקצוע
מבוא לחישוביות
מספר מקצוע
094250
נקודות
2.5
שעות שבועיות
הרצאה
2
תרגיל
1
מעבדה
0
סמינר/פרויקט
0
קטלוג
סילבוס
הקורס מספק מבוא לתורת החשיבויות והסיבוכיות, ומעט לוגיקה. הנושאים שיילמדו כוללים: אוטומט סופי דטרמיניסטי ושפות רגולריות, אוטומט לא דטרמיניסטי, שפות נטולות הקשר ואוטומט מחסנית, אלגוריתמים על אוטומטים, מכונות טיורינג, מושג הכריעות. סיבוכיות: P, NP, PSPACE שלמות. לוגיקה פסוקית, לוגיקה מסדר ראשון ולוגיקה עתית ( TEMPORAL LOGIC ) כשפות מידול.
מקצועות קדם
מקצועות ללא זיכוי נוסף (מכילים)
מידע סמסטריאלי קיץ 2018/19 (תשע"ט)
עבור לסמסטר
אחראים
דר. יחיאל קמחי
הערות
מועדי בחינות
מועד א
בתאריך 27.09.2019 יום ו
מיקום
קבוצות רישום
| סוג | יום | שעה | בניין | חדר |
| הרצאה הרצאה תרגול | א ב ג | 10:3 - 12:3 10:3 - 12:3 11:3 - 13:3 | חומרים ה.אויר כימיה | 401 240 2 |