Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Second-Order Logic
CHF 49.55
Auf Lager
SKU
2DFS5QKUI5M
1 Verfügbar 
Geliefert zwischen Di., 25.11.2025 und Mi., 26.11.2025
Details
High Quality Content by WIKIPEDIA articles! In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory.Second-order logic is more expressive than first-order logic. For example, if the domain is the set of all real numbers, one can assert in first-order logic the existence of an additive inverse of each real number by writing x y (x + y = 0) but one needs second-order logic to assert the least-upper-bound property for sets of real numbers, which states that every bounded, nonempty set of real numbers has a supremum. If the domain is the set of all real numbers, the following second-order sentence expresses the least upper bound property:
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131174292
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- Größe H220mm x B6mm x T150mm
- EAN 9786131174292
- Format Fachbuch
- Titel Second-Order Logic
- Gewicht 161g
- Herausgeber Betascript Publishing
- Anzahl Seiten 108
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
