000 03923nam a22005535i 4500
001 978-3-319-92591-2
003 DE-He213
005 20210201191317.0
007 cr nn 008mamaa
008 181103s2018 gw | s |||| 0|eng d
020 _a9783319925912
_9978-3-319-92591-2
050 4 _aQA76.9.L63
050 4 _aQA76.5913
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
072 7 _aUM
_2thema
072 7 _aUYF
_2thema
082 0 4 _a005.1015113
_223
100 1 _aWasilewska, Anita.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 0 _aLogics for Computer Science
_h[electronic resource] :
_bClassical and Non-Classical /
_cby Anita Wasilewska.
250 _a1st ed. 2018.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2018.
300 _aX, 535 p. 1 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
500 _aAcceso multiusuario
505 0 _a1: 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.
520 _aThe 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.
541 _fUABC ;
_cTemporal ;
_d01/01/2021-12/31/2023.
650 0 _aComputer logic.
650 0 _aMathematical logic.
650 0 _aArtificial intelligence.
650 1 4 _aLogics and Meanings of Programs.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
650 2 4 _aMathematical Logic and Foundations.
_0https://scigraph.springernature.com/ontologies/product-market-codes/M24005
650 2 4 _aArtificial Intelligence.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I21000
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319925905
776 0 8 _iPrinted edition:
_z9783319925929
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-92591-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
942 _cLIBRO_ELEC
999 _c242009
_d242008