Newsletter

Ja, Ich möchte den Newsletter der AC Distribution & Marketing GmbH mit Neuigkeiten, Gutscheinen und Aktionen zu Musik-, Video-, Elektro-, Haushalts- und Geschenkartikeln per E-Mail erhalten. Meine Daten werden keinesfalls an Dritte weitergegeben. Die Abmeldung ist jederzeit kostenlos möglich.

  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 / 244 244 (0,14 €/Min., Mobil max. 0,42 €/Min.)

NummSquared 2006a0 Explained

Howse,S.:NummSquared 2006a0 Explained
Autor: Samuel Howse
Verfügbarkeit: Auf Lager.
Artikelnummer: 961236
ISBN / EAN: 9783639063240

Verfügbarkeit: sofort lieferbar

79,00 €
Inkl. MwSt. , zzgl. Versandkosten

Zusatzinformation

  • Autor:
  • Verlag: VDM Verlag Dr. Müller
  • ISBN / EAN: 9783639063240
  • Bindung: Taschenbuch

Produktbeschreibung

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.

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: NummSquared 2006a0 Explained

  • Wenn Sie dieses Eingabefeld sehen sollten, lassen Sie es leer!

Sie könnten auch an folgenden Produkten interessiert sein