Notice bibliographique
- Notice
000 cam 22 3 450
001 FRBNF457789670000002
010 .. $a 9783319925912
010 .. $a 3319925911 $z 9783319925905
035 .. $a OCoLC1077499322
100 .. $a 20200131d2019 m y0engy50 ba
101 0. $a eng
102 .. $a CH
105 .. $a ||||z 00|||
106 .. $a s $a r
135 .. $a drc||||||||||
181 .0 $6 01 $a i $b xxxe
181 .. $6 02 $c txt $2 rdacontent
182 .0 $6 01 $a b
182 .. $6 02 $c c $2 rdamedia
200 1. $a Logics for computer science $b Texte électronique $e classical and non-classical $f Anita Wasilewska
214 .0 $a Cham $c Springer
214 .4 $d C 2019
215 .. $a 1 ressource dématérialisée
307 .. $a La pagination de l'édition imprimée correspondante est de : X-535 p.
330 .. $a 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
676 .. $a 005.131 $v 23
801 .3 $a US $b OCoLC $c 20200131 $h 1077499322 $2 marc21
801 .0 $b YDX $g rda ; pn
930 .. $5 FR-759999999:45778967001001 $a ACQNUM-112444 $b 759999999 $c Document numérisé $d N
