- חדווא 1
סיכום כולל של הקורס "חדווא 1" בטכניון. בין הנושאים: סדרות ופונקציות, טור טיילור, נגזרות ואינטגרלים.
- PROLOG - שפת פרולוג
מדריך קצר המכסה את הנושאים העיקריים בשפה, ומלווה בדוגמאות הממחישות כל אחד מהנושאים.
- פונקציות מרוכבות
מושגי יסוד. אינטגרלים מרוכבים: משפט קושי לפונקציות אנליטיות, משפט אינטגרל קושי. פיתוחי טיילור ולורן, חשבון שאריות
- שפת ML (גרסת Standard ML)
נושאים שונים בשפת התכנות הפונקציונלית ML: התחביר של ML, פונקציות ב-ML, ערכים וטיפוסים ב-ML, רשימות, tuples, טיפוסים פולימורפיים, חריגות, curri...
- פישוט דקדוקים חסרי הקשר
פישוט דקדוקים חסרי הקשר והפיכתם לדקדוקים פשוטים. מסמך זה מציג אלגוריתם מפורט צעד אחר צעד כיצד יש לבצע את הפישוט.
- אוטומטים ושפות פורמליות, חלק 1
מילים ושפות, אוטומט סופי דטרמיניסטי ושפות רגולריות
- יחסי שקילות ומשפט נרוד
סיכום נקודות קצר בנושא יחסי שקילות ומשפט נרוד.
