אנו שמחים להודיע ,לכל עמיתינו המורים , על הוצאת ספר חדש במודלים חישוביים.
הספר מכיל את כל החומר הלימודי הנדרש ביחידה הלימודית החמישית "מודלים חישוביים", באופן ברור, מרוכז וישר לעניין, תוך שילוב הרבה דוגמאות ותרגילים. (הספר מכיל 135 עמודים)
הספר מכיל את הפרקים הבאים :
הספר מכיל את כל החומר הלימודי הנדרש ביחידה הלימודית החמישית "מודלים חישוביים", באופן ברור, מרוכז וישר לעניין, תוך שילוב הרבה דוגמאות ותרגילים. (הספר מכיל 135 עמודים)
הספר מכיל את הפרקים הבאים :
פרק 1 - הגדרות בסיסיות
מושגים בסיסיים: קבוצה,אלפבית - א"ב ( S ) ,מילה, אורך מילה, מילה ריקה, תת-מילה,רישא, סיפא. פעולות על מילים:שרשור של מילים, חיזקה של מילה, היפוך מילה, מכפלה קרטזת, שפה פורמלית, שפה ריקה, שפה חלקית. פעולות על שפות: שפת האיחוד, שפת החיתוך, שרשור שתי שפות, שפת המשלים, היפוך של שפה.
מושגים בסיסיים: קבוצה,אלפבית - א"ב ( S ) ,מילה, אורך מילה, מילה ריקה, תת-מילה,רישא, סיפא. פעולות על מילים:שרשור של מילים, חיזקה של מילה, היפוך מילה, מכפלה קרטזת, שפה פורמלית, שפה ריקה, שפה חלקית. פעולות על שפות: שפת האיחוד, שפת החיתוך, שרשור שתי שפות, שפת המשלים, היפוך של שפה.
תרגילים
פרק 2 - אוטומט סופי דטרמיניסטי ( זהוי ובנייה)
תיאור מערכת, פעולת האוטומט, גרף מכוון, תיאור גרפי של אוטומט, ההגדרה הפורמלית של אוטומט, בניית אוטומט סופי דטרמיניסטי, איחוד של שני אוטומטים, חיתוך של שני אוטומטים.
תרגילים
תיאור מערכת, פעולת האוטומט, גרף מכוון, תיאור גרפי של אוטומט, ההגדרה הפורמלית של אוטומט, בניית אוטומט סופי דטרמיניסטי, איחוד של שני אוטומטים, חיתוך של שני אוטומטים.
תרגילים
פרק 3 - שפות פורמליות (רגולריות ולא רגולריות)
שפות רגולריות, תכונות סגירות של שפות רגולריות, סגירות תחת החיתוך, סגירות תחת האיחוד, סגירות תחת המשלים, סגירות תחת החיסור, סגירות תחת שרשור, סגירות תחת היפוך. שפות לא רגולרית. חלקיות / הכלה של שפה
תרגילים
שפות רגולריות, תכונות סגירות של שפות רגולריות, סגירות תחת החיתוך, סגירות תחת האיחוד, סגירות תחת המשלים, סגירות תחת החיסור, סגירות תחת שרשור, סגירות תחת היפוך. שפות לא רגולרית. חלקיות / הכלה של שפה
תרגילים
פרק 4 - מודלים נוספים של אוטומט סופי
האוטומט הסופי הדטרמיניסטי הלא מלא, האוטומט הסופי הלא דטרמיניסטי, מעבר מאוטומט סופי לא דטרמיניסטי לאס"ד, סגירות תחת היפוך ותחת שרשור.
תרגילים
האוטומט הסופי הדטרמיניסטי הלא מלא, האוטומט הסופי הלא דטרמיניסטי, מעבר מאוטומט סופי לא דטרמיניסטי לאס"ד, סגירות תחת היפוך ותחת שרשור.
תרגילים
פרק 5 - אוטומט המחסנית
השימוש במחסנית כמבנה עזר, אוטומט מחסנית לא דטרמיניסטי. אוטומט מחסנית דטרמיניסטי; השוואה בין כוח החישוב של אוטומט מחסנית לא דטרמיניסטי לבין אוטומט מחסנית דטרמיניסטי, משפחת השפות חופשיות ההקשר; שפות שאינן חופשיות הקשר; תכונות סגירות של משפחת השפות חופשיות ההקשר: דיון בסגירות חלקיות, משלים, חיתוך, איחוד, שרשור, היפוך.
השימוש במחסנית כמבנה עזר, אוטומט מחסנית לא דטרמיניסטי. אוטומט מחסנית דטרמיניסטי; השוואה בין כוח החישוב של אוטומט מחסנית לא דטרמיניסטי לבין אוטומט מחסנית דטרמיניסטי, משפחת השפות חופשיות ההקשר; שפות שאינן חופשיות הקשר; תכונות סגירות של משפחת השפות חופשיות ההקשר: דיון בסגירות חלקיות, משלים, חיתוך, איחוד, שרשור, היפוך.
תרגילים
פרק 6 - מכונת טיורינג
מכונת טיורינג: הגדרה, דוגמאות ותרגילים, אי-עצירה של מכונות טיורינג, מכונות טיורינג שמחשבות פונקציות, השקילות של תכנית מחשב ומכונת טיורינג, התיזה של צ`רץ` וטיורינג, בעיית העצירה.
תרגילים
מכונת טיורינג: הגדרה, דוגמאות ותרגילים, אי-עצירה של מכונות טיורינג, מכונות טיורינג שמחשבות פונקציות, השקילות של תכנית מחשב ומכונת טיורינג, התיזה של צ`רץ` וטיורינג, בעיית העצירה.
תרגילים
פרק 7 - פתרון בחינות בגרות במודלים חישוביים
פתרון בחינת בגרות קיץ 2004
פתרון בחינת בגרות קיץ 2005
פתרון בחינת בגרות קיץ 2006
פתרון בחינת בגרות קיץ 2007
פתרון בחינת בגרות קיץ 2004
פתרון בחינת בגרות קיץ 2005
פתרון בחינת בגרות קיץ 2006
פתרון בחינת בגרות קיץ 2007
מחיר הספר :
- למורה : 40 ש"ח
- לתלמידים:
50 ש"ח, עד 20 עותקים
45 ש"ח, מ- 21 עד 30 עותקים
40 ש"ח, מ- 31 עותקים ומעלה
אפשר לקבל דוגמאות מהספר לדואר האלקטרוני שלכם, לכן שלחו בקשה ל- email הבא: eliastig1@yahoo.com
הוצאת : Click
מחברי הספר : אליאס נמר, ד"ר חליפה וליד, מחאמיד אחמד , סלאמה ראפע .
אפשר להזמין בטלפונים הבאים :
נמר - 5660261-052 , וליד - 5933584- 050 , אחמד - 5911727- 050,ראפע - 5646738-050 .