Smart-World Surf
🔬 הרחבה — צלילה לעומק

איחוד (Unification)

בהאוניברסיטה הפתוחה · Israel
🧭 המושג הזה בכל הקורסים →

שדרגו את הדף עם קובץ

גררו מבחן, סיכום או צילום של מחברת — אני אקרא, אוודא שזה רלוונטי, ואחדד את התוכן (מושגים, סיכויי מבחן, מומחיות).

אם לא סימנתם — הקובץ נקרא לחילוץ עובדות בלבד ואז נמחק מהמערכת (זכויות יוצרים). העובדות שנלמדו נשארות ומשפרות את הקורס.

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

ההרחבה המלאה

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

🔗 מושגים קשורים

מושגים נוספים מאותו קורס

שפת תכנות (Programming Language) פרדיגמת תכנות (Programming Paradigm) תכנות פונקציונלי (Functional Programming) Scheme/Racket תחביר בטון (Concrete Syntax) תחביר מופשט (Abstract Syntax Tree - AST) סמנטיקה אופרציונלית (Operational Semantics) מפרש (Interpreter) סביבת הערכה (Environment) טווח הכרה סטטי (Lexical Scope) סגור (Closure) פונקציה מסדר גבוה (Higher-Order Function) Store (זיכרון) הפניה (Reference) השמה (Assignment) תופעות לוואי (Side Effects) מערכת טיפוסים (Type System) טיפוס סטטי (Static Type) טיפוס דינמי (Dynamic Type) בדיקת טיפוסים (Type Checking) היסק טיפוסים (Type Inference) פולימורפיזם (Polymorphism) משתנה טיפוס (Type Variable) מופע (Substitution)

📝 מבחנים מהקורס

האוניברסיטה הפתוחה · תרגלו מול המבחנים האמיתיים

📄 ~$רון שלי.docx 📄 ~WRL3295.tmp 📄 2018b_84.pdf 📄 2018b_85.pdf 📄 2018b_95.pdf 📄 2019b-84.pdf 📄 2020b - 73- מחברת.pdf (2020) 📄 2020b - 73- שאלון.pdf (2020) 📄 2020b 72.pdf 📄 2020b 73.pdf 📄 2020b 88.pdf 📄 2021b - moed 57 - sol.pdf (2021) 📄 2021b-57.pdf (2021) 📄 2021ב-מועד א2 -78 - פתרון.pdf (2021) 📄 2021ב-מועד א2 -78.pdf (2021) 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.dep 📄 data-structures_scm.zo 📄 data-structures_scm.zo 📄 data-structures_scm.zo 📄 data-structures_scm.zo 📄 data-structures_scm.zo 📄 data-structures_scm.zo 📄 data-structures_scm.zo 📄 data-structures_scm.zo