אלן טיורינג

1. סמינר העשור למורים מובילים במדעי המחשב אלן טיורינג

2. העולם מצחיק, אז צוחוקים! בכנס בינלאומי של מדעי המחשב שהתקיים … ניתנו הרצאות על … וגם …ובין היתר על מכונת התיירות Turing Machine Touring Machine

3. מכונת טיורינג — הגדרה פורמאלית "מכונת טיורינג (Turing Machine)" M היא שביעייה כדלקמן: M = (Q, S, G, d, q0, ƀ, F) כאשר: Q — קבוצה סופית לא ריקה של מצבים: Q = {q0, q1, …, qs} S — א"ב הקלט GS — א"ב העבודה ("א"ב הסרט") q0Q — מצב התחלתי ƀG\S — "רווח" (הסימן הריק) FQ — קבוצת מצבים סופיים (מקבלים)  — פונקציית מעברים: d: (Q\F)G  Q(G\ƀ){L, R, S} מי (מהנמצאים כאן) לא מכיר? שיקום!

4. אלן טיורינג אלן טיורינגAlan Turing 1912–1954 • ממניחי היסוד של מדעי המחשב ותורת החישוביות • מהראשונים שעסקו בבינה מלאכותית • במהלך מלחמת העולם השנייה, פענח את תשדורות ה-"אניגמה" הגרמנית

5. אלן טיורינג NP-Hard NP-Complete בעיות כריעות P NP אלן טיורינגAlan Turing 1912–1954 מבחן טיורינג תורת החישוביות Turing completeness תורת הסיבוכיות התיזה של צ'רץ'-טיורינג

6. פרס טיורינג • 1966 – 2012: 60 חתנים וכלות. • מתוכם — 5 ישראלים: אלן טיורינגAlan Turing 1912–1954

7. פרס טיורינג • 1966 – 2012: 60 חתנים וכלות. • מתוכם — 5 ישראלים: • 1976: מיכאל רבין מהאוניברסיטה העברית (+ דנה סקוט,א. הילמן): הצגת הרעיון של מכונות לא דטרמיניסטיות. מיכאל רבין נ': 1931

8. פרס טיורינג • 1966 – 2012: 60 חתנים וכלות. • מתוכם — 5 ישראלים: • 1976: מיכאל רבין מהאוניברסיטה העברית (+ דנה סקוט,א. הילמן): הצגת הרעיון של מכונות לא דטרמיניסטיות. • 1996: אמיר פנואלי (ז"ל) ממכון ויצמן למדע:לוגיקה טמפורלית; אימות תוכנה. אמיר פנואלי 1941–2009

9. פרס טיורינג • 1966 – 2012: 60 חתנים וכלות. • מתוכם — 5 ישראלים: • 1976: מיכאל רבין מהאוניברסיטה העברית (+ דנה סקוט,א. הילמן): הצגת הרעיון של מכונות לא דטרמיניסטיות. • 1996: אמיר פנואלי (ז"ל) ממכון ויצמן למדע:לוגיקה טמפורלית; אימות תוכנה. • 2002: עדי שמיר ממכון ויצמן למדע (+ רונלדריבסט, MIT, ולאונרד אדלמן, א. דרום קליפורניה):הצפנה במפתח ציבורי (RSA). עדי שמיר נ': 1952

10. פרס טיורינג • 1966 – 2012: 60 חתנים וכלות. • מתוכם — 5 ישראלים: • 1976: מיכאל רבין מהאוניברסיטה העברית (+ דנה סקוט,א. הילמן): הצגת הרעיון של מכונות לא דטרמיניסטיות. • 1996: אמיר פנואלי (ז"ל) ממכון ויצמן למדע:לוגיקה טמפורלית; אימות תוכנה. • 2002: עדי שמיר ממכון ויצמן למדע (+ רונלדריבסט, MIT, ולאונרד אדלמן, א. דרום קליפורניה):הצפנה במפתח ציבורי (RSA). • 2011: יהודה פרל, ישראלי-אמריקאי מ-UCLA (אוניברסיטת קליפורניה בלוס אנג'לס):חקר בינה מלאכותית באמצעות פיתוח תחשיב להסקה סיבתית והסתברותית. יהודה פרל נ': 1936

11. פרס טיורינג • 1966 – 2012: 60 חתנים וכלות. • מתוכם — 5 ישראלים: • 1976: מיכאל רבין מהאוניברסיטה העברית (+ דנה סקוט,א. הילמן): הצגת הרעיון של מכונות לא דטרמיניסטיות. • 1996: אמיר פנואלי (ז"ל) ממכון ויצמן למדע:לוגיקה טמפורלית; אימות תוכנה. • 2002: עדי שמיר ממכון ויצמן למדע (+ רונלדריבסט, MIT, ולאונרד אדלמן, א. דרום קליפורניה):הצפנה במפתח ציבורי (RSA). • 2011: יהודה פרל, ישראלי-אמריקאי מ-UCLA (אוניברסיטת קליפורניה בלוס אנג'לס):חקר בינה מלאכותית באמצעות פיתוח תחשיב להסקה סיבתית והסתברותית. • 2012: שפי (שפרירה) גולדווסר מ-MIT וממכון ויצמן למדע (+ סילביומיקאלי, MIT):ביסוס הסיבוכיות התיאורטית של הצפנה ופיתוח שיטות יעילות לאימות הוכחות מתמטיות בתורתהסיבוכיות. שפי גולדווסר נ': 1958

12. אלן טיורינג בקיץ 2012 לא התקיים סמינר הקיץ הרגיל למורים מובילים במדעי המחשב. סמינר העשור למורים מובילים במדעי המחשב, 2013: • ד"ר יצחק נוי: אלן טיורינג — הגאון שמולדתו בגדה בו • מר נתן זלדס: אלן טיורינג — האיש שחלם על מכונות חושבות • עבודה עם מכונת האניגמה בעברית, במסגרת סיור במוזיאון המדע בירושלים שנת 2012 — שנת אלן טיורינג אלן טיורינגAlan Turing 1912–1954

13. סמינר העשור למורים מובילים במדעי המחשב אלן טיורינג — הגאון שמולדתו בגדה בו מרצה:ד"ר יצחק נוי מרצה להיסטוריה מודרניתלשעבר עורך יומן החוץ של קול ישראלעורך ומגיש התוכנית "שבת עולמית", ותכניות נוספות בנושאים היסטוריים