- 5 Résultats
prix le plus bas: € 69,58, prix le plus élevé: € 97,95, prix moyen: € 83,40
1
NummSquared 2006a0 Explained Including a New Well-Founded Functional Founda 6515 - Samuel Howse
Commander
sur ebay.ch
CHF 75,44
(environ € 79,00)
Envoi: € 7,201
CommanderLien sponsorisé
Samuel Howse:

NummSquared 2006a0 Explained Including a New Well-Founded Functional Founda 6515 - Livres de poche

2008, ISBN: 3639063244

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

99.1, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express. Frais d'envoiVersand 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
Commander
sur booklooker.de
€ 69,58
Envoi: € 0,001
CommanderLien sponsorisé

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 - Livres de poche

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

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
3
NummSquared 2006a0 Explained - Samuel Howse
Commander
sur Hugendubel.de
€ 78,99
Envoi: € 7,501
CommanderLien sponsorisé
Samuel Howse:
NummSquared 2006a0 Explained - Livres de poche

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

Frais d'envoiShipping in 1-2 weeks, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 7.50)
4
NummSquared 2006a0 Explained - Howse, Samuel
Commander
sur booklooker.de
€ 97,95
Envoi: € 0,001
CommanderLien sponsorisé
Howse, Samuel:
NummSquared 2006a0 Explained - edition reliée, livre de poche

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

Frais d'envoiSans frais d'envoi. (EUR 0.00) Moluna GmbH
5
NummSquared 2006a0 Explained - Howse, Samuel
Commander
sur amazon.co.uk
£ 78,81
(environ € 91,48)
Envoi: € 5,571
CommanderLien sponsorisé
Howse, Samuel:
NummSquared 2006a0 Explained - Livres de poche

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

Frais d'envoiLes coûts d'expédition peuvent différer des coûts réels. (EUR 5.57)

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
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.

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 Dr. Müller
300 Pages
Poids: 0,463 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-03-01T15:08:19+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-02-13T16:17:28+01:00 (Paris)
ISBN/EAN: 3639063244

ISBN - Autres types d'écriture:
3-639-06324-4, 978-3-639-06324-0
Autres types d'écriture et termes associés:
Auteur du livre: howse, mueller samuel
Titre du livre: foundation, new mathematics, logic computer science


< pour archiver...