ברוכים הבאים לאתר מודלים חישוביים

קישורים, מצגות, חומרי עזר ומאמרים

תכנית הלימודים (מאתר הפיקוח)

פורום מודלים חישוביים בהנהלת רוחמה לצטר

 

מאגר שאלות ותשובות שפותחו ע"י מורים מובילים בהנחיית ד"ר מיכל ארמוני

 

כלים להוראת מודלים חישוביים: אוגדן בפיתוח צוות מכון ויצמן. הכניסה מכאן

 

מצגת מהשתלמות "דידקטיקה של מודלים חישוביים", יולי 2008 – הוכנה ע"י ד"ר מיכל ארמוני

חומרים מסדנת מודלים חישוביים שהעבירו רחל אלון, ורדה פורת, רחלי צרניחוב, ושירלי רוזנברג-כהן, ת"א 18.2.09 אוטומט סופי ושפות רגולריות, שפות רגולריות וחוקי סגירות

חומרים מסדנת מודלים חישוביים שהעבירה רחל לודמר בת"א 18.1.06 - מצגת, תרגילים בהוכחת אי רגולריות מלווים בפתרונות, דוגמאות להוכחות אי רגולריות של שפה

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

הצעת פתרון לבגרות: מבחן תשס"ה, מבחן תשס"ו (חובר ע"י איתן ראט)

מודלים חישוביים: איריס ברגורי י.ע. יחידה חמישית 15.4.01

 

מצגת מודלים חישוביים כטיפוסי נתונים מופשטים – ד"ר נוע רגוניס. אפשר להוריד גם את הקבצים הנילווים למצגת: טיפוס הנתונים המופשט- אוטומט סופי דטרמניסטי , טיפוס הנתונים המופשט- אוטומט מחסנית , מודלים חישוביים כטנ"מ: קבצי פסקל (מכווץ) , תיעוד לקבצי הפסקל

 

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

על סיבוכיות חישובית ואופיה של הדיסציפלינה מדעי המחשב תקציר מאמר

על פורום מודלים חישוביים. (קובץ pdf)