- 5 Results
Lowest price: € 69.58, highest price: € 97.95, average price: € 83.40
1
NummSquared 2006a0 Explained Including a New Well-Founded Functional Founda 6515 - Samuel Howse
Order
at ebay.ch
CHF 75.44
(aprox. € 79.00)
Shipment: € 7.201
OrderSponsored link
Samuel Howse:

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

2008, ISBN: 3639063244

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

99.1, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express. Shipping costs: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
Order
at booklooker.de
€ 69.58
Shipment: € 0.001
OrderSponsored 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 - Paperback

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… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
3
NummSquared 2006a0 Explained - Samuel Howse
Order
at Hugendubel.de
€ 78.99
Shipment: € 7.501
OrderSponsored link
Samuel Howse:
NummSquared 2006a0 Explained - Paperback

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… More...

Shipping costs: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
Order
at booklooker.de
€ 97.95
Shipment: € 0.001
OrderSponsored link
Howse, Samuel:
NummSquared 2006a0 Explained - hardcover

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… More...

Shipping costs:Sans frais d'envoi. (EUR 0.00) Moluna GmbH
5
NummSquared 2006a0 Explained - Howse, Samuel
Order
at amazon.co.uk
£ 78.81
(aprox. € 91.48)
Shipment: € 5.571
OrderSponsored link
Howse, Samuel:
NummSquared 2006a0 Explained - Paperback

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… More...

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

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
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.

Details of the book - NummSquared 2006a0 Explained


EAN (ISBN-13): 9783639063240
ISBN (ISBN-10): 3639063244
Hardcover
Paperback
Publishing year: 2008
Publisher: VDM Verlag Dr. Müller
300 Pages
Weight: 0,463 kg
Language: eng/Englisch

Book in our database since 2007-03-01T14:08:19+00:00 (London)
Detail page last modified on 2024-02-13T15:17:28+00:00 (London)
ISBN/EAN: 3639063244

ISBN - alternate spelling:
3-639-06324-4, 978-3-639-06324-0
Alternate spelling and related search-keywords:
Book author: howse, mueller samuel
Book title: foundation, new mathematics, logic computer science


< to archive...