חזרה

סילבוס

מספר קורס 0368-2200-04
שם הקורס מודלים חישוביים
יחידה אקדמית הפקולטה למדעים מדויקים ע"ש ריימונד ובברלי סאקלר -
מדעי המחשב
אופן ההוראה תרגיל
שעות סמסטריאליות 1
סמסטר א' תשפ"ב
יום ה
שעות 13:00-14:00
בניין קפלון - פיזיקה
חדר 118
ע"ש ארז פלקסר
אין סילבוס

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

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







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

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

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

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



tau logohourglass00:00