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

כרך א: יחידות 5-1 הספר לוגיקה למדעי המחשב כולל תשע יחידות. במרכז הספר, ביחידות 6-2, נכללים הפרקים הבסיסיים בלוגיקה מתמטית: השפות הלוגיות העיקריות, המבנים בשפה ("העולמות האפשריים"), הפירוש הפורמלי במבנה של מה שנאמר בשפה, מושג ההוכחה, ומשפט השלמות הקובע שניתן להוכיח בדיוק את כל מה שנכון בכל המבנים. יחידה 6 כוללת גם הצצה ראשונה ל"תורת המוד...

כרך ב:יחידות 9-6 הספר לוגיקה למדעי המחשב כולל תשע יחידות. במרכז הספר, ביחידות 6-2, נכללים הפרקים הבסיסיים בלוגיקה מתמטית: השפות הלוגיות העיקריות, המבנים בשפה ("העולמות האפשריים"), הפירוש הפורמלי במבנה של מה שנאמר בשפה, מושג ההוכחה, ומשפט השלמות הקובע שניתן להוכיח בדיוק את כל מה שנכון בכל המבנים. יחידה 6 כוללת גם הצצה ראשונה ל"תורת המוד...