. .
Français
France
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
..?
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
Annonce payée
FILTRE
- 0 Résultats
prix le plus bas: 79.00 EUR, prix le plus élevé: 117.03 EUR, prix moyen: 86.61 EUR
NummSquared 2006a0 Explained - Including a New Well-Founded Functional Foundation for Logic, Mathematics and Computer Science
Livre non disponible
(*)

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

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]

Nouveaux livres Booklooker.de
Syndikat Buchdienst
Frais d'envoiGeen verzendingskosten (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Nummsquared 2006a0 Explained (Paperback) - Samuel Howse
Livre non disponible
(*)

Samuel Howse:

Nummsquared 2006a0 Explained (Paperback) - Livres de poche

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.

Nouveaux livres Abebooks.de
The Book Depository EURO, London, United Kingdom [60485773] [Rating: 4 (von 5)]
NEW BOOK Frais d'envoi EUR 1.35
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
NummSquared 2006a0 Explained - Samuel Howse
Livre non disponible
(*)
Samuel Howse:
NummSquared 2006a0 Explained - Livres de poche

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

Nouveaux livres Abebooks.de
AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK Frais d'envoi EUR 29.90
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
NummSquared 2006a0 Explained - Samuel Howse
Livre non disponible
(*)
Samuel Howse:
NummSquared 2006a0 Explained - Livres de poche

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

Nouveaux livres Abebooks.de
AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK Frais d'envoiVersandkostenfrei (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
NummSquared 2006a0 Explained - Samuel Howse
Livre non disponible
(*)
Samuel Howse:
NummSquared 2006a0 Explained - Livres de poche

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]

Nouveaux livres Booklooker.de
Buchhandlung Hoffmann
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

< Retour aux résultats de recherche...
Détails sur le livre
NummSquared 2006a0 Explained
Auteur:

Howse, Samuel

Titre:

NummSquared 2006a0 Explained

ISBN:

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.

Informations détaillées sur le livre - NummSquared 2006a0 Explained


EAN (ISBN-13): 9783639063240
ISBN (ISBN-10): 3639063244
Version reliée
Livre de poche
Date de parution: 2008
Editeur: VDM Verlag
300 Pages
Poids: 0,463 kg
Langue: eng/Englisch

Livre dans la base de données depuis 01.03.2007 15:08:19
Livre trouvé récemment le 15.10.2016 10:59:31
ISBN/EAN: 9783639063240

ISBN - Autres types d'écriture:
3-639-06324-4, 978-3-639-06324-0

< Retour aux résultats de recherche...
< pour archiver...
Adjacent Livres