. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 79.00 EUR, größter Preis: 117.03 EUR, Mittelwert: 86.61 EUR
NummSquared 2006a0 Explained - Including a New Well-Founded Functional Foundation for Logic, Mathematics and Computer Science
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

NummSquared 2006a0 Explained - Including a New Well-Founded Functional Foundation for Logic, Mathematics and Computer Science - Taschenbuch

2008, ISBN: 9783639063240

[ED: Taschenbuch / Paperback], [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, 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., [SC: 0.00], Neuware, gewerbliches Angebot, 22 cm, [GW: 410g]

Neues Buch Booklooker.de
Syndikat Buchdienst
Versandkosten:Geen verzendingskosten (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Nummsquared 2006a0 Explained (Paperback) - Samuel Howse
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Samuel Howse:

Nummsquared 2006a0 Explained (Paperback) - Taschenbuch

2008, ISBN: 3639063244

ID: 14610261089

[EAN: 9783639063240], Neubuch, [PU: VDM Verlag, Germany], Mathematics|General, Language: English Brand New Book ***** Print on Demand *****.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# assembly, mostly automatically extracted from a program of the Coq proof assistant.

Neues Buch Abebooks.de
The Book Depository EURO, London, United Kingdom [60485773] [Rating: 4 (von 5)]
NEW BOOK Versandkosten: EUR 1.35
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
NummSquared 2006a0 Explained - Samuel Howse
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Samuel Howse:
NummSquared 2006a0 Explained - Taschenbuch

2008

ISBN: 3639063244

ID: 9852878232

[EAN: 9783639063240], Neubuch, [PU: VDM Verlag Sep 2008], This item is printed on demand - Print on Demand Titel. Neuware - 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. 300 pp. Englisch

Neues Buch Abebooks.de
AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK Versandkosten: EUR 29.90
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
NummSquared 2006a0 Explained - Samuel Howse
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Samuel Howse:
NummSquared 2006a0 Explained - Taschenbuch

2008, ISBN: 3639063244

ID: 9852878232

[EAN: 9783639063240], Neubuch, [PU: VDM Verlag Sep 2008], This item is printed on demand - Print on Demand Neuware - 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. 300 pp. Englisch

Neues Buch Abebooks.de
AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
NummSquared 2006a0 Explained - Samuel Howse
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Samuel Howse:
NummSquared 2006a0 Explained - Taschenbuch

2006, ISBN: 9783639063240

[ED: Taschenbuch], [PU: VDM Verlag], Neuware - 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., [SC: 0.00], Neuware, gewerbliches Angebot, 220x150x18 mm, [GW: 463g]

Neues Buch Booklooker.de
Buchhandlung Hoffmann
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
NummSquared 2006a0 Explained
Autor:

Howse, Samuel

Titel:

NummSquared 2006a0 Explained

ISBN-Nummer:

9783639063240

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
300 Seiten
Gewicht: 0,463 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 01.03.2007 15:08:19
Buch zuletzt gefunden am 15.10.2016 10:59:31
ISBN/EAN: 9783639063240

ISBN - alternative Schreibweisen:
3-639-06324-4, 978-3-639-06324-0

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher