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