000			nam a22 7a 4500
999			_c29542 _d29542
008			190510b xxu||||| |||| 00| 0 eng d
020			_a9783319925905 _c(hbk)
082			_a005.13 _bWAS
100			_aWasilewska, Anita
245			_aLogics for computer science : classical and non-classical
260			_aSwitzerland : _bSpringer, _c2018.
300			_ax, 535p. : _bill. ; _c27 cm.
365			_aEUR _b99.99
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.
650			_aLogic design
650			_aSymbolic and mathematical
650			_aArtificial intelligence
650			_aMathematical foundations
942			_2ddc _cBK