חזרה

סילבוס

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

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

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







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

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

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

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

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



tau logohourglass00:00