הקורס מספק מבוא לתורת החישוביות והסיבוכיות. הנושאים שיילמדו כוללים: אוטומט סופי דטרמיניסטי ושפות רגולריות, אוטומט לא דטרמיניסטי, שפות נטולות הקשר ואוטומט מחסנית, אלגוריתמים על אוטומטים, מכונות טיורינג, מושג הכריעות. במסגרת סיבוכיות ילמדו המחלקות P, NP, NP-HARD, NP-COMPLETE, PSPACE. תוצאות למידה: בסיום הקורס הסטודנטים: 1. יכירו מושגי יסוד בחישוביות, כולל תורת האוטומטים, מכונות טיורינג, שפות רגולריות וכריעות. 2. יכירו מושגי יסוד בתורת הסיבוכיות, כולל המחלקות המרכזיות P,NP, NP-C, PSPACE. 3. ידעו להוכיח חברות של בעיה במחלקת סיבוכיות, וידעו להוכיח כריעות או אי כריעות של בעיה. 4. יכירו את המשפט המראה שמספר הבעיות הכריעות הוא בר מניה, בעוד שמספר הבעיות הבלתי כריעות הוא לא בר מניה.

פקולטה: מדעי הנתונים וההחלטות
|תואר ראשון |תארים מתקדמים
מקצועות קדם

94224 - מבני נתונים ואלגוריתמים או 234247 - אלגוריתמים 1

מקצועות ללא זיכוי נוסף

236343 - תורת החישוביות 237343 - תורת החישוביות

מקצועות ללא זיכוי נוסף (מוכלים)

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

מידע סמסטריאלי

שעות שבועיות

2.5 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול

אחראים

פרופ. קוטין שי


מבחנים
מועד א: 02-09-2024 מועד ב: 24-09-2024
קבוצות רישום
11
הרצאה ראשון 16:30 - 18:30 בלומפילד 100 | פרופ. קוטין שי
תרגול ראשון 18:30 - 19:30 נהול 216
12
הרצאה ראשון 16:30 - 18:30 בלומפילד 100 | פרופ. קוטין שי
תרגול שני 13:30 - 14:30 בלומפילד 527
13
הרצאה ראשון 16:30 - 18:30 בלומפילד 100 | פרופ. קוטין שי
תרגול שלישי 13:30 - 14:30 נהול 215
שעות שבועיות

2.5 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול

אחראים

פרופ. קוטין שי


קבוצות רישום
11
הרצאה ראשון 16:30 - 18:30 בלומפילד 100 | פרופ. קוטין שי
תרגול רביעי 17:30 - 18:30 נהול 215 | מר סולומון מתן
12
הרצאה ראשון 16:30 - 18:30 בלומפילד 100 | פרופ. קוטין שי
תרגול שלישי 11:30 - 12:30 נהול 216 | מר סולומון מתן
13
הרצאה ראשון 16:30 - 18:30 בלומפילד 100 | פרופ. קוטין שי
תרגול ראשון 18:30 - 19:30 בלומפילד 100 | מר גוטמן עופר
14
הרצאה ראשון 16:30 - 18:30 בלומפילד 100 | פרופ. קוטין שי
תרגול שלישי 16:30 - 17:30 נהול 215 | מר גוטמן עופר
שעות שבועיות

2.5 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול

אחראים

פרופ. שטריכמן עופר


מבחנים
מועד א: 02-08-2022 13:00 - 16:00
  • אולמן 703. 705. 706. 707. 708. 801. 802. 803. 804. 805. 806.
מועד ב: 24-10-2022 17:00 - 20:00
  • נהול 112. 214. 215. 216.
  • בלומפילד 151. 152. 153. 424. 526.

בחנים
מועד א: 18-05-2022 16:30 - 17:30
  • אולמן 100, 103, 105, 200, 201, 202, 203, 205, 206, 300, 302, 304, 305, 306, 307, 308,

קבוצות רישום
11
הרצאה רביעי 16:30 - 18:30 סגו 1 | פרופ. שטריכמן עופר
תרגול רביעי 15:30 - 16:30 אמדו 234 | מר גיל יובל
12
הרצאה רביעי 16:30 - 18:30 סגו 1 | פרופ. שטריכמן עופר
תרגול שלישי 17:30 - 18:30 נהול 216 | מר סולומון מתן
13
הרצאה רביעי 16:30 - 18:30 סגו 1 | פרופ. שטריכמן עופר
תרגול שני 18:30 - 19:30 נהול 214 | מר גוטמן עופר
14
הרצאה רביעי 16:30 - 18:30 סגו 1 | פרופ. שטריכמן עופר
תרגול חמישי 12:30 - 13:30 נהול 215 | מר גוטמן עופר
15
הרצאה רביעי 16:30 - 18:30 סגו 1 | פרופ. שטריכמן עופר
תרגול רביעי 08:30 - 09:30 נהול 215 | מר סולומון מתן
69
קבוצת רישום אין מידע אודות שעות לימוד