חזרה

סילבוס

מספר קורס 0368-2200-01
שם הקורס מודלים חישוביים
יחידה אקדמית הפקולטה למדעים מדויקים ע"ש ריימונד ובברלי סאקלר -
מדעי המחשב
מרצה פרופ' יפתח אילן היטנרצרו קשר
צור קשר דוא"ל: iftachh@tauex.tau.ac.il
שעות קבלהבתאום מראש
אופן ההוראה שיעור
שעות סמסטריאליות 3
סמסטר א' תשפ"ב
יום ב
שעות 13:00-16:00
בניין אודיטור' דאך
חדר 005
אין סילבוס

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

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







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

בחינה סופית
בחינת ביניים

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

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


tau logohourglass00:00