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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Fundamentals of Logic and Computation

Name: Fundamentals of Logic and Computation
Brand: Springer Nature Switzerland AG
SKU: 38380891
Price: 35.29 EUR
Availability: InStock
Author: Zhe Hou
ISBN: 9783030878818

With Practical Automated Reasoning and Verification

Zhe Hou

Sprache

Englisch

Buch Hardcover

Libristo-Code: 38380891

Verlag Springer Nature Switzerland AG, Dezember 2021

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gai... Vollständige Beschreibung

Libristo-Code: 38380891

86 b

35.29 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Allemagne Catholique Au Xixe Siecle. Windthorst, Ses Allies Et Ses Adversaires Bazin-G

Broschur

25.09 €

Zur zivilrechtlichen Verantwortlichkeit von Arzt und Klinik für drittschädigendes Verhalten des fehlerhaft behandelten psychisch kranken Patienten Lilian Alice Nolden

Broschur

54.95 €

Křížovky bylinkové

Broschur

2.99 €

Rozvoj řeči dětí s PAS, vývojovou dysfázií a dalšími poruchami America X. Gonzalez

Broschur

8.99 €

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity. The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for a high-level undergraduate course or a Master's course. The hybrid skill set of practical theorem proving and model checking should be helpful for the future of readers should they pursue a research career or engineering in formal methods.

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 Fundamentals of Logic and Computation

Autor Zhe Hou

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2021

Anzahl der Seiten 222

EAN 9783030878818

ISBN 3030878813

Libristo-Code 38380891

Verlag Springer Nature Switzerland AG

Gewicht 490

Abmessungen 242 x 160 x 19

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Computerhardware

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

Das könnte Sie auch interessieren

Algorithm Design Manual Skiena

Broschur

56.49 €

Introduction to the Theory of Computation Michael Sipser

Hardcover

341.39 €

Ivy Aberdeen's Letter to the World Ashley Herring Blake

Hardcover

19.89 €

Principia Mathematica Alfred North Whitehead

Broschur

21.49 €

ESL Games for Teens & Adults: No Prep ESL Games for the Classroom. Perfect Teaching Materials for TEFL Lesson Plans (Games, Warmers & Fillers) Marc Roche

Broschur

9.19 €