פורטל הסטודנטים

ניתוח השוואתי של מושגים יסודיים בתחום שפות התכנות בשלוש פרדיגמות תכנותיות: ציוויית, פונקציונלית ולוגית/הצהרתית. המושגים הנדונים כוללים קישור, סדר שיערוך, פקודות, ערכים, טיפוסים, פולימורפיזם, והכללות של מבנה הפונקציה, מחסנית, איסוף אשפה ועוד. שפות התכנות הנדונות כוללות את פסקל ML, פרולוג C, ו- JAVA - והדגמה ממגוון של שפות אחרות. תוצאות למידה: בסיום הקורס הסטודנט יהיה מסוגל: 1. ללמוד באורח יעיל, אפקטיבי ומהיר שפת תכנות לא מוכרת, כולל שימוש במבנים מתקדמים שבה. 2. להעריך שפת תכנות, מבלי ללמוד לתכנת בה, מתוך האפיון שלה באמצעות מונחים נפוצים כגון פרדיגמה, טיפוסיות סטטית, קישור דינמי , סגור, וכד'. 3. לתכנת במבנים מתקדמים בשפות פונקציונליות ולוגיות.

פקולטה: מדעי המחשב
|תואר ראשון |תארים מתקדמים

מקצועות קדם

234122 - מבוא לתכנות מערכות או 234124 - מבוא לתכנות מערכות

מקצועות צמודים

234218 - מבני נתונים 1

מקצועות ללא זיכוי נוסף

234319 - שפות תכנות

• Advanced programming language design - Finkel, Raphael A.
• ML for the working programmer - Paulson, Lawrence C.
• Programming in Prolog - Clocksin, William F.
• Programming language concepts and paradigms - Watt, David A.
• Prolog programming for artificial intelligence - Bratko, Ivan