- 5 Risultati
prezzo più basso: € 69,58, prezzo più alto: € 97,95, prezzo medio: € 83,40
1
NummSquared 2006a0 Explained Including a New Well-Founded Functional Founda 6515 - Samuel Howse
Ordina
da ebay.ch
CHF 75,44
(indicativi € 79,00)
Spedizione: € 7,201
OrdinaLink sponsorizzato
Samuel Howse:

NummSquared 2006a0 Explained Including a New Well-Founded Functional Founda 6515 - edizione con copertina flessibile

2008, ISBN: 3639063244

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

99.1, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express. Costi di spedizione: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
Ordina
da booklooker.de
€ 69,58
Spedizione: € 0,001
OrdinaLink sponsorizzato

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 - edizione con copertina flessibile

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

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
3
NummSquared 2006a0 Explained - Samuel Howse
Ordina
da Hugendubel.de
€ 78,99
Spedizione: € 7,501
OrdinaLink sponsorizzato
Samuel Howse:
NummSquared 2006a0 Explained - edizione con copertina flessibile

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

Costi di spedizione: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
Ordina
da booklooker.de
€ 97,95
Spedizione: € 0,001
OrdinaLink sponsorizzato
Howse, Samuel:
NummSquared 2006a0 Explained - copertina rigida, flessible

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

Costi di spedizione:Sans frais d'envoi. (EUR 0.00) Moluna GmbH
5
NummSquared 2006a0 Explained - Howse, Samuel
Ordina
da amazon.co.uk
£ 78,81
(indicativi € 91,48)
Spedizione: € 5,571
OrdinaLink sponsorizzato
Howse, Samuel:
NummSquared 2006a0 Explained - edizione con copertina flessibile

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

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

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
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.

Informazioni dettagliate del libro - NummSquared 2006a0 Explained


EAN (ISBN-13): 9783639063240
ISBN (ISBN-10): 3639063244
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2008
Editore: VDM Verlag Dr. Müller
300 Pagine
Peso: 0,463 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-03-01T15:08:19+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-13T16:17:28+01:00 (Zurich)
ISBN/EAN: 9783639063240

ISBN - Stili di scrittura alternativi:
3-639-06324-4, 978-3-639-06324-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : howse, mueller samuel
Titolo del libro: foundation, new mathematics, logic computer science


< Per archiviare...