Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : Wasilewska, Anita
Titre(s) : Logics for computer science [Texte électronique] : classical and non-classical / Anita Wasilewska
Publication : Cham : Springer, copyright 2019
Description matérielle : 1 ressource dématérialisée
Note(s) : The theory of computation is based on concepts defined by logicians and mathematicians.
Logic plays a fundamental role in computer science, and this book explains the basic
theorems, as well as different techniques of proving them in classical and some non-classical
logics. Important applications derived from concepts of logic for computer technology
include Artificial Intelligence and Software Engineering. Providing an in-depth introduction
to fundamental classical and non-classical logics, this textbook offers a comprehensive
survey of logics for computer scientists. Logics for Computer Science contains intuitive
introductory chapters explaining the need for logical investigations, motivations
for different types of logics and some of their history. They are followed by strict
formal approach chapters. All chapters contain many detailed examples explaining each
of the introduced notions and definitions, well chosen sets of exercises with carefully
written solutions, and sets of homework. Includes links to the author's companion
lecture slides for each chapter: several hundred presentations which summarize the
ideas presented in the chapters for ease of comprehension
La pagination de l'édition imprimée correspondante est de : X-535 p.
Sujet(s) : Logique informatique
Indice(s) Dewey :
005.131 (23e éd.) = Logique symbolique (informatique)
Identifiants, prix et caractéristiques : ISBN 9783319925912. - ISBN 3319925911. - ISBN 9783319925905 (erroné)
Identifiant de la notice : ark:/12148/cb45778967h
Notice n° :
FRBNF45778967
(notice reprise d'un réservoir extérieur)
Table des matières : 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.
