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

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

הקורס מנוהל בגישת "מלמעלה למטה" כלומר מפרוטוקולי היישום עד הפרוטוקולים של השכבות הנמוכות.

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

הקורס משלב שתי גישות בלימוד עקרונות שפות תכנות: (1) שימוש בשפה אחת להדגמת כל מאפייני השפות הנלמדים בקורס (2) שימוש במספר שפות לייצוג אספקטים ופרדיגמות שונות.

הגישה הראשונה תבוא לידי ביטוי בלימוד שפת Scheme – שפה זו מאפשרת, באמצעים פשוטים יחסית, לתמוך באלמנטים מורכבים כגון: העברת פרוצדורות כארגומנטים, יצירת פרוצדורות (גם חסרות שם) בזמן ריצה, מבנים אין-סופיים, ביצוע מניפולציות על הסביבה ועל ה-Call Stack , מימוש תכנות מונחה-עצמים ועוד. בשפה זו נבנה מפרש (interpreter) המקבל כקלט תוכנית וקלט לתכנית, ומחזיר כפלט את הערכים שהתוכנית מחשבת.

נסקור גם שפות תכנות נוספות הממשות פרדיגמות תכנותיות שונות כגון Prolog המבטאת את הפרדיגמה הלוגית ו -Python בה ממומשים תכנות אימפרטיבי ועקרונות נוספים.

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

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

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