חזרה

סילבוס

מספר קורס 0368-4179-01

שם הקורס נושאים מתקדמים באוטומטים, לוגיקה ומשחקים

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

מרצה פרופ' אלכסנדר רבינוביץצרו קשר

צור קשר דוא"ל: rabinoa@tauex.tau.ac.il

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

אופן ההוראה שיעור

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

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

יום ד

שעות 16:00-19:00

בניין שנקר - פיזיקה

חדר 104

אין סילבוס

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

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

נושאים אלה מהווים בסיס מטמטי לאימות פורמלי

לסילבוס המפורט

מטלות הקורס

עבודת בית

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

קורסי קדם נדרשיםלוגיקה למדעי המחשב (03682170) +מודלים חישוביים (03682200)

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