מידע על מבוא לחישוביות
שם מקצוע
מבוא לחישוביות
מספר מקצוע
094250
קטלוג
סילבוס
הקורס מספק מבוא לתורת החשיבויות והסיבוכיות, ומעט לוגיקה. הנושאים שיילמדו כוללים: אוטומט סופי דטרמיניסטי ושפות רגולריות, אוטומט לא דטרמיניסטי, שפות נטולות הקשר ואוטומט מחסנית, אלגוריתמים על אוטומטים, מכונות טיורינג, מושג הכריעות. סיבוכיות: P, NP, PSPACE שלמות. לוגיקה פסוקית, לוגיקה מסדר ראשון ולוגיקה עתית ( TEMPORAL LOGIC ) כשפות מידול.
מקצועות קדם
מקצועות ללא זיכוי נוסף (מכילים)
מידע סמסטריאלי קיץ 2019/20(תש"ף)
עבור לסמסטר
המקצוע לא נלמד בסמסטר זה