- 5 Ergebnisse
Kleinster Preis: € 69,58, größter Preis: € 97,95, Mittelwert: € 83,40
1
NummSquared 2006a0 Explained Including a New Well-Founded Functional Founda 6515 - Samuel Howse
Bestellen
bei ebay.ch
CHF 75,44
(ca. € 79,00)
Versand: € 7,201
Bestellengesponserter Link
Samuel Howse:

NummSquared 2006a0 Explained Including a New Well-Founded Functional Founda 6515 - Taschenbuch

2008, ISBN: 3639063244

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

99.1, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express. Versandkosten:Versand zum Fixpreis, [SHT: Standardversand], 65*** Idstein, [TO: Weltweit] (EUR 7.20) getbooks-de
2
NummSquared 2006a0 Explained / Including a New Well-Founded Functional Foundation for Logic, Mathematics and Computer Science / Samuel Howse / Taschenbuch / Englisch / VDM Verlag Dr. Müller - Howse, Samuel
Bestellen
bei booklooker.de
€ 69,58
Versand: € 0,001
Bestellengesponserter Link

Howse, Samuel:

NummSquared 2006a0 Explained / Including a New Well-Founded Functional Foundation for Logic, Mathematics and Computer Science / Samuel Howse / Taschenbuch / Englisch / VDM Verlag Dr. Müller - Taschenbuch

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… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
3
NummSquared 2006a0 Explained - Samuel Howse
Bestellen
bei Hugendubel.de
€ 78,99
Versand: € 7,501
Bestellengesponserter Link
Samuel Howse:
NummSquared 2006a0 Explained - Taschenbuch

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… Mehr…

Versandkosten:Shipping in 1-2 weeks, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 7.50)
4
NummSquared 2006a0 Explained - Howse, Samuel
Bestellen
bei booklooker.de
€ 97,95
Versand: € 0,001
Bestellengesponserter Link
Howse, Samuel:
NummSquared 2006a0 Explained - gebunden oder broschiert

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… Mehr…

Versandkosten:Sans frais d'envoi. (EUR 0.00) Moluna GmbH
5
NummSquared 2006a0 Explained - Howse, Samuel
Bestellen
bei amazon.co.uk
£ 78,81
(ca. € 91,48)
Versand: € 5,571
Bestellengesponserter Link
Howse, Samuel:
NummSquared 2006a0 Explained - Taschenbuch

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… Mehr…

Versandkosten:Les coûts d'expédition peuvent différer des coûts réels. (EUR 5.57)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
NummSquared 2006a0 Explained

Set theory is the standard foundation for mathematics, but often lacks rules of reduction for function calls. Thus, for computer science, the untyped lambda calculus or type theory is usually preferred. The untyped lambda calculus and several improvements make functions fundamental, but suffer from non-terminating reductions and have partially non-classical logics. Type theory is a good foundation for logic, math and computer science, yet with both types and functions fundamental, it is more complex than set theory or the untyped lambda calculus. NummSquared, a new foundational language, makes only functions fundamental, yet ensures terminating reductions, has a classical logic, 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 and proof, and supports computation and reflection. Because of coercion, there are no types, and functions are defined and called without proof, yet reduction terminates. An interpreter, NsGo (in progress when Samuel Howse died), is an F#/C# .NET assembly, mostly automatically extracted from a program of the Coq proof assistant.

Detailangaben zum Buch - NummSquared 2006a0 Explained


EAN (ISBN-13): 9783639063240
ISBN (ISBN-10): 3639063244
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: VDM Verlag Dr. Müller
300 Seiten
Gewicht: 0,463 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-03-01T15:08:19+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-13T16:17:28+01:00 (Berlin)
ISBN/EAN: 9783639063240

ISBN - alternative Schreibweisen:
3-639-06324-4, 978-3-639-06324-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: howse, mueller samuel
Titel des Buches: foundation, new mathematics, logic computer science


< zum Archiv...