2008, ISBN: 3639063244

NummSquared 2006a0 Explained: Including a New Well-Founded Functional Foundation for Logic, Mathematics and Computer ScienceEinbandPaperback / SoftbackAutor(en)Howse, SamuelVerlagVDM Verl… mais…

NummSquared 2006a0 Explained: Including a New Well-Founded Functional Foundation for Logic, Mathematics and Computer ScienceEinbandPaperback / SoftbackAutor(en)Howse, SamuelVerlagVDM Verlag Dr. MüllerAusgabe2008Formatangaben296 pagesSpracheengISBN3639063244ISBN-13 / EAN9783639063240SchlagworteProgrammiersprachePreisEUR 79,00 (inkl. MwSt.)NEUWARE - Tagesaktueller, sicherer und weltweiter Versand. Rechnung legen wir bei.Set theory is the standard foundation for mathematics, butoften lacks rules of reduction for function calls. Thus, forcomputer science, the untyped lambda calculus or type theory isusually preferred. The untyped lambda calculus and severalimprovements make functions fundamental, but suffer fromnon-terminating reductions and have partially non-classical logics.Type theory is a good foundation for logic, math and computerscience, yet with both types and functions fundamental, it is morecomplex than set theory or the untyped lambda calculus.NummSquared, a new foundational language, makes only functionsfundamental, yet ensures terminating reductions, has a classicallogic, and attempts to follow set theory as much as possible.NummSquared builds on John von Neumann\'s 1925 work and R. B.Jones\'s 1998 work. NummSquared is well-founded, has reduction andproof, and supports computation and reflection. Because ofcoercion, there are no types, and functions are defined and calledwithout proof, yet reduction terminates. An interpreter, NsGo (inprogress when Samuel Howse died), is an F/C .NET assembly, mostlyautomatically extracted from a program of the Coq proofassistant.Hinweis: Auflage und/oder Erscheinungsjahr können im Buchkatalog von eBay unter Umständen von unseren Angeboten abweichen. Dies gilt insbesondere wenn eine ISBN durch den Verlag doppelt vergeben wurde. Im Einzelfall bzw. bei Bedarf bitte VOR Bestellung erfragen.Angaben zur Versandzeit stammen aus Standardeinstellung von ebay; Wir verschicken tagesaktuell; Sendungen unter 1 kg werden als Waren-/Büchersendung (Laufzeiten sind leider sehr unterschiedlich zwischen 2 und 14 Werktagen) verschickt, ab 1 Kg erfolgt der Versand über DPD.Falls Sie eine Bestellung dringend bzw. zu einem bestimmten Zeitpunkt benötigen, wählen Sie bitte immer die Versandart PAKETVERSAND (DPD Classic), ansonsten können wir die Lieferzeiten nicht garantieren.Artikel eingestellt mit dem w+h GmbH eBay-ServiceDaten- und Bilderhosting mit freundlicher Unterstützung von Buchfreund. (2022-05-20), Festpreisangebot, [LT: FixedPrice], EAN: 9783639063240, Gewicht: 410g, Fach: Informatik/EDV, Produktart: Lehrbuch, Format: Taschenbuch, Anzahl der Seiten: 300 Seiten, Publikationsname: Nummsquared 2006a0 Explained, Sprache: Englisch, Vdm Verlag, 2008<

2006, ISBN: 9783639063240

[ED: Taschenbuch], [PU: VDM Verlag Dr. Müller], Set theory is the standard foundation for mathematics, butoften lacks rules of reduction for function calls. Thus, forcomputer science, the… mais…

[ED: Taschenbuch], [PU: VDM Verlag Dr. Müller], Set theory is the standard foundation for mathematics, butoften lacks rules of reduction for function calls. Thus, forcomputer science, the untyped lambda calculus or type theory isusually preferred. The untyped lambda calculus and severalimprovements make functions fundamental, but suffer fromnon-terminating reductions and have partially non-classical logics.Type theory is a good foundation for logic, math and computerscience, yet with both types and functions fundamental, it is morecomplex than set theory or the untyped lambda calculus.NummSquared, a new foundational language, makes only functionsfundamental, yet ensures terminating reductions, has a classicallogic, and attempts to follow set theory as much as possible.NummSquared builds on John von Neumann's 1925 work and R. B.Jones's 1998 work. NummSquared is well-founded, has reduction andproof, and supports computation and reflection. Because ofcoercion, there are no types, and functions are defined and calledwithout proof,..., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 296, [GW: 410g], Banküberweisung, PayPal, [CT: Sonstiges / Sonstiges]<

2006, ISBN: 9783639063240

*NummSquared 2006a0 Explained* - Including a New Well-Founded Functional Foundation for Logic Mathematics and Computer Science / Taschenbuch für 78.99 € / Aus dem Bereich: Bücher, Ratgebe… mais…

*NummSquared 2006a0 Explained* - Including a New Well-Founded Functional Foundation for Logic Mathematics and Computer Science / Taschenbuch für 78.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Bücher nein Buch (kartoniert) Hardcover;Naturwissenschaften, Medizin, Informatik, Technik;Programmiersprachen, VDM Verlag Dr. Müller<

2008, ISBN: 9783639063240

[ED: Kartoniert / Broschiert], [PU: VDM Verlag Dr. Mueller], Set theory is the standard foundation for mathematics, butoften lacks rules of reduction for function calls. Thus, forcomputer… mais…

[ED: Kartoniert / Broschiert], [PU: VDM Verlag Dr. Mueller], Set theory is the standard foundation for mathematics, butoften lacks rules of reduction for function calls. Thus, forcomputer science, the untyped lambda calcu, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Hardcover, 296, [GW: 404g], 1/2008, Banküberweisung, PayPal<

2008, ISBN: 9783639063240

VDM Verlag Dr. Mueller e.K. Paperback, 300 Seiten, Publiziert: 2008-07-30T00:00:01Z, Produktgruppe: Book, 0.41 kg, Languages, Programming, Computing & Internet, Subjects, Books, Mathemati… mais…

VDM Verlag Dr. Mueller e.K. Paperback, 300 Seiten, Publiziert: 2008-07-30T00:00:01Z, Produktgruppe: Book, 0.41 kg, Languages, Programming, Computing & Internet, Subjects, Books, Mathematics, Science, Nature & Maths, Popular Science, Scientific, Technical & Medical, VDM Verlag Dr. Mueller e.K., 2008<