מוקד תמיכה טכנית: 03-5317000 , 9392*
שיבוץ החדרים אינו סופי. יש להתעדכן בשיבוץ הקורסים סמוך לפתיחת שנת הלימודים.
תאריך עדכון : 05/11/2024 12:24:33

עקרונות שפות תכנות 893311-01
Programming Languages
מרצה: ד"ר יוני זוהר

תאור הקורס

תקציר הקורס (להרחבה)

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

 

מטרות/תוצרי הלמידה (להרחבה)

 

  1. הלומדים יתארו פרדיגמות שונות בתכנות, לרבות תכנות פרוצדוראלי, תכנות לוגי, תכנות פונקציונלי, ועוד.
  2. הלומדים יתארו עקרונות שונים בתכנות, לרבות סמנטיקה, טיפוסים, תחשיב למדא, ועוד.
  3. הלומדים יממשו תכניות בשפות כגון OCaml, Prolog ועוד.
  4. הלומדים ינסחו משפטים ויוכיחו אותם בנושאים השונים.

 

Abacus outline למידה פעילה - תכנון מהלך השיעורים: (להרחבה)

 

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

ציון סופי

מבחן מסכם

70% מהציון הסופי

מטלות בית

30% מהציון הסופי

 

תיאור התוצר משקל בציון הסופי
   
   
   
דרישות הקורס

מבחן ומטלות.

דרישות קדם

89-123

מודלים חישוביים

 

כל קורסי שנה א

ביבליוגרפיה

The Functional Approach to Programming by Cousinaeau and Mauny

Real World OCaml by Madhavapeddy and Minsky

Semantics with Applications: An Appetizer by Nielson and Nielson

The Formal Semantics of Programming Languages -- An Introduction by Winskel

Types and Programming Languages by Pierce

Prolog Programming for Artificial Intelligence by Ivan Bratko

JavaScript: The Definitive Guide by David Flanagan

חומרים נוספים יימסרו לפי הצורך.