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

לאחר סקירה של התחום ע"י המרצה, כל סטודנטי\ית ת\יבחר מחמר מתוך מאגר מאמרים עדכניים בתחום ות\יעביר הרצאה על המאמר. ההרצאה תאושר ע"י המרצה