Downward | Logic And Declarative Language | Buch | 978-0-7484-0802-3 | www.sack.de

Buch, Englisch, 384 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 582 g

Downward

Logic And Declarative Language


1. Auflage 1998
ISBN: 978-0-7484-0802-3
Verlag: Routledge

Buch, Englisch, 384 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 582 g

ISBN: 978-0-7484-0802-3
Verlag: Routledge


Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.

Downward Logic And Declarative Language jetzt bestellen!

Zielgruppe


Postgraduate


Autoren/Hrsg.


Weitere Infos & Material


Part One: Logic Without Equality 1. Propositions 2. First Order Logic 3. Logic Programming Principles 4. Prolog Part Two: Logic With Equality 5. Logic-sorted Abstract Types 6. The Included Middle 7. Miranda 8. Institutional Logic 9. Languages and Databases




Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.