הבדלים בין גרסאות בדף "לוגיקה מסדר שני"

מ
r2.7.1) (בוט מוסיף: ca, de, es, ja, pt, ru, sv, uk, zh
מ
מ (r2.7.1) (בוט מוסיף: ca, de, es, ja, pt, ru, sv, uk, zh)
== לוגיקה מונאדית מסדר שני ==
הלוגיקה המונאדית מסדר שני היא צמצום של השפה מסדר שני לאפשרות לכמת רק על תתי קבוצות (ולא על פונקציות ויחסים).
[[en:Second-order logic]]
[[קטגוריה: לוגיקה]]
 
[[en:Second-order logic]]
[[ca:Lògica de segon ordre]]
[[de:Prädikatenlogik zweiter Stufe]]
[[es:Lógica de segundo orden]]
[[ja:二階述語論理]]
[[pt:Lógica de segunda ordem]]
[[ru:Логика второго порядка]]
[[sv:Andra ordningens logik]]
[[uk:Логіка другого порядку]]
[[zh:二階邏輯]]
61,011

עריכות