שפה מסדר ראשון – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
אין תקציר עריכה |
||
שורה 46:
גם בשפה החשובה ביותר במתמטיקה, זו של תורת הקבוצות האקסיומטית, יש רק יחס אחד, השייכות, המסומן ב- <math>\ \in</math>. את יחס השוויון מגדירים לפי הכלה. שתי קבוצות שוות אם יש להן אותם איברים:
* <math>\ (x=y)\iff \forall z ((z \in x) \iff (z \in y))</math>.
==פינת המשל==
ניתן לחשוב על מושג השפה והמודל כעל מקבילים למושג ה[[ממשק]] ('''Interface''') וה[[מחלקה]] ('''Class''') ב[[שפת תכנות|שפות תכנות]] כדוגמאת [[ג'אווה]]. הממשק מכיל את השיטות (הפעולות) והמשתנים, אך אינו באמת מבצע משהו מתוכם. כאשר אנו כמתכנתים בונים מחלקה המממשת אותו, רק אז השיטות והמשתנים מקבלים ערכים, ובכך מאבדים מכלליותם. היחס בין שפה למבנה לשפה הוא זהה.
== ראו גם ==
| |||