חזרה

סילבוס

מספר קורס 0368-2200-02

שם הקורס מודלים חישוביים

יחידה אקדמית הפקולטה למדעים מדויקים ע"ש ריימונד ובברלי סאקלר -
מדעי המחשב

אופן ההוראה תרגיל

שעות סמסטריאליות 1

סמסטר א' תשפ"ב

יום ד

שעות 15:00-16:00

בניין אורנשטיין - כימיה

חדר 111

אין סילבוס

תוכן הקורס ומטרתו

הקורס דן בשאלה מה ניתן לחשב, ובכמה זמן. נלמד מודלים חישובים בסיסים כמו מעגלים בוליאנים. אוטומטים סופיים ומכונות Turing. נדון בכוח החישובי של מודלים אלו ובסיבוכיות שלהם: זמן, מקום, אקראיות. נגדיר את מחלקות הסיבוכיות R, RE, P, NP ועוד. כמו כן נלמד רדוקציות ואיך להשתמש בהן כדי לאפיין את הקשר בין מחלקות הסיבוכיות שונות.

הסילבוס המפורט מפורסם לתלמידי הקורס בלבד

מטלות הקורס

ייתכנו מטלות נוספות
רשימת המטלות המלאה תופיע בסילבוס המפורט של הקורס.

קורסי קדם נדרשיםמבוא מורחב למדעי המחשב (03681105) +מתמטיקה בדידה 1 (03681118) +מתמטיקה בדידה 2 (03681119) אומבוא מורחב למדעי המחשב (03681105) +מבוא לתורת הקבוצות (03661105) +מבוא לקומבינטוריקה ותורת (03661123)
קורסים מקביליםהסתברות וסטטיס. (03682002) אומבוא להסתברות לסטטיסטיקאי (03651101) אומבוא להסתברות וסטטיסטיקה (05092801) אומבוא להסתברות (03662010) אוהסתברות וסטטיסטיקה (03211836)

דרישות קדם ספציפיות בקורס בהתאם לתוכנית הלימודים הנלמדת,
מופיעות בדף הידיעון של התוכנית