Second-Order Logic
CHF 53.00
Auf Lager
SKU
2DFS5QKUI5M
1 Verfügbar 
Kostenloser Versand
Geliefert zwischen Do., 09.10.2025 und Fr., 10.10.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:
30 Tage Rückgaberecht
GarantieWeitere 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
