Wikipedia ויקיפדיה העברית - האנציקל...
Download this dictionary
לוגיקה מסדר שני
ב
לוגיקה
וב
מתמטיקה
,
לוגיקה מסדר שני
או
שפה מסדר שני
היא הרחבה של ה
לוגיקה מסדר ראשון
שמתקבלת על ידי הוספת כמתים על תתי קבוצות של ה
מודל
, על
פונקציות
ועל
יחסים
.
להמשך המאמר ראה Wikipedia.org...
© מאמר זה משתמש בתוכן מ-
ויקיפדיה®
וכפוף לרשיון לשימוש חופשי במסמכים של גנו
GNU Free Documentation License
וכפוף לרישיון
Creative Commons ייחוס-שיתוף זהה