חזרה

סילבוס

מספר קורס 0368-4179-01
שם הקורס נושאים מתקדמים באוטומטים, לוגיקה ומשחקים
יחידה אקדמית הפקולטה למדעים מדויקים ע"ש ריימונד ובברלי סאקלר -
מדעי המחשב
מרצה פרופ' אלכסנדר רבינוביץצרו קשר
צור קשר דוא"ל: rabinoa@tauex.tau.ac.il
שעות קבלה בתאום מראשבניין: צ'ק פוינט , חדר: 333
אופן ההוראה שיעור
שעות סמסטריאליות 3
סמסטר ב' תשפ"א
יום ד
שעות 16:00-19:00
בניין פיזיקה-שנקר
חדר 104
אין סילבוס

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

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

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



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

עבודת בית

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

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


tau logohourglass00:00