Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification
BuchGebunden
222 Seiten
Englisch
Springererschienen am04.12.20211st ed. 2021
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.mehr
Verfügbare Formate
BuchGebunden
EUR64,19
BuchKartoniert, Paperback
EUR64,19
E-BookPDF1 - PDF WatermarkE-Book
EUR64,19

Produkt

KlappentextThis textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.
Details
ISBN/GTIN978-3-030-87881-8
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2021
Erscheinungsdatum04.12.2021
Auflage1st ed. 2021
ReiheTexts in Computer Science
Seiten222 Seiten
SpracheEnglisch
IllustrationenX, 222 p. 34 illus., 6 illus. in color.
Artikel-Nr.50075559

Inhalt/Kritik

Inhaltsverzeichnis
1. Introduction to Logic.- 2. First-order Logic.- 3. Non-classical Logics.- 4. Automata Theory and Formal Languages.- 5. Turing Machines and Computability.- 6. Logic is Computation.mehr