Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Solving Higher-Order Equations

Name: Solving Higher-Order Equations
Brand: Springer, Basel
SKU: 01399212
Price: 107.29 EUR
Availability: InStock
Author: Christian Prehofer
ISBN: 9780817640323

From Logic to Programming

Christian Prehofer

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01399212

Verlag Springer, Basel, November 1997

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expres... Vollständige Beschreibung

Libristo-Code: 01399212

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Daňová politika v Evropské unii Danuše Nerudová

Broschur

28.59 €

Jasno! neu B1. Lösungsheft

Blatt

16.69 €

Dvě růže Vlasta Javořická

Hardcover

11.29 €

Jokisten eväät Tapio Kulmala

Broschur

12.99 €

365 Worte des Erfolges Johanna Franziska Hartung

Broschur

22.95 €

La Pandilla: Cuaderno de ejercicios 1 Hortelano Ortega María Luisa

Broschur

8.29 €

TANDEM 2 CAHIER D'EXERCICES M. Bidault

Broschur

15.39 €

Koniáš Vlk samotář Miroslav Žamboch

Broschur

17.09 €

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic provides the necessary level of abstraction for con cise and natural formulations. The main assets of higher-order logic are quan tification over functions or predicates and its abstraction mechanism. These allow one to represent quantification in formulas and other variable-binding constructs. In this book, we focus on equational logic as a fundamental and natural concept in computer science and mathematics. We present calculi for equa tional reasoning modulo higher-order equations presented as rewrite rules. This is followed by a systematic development from general equational rea soning towards effective calculi for declarative programming in higher-order logic and A-calculus. This aims at integrating and generalizing declarative programming models such as functional and logic programming. In these two prominent declarative computation models we can view a program as a logical theory and a computation as a deduction.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Solving Higher-Order Equations

Autor Christian Prehofer

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1998

Anzahl der Seiten 188

EAN 9780817640323

ISBN 0817640320

Libristo-Code 01399212

Verlag Springer, Basel

Gewicht 467

Abmessungen 156 x 234 x 12

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

Mathematik und Naturwissenschaften > Mathematik > Angewandte Mathematik

EDV und Informationstechnologie > Unternehmensanwendungen > Mathematische und statistische Software

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert