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.

Logics for Computer Science

Classical and Non-Classical
BuchGebunden
535 Seiten
Englisch
Springererschienen am13.11.20181st ed. 2018
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.mehr
Verfügbare Formate
BuchGebunden
EUR128,39
E-BookPDF1 - PDF WatermarkE-Book
EUR117,69

Produkt

KlappentextProviding an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.
Details
ISBN/GTIN978-3-319-92590-5
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2018
Erscheinungsdatum13.11.2018
Auflage1st ed. 2018
Seiten535 Seiten
SpracheEnglisch
Gewicht1202 g
IllustrationenX, 535 p. 1 illus.
Artikel-Nr.45192470

Inhalt/Kritik

Inhaltsverzeichnis
1: Introduction: Paradoxes and Puzzles.- 2: Introduction to Classical Logic.- 3: Propositional Semantics: Classical and Many Valued.- 4: General Proof Systems: Syntax and Semantics.- 5: Hilbert Proof Systems: Deduction and Completeness Theorems for Classical Propositional Logic.- 6: Automated Proof Systems.- 7: Introduction to Intuitionistic and Modal Logics.- 8: Classical Predicate Semantics and Proof Systems.- 9: Completeness and Deduction Theorems for Classical Predicate Logic.- 10: Predicate Automated Proof Systems.- 11: Formal Theories and Godel Theorems.mehr
Kritik
"This textbook is intended to serve as a first introduction to logic for undergraduate students, especially for those majoring in computer science or a related field. ... The text is very reader-friendly, with plenty of explanations. ... The problems will provide readers with ample opportunity to hone their skills." (Katalin Bimbó, Mathematical Reviews, October, 2019)mehr

Schlagworte

Autor

Professor Anita Wasilewska has been teaching a "logic for computer science" class for many years, using presentation slides for ease of comprehension. She earned her Master Degree in Computer Science and Ph.D. in Mathematics from Warsaw University, where she consequently was a faculty of the Mathematics Department from 1967 to 1983. She came to the United States in 1980 as a visiting Assistant Professor in Mathematics at Wesleyan and Yale Universities in Connecticut, before joining Stony Brook's Department of Computer Science in 1986.
She has also published papers, books, and edited books in many domains ranging from Classical and Non-Classical Logics, Automated Theorem Proving, Formal Languages, Theory of Programs, Foundations of Rough Sets in which she was one of the pioneers, to generalized Fuzzy and Rough sets, and Machine Learning.