國立虎尾科技大學 |

Logics for computer science = classical and non-classical /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logics for computer science/ by Anita Wasilewska.
其他題名:	classical and non-classical /
作者:	Wasilewska, Anita.
出版者:	Cham :Springer International Publishing : : 2018.,
面頁冊數:	x, 535 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Logic, Symbolic and mathematical. -
電子資源:	https://doi.org/10.1007/978-3-319-92591-2
ISBN:	9783319925912

Logics for computer science = classical and non-classical /
Wasilewska, Anita.

Logics for computer scienceclassical and non-classical /[electronic resource] :by Anita Wasilewska. - Cham :Springer International Publishing :2018. - x, 535 p. :ill., digital ;24 cm.

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.

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.

ISBN: 9783319925912

Standard No.: 10.1007/978-3-319-92591-2doiSubjects--Topical Terms:

527823
Logic, Symbolic and mathematical.

LC Class. No.: QA9

Dewey Class. No.: 005.131

Logics for computer science = classical and non-classical /
LDR:02735nam a2200337 a 4500 001 929560
003 DE-He213
005 20181103003955.0
006 m d
007 cr nn 008maaau
008 190626s2018 gw s 0 eng d
020 $a 9783319925912 $q (electronic bk.)
020 $a 9783319925905 $q (paper)
024 7 $a 10.1007/978-3-319-92591-2 $2 doi
035 $a 978-3-319-92591-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.131 $2 23
090 $a QA9 $b .W319 2018
100 1 $a Wasilewska, Anita. $3 1210226
245 1 0 $a Logics for computer science $h [electronic resource] : $b classical and non-classical / $c by Anita Wasilewska.
260 $a Cham : $c 2018. $b Springer International Publishing : $b Imprint: Springer,
300 $a x, 535 p. : $b ill., digital ; $c 24 cm.
505 0 $a 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.
520 $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.
650 0 $a Logic, Symbolic and mathematical. $3 527823
650 1 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 593924
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
856 4 0 $u https://doi.org/10.1007/978-3-319-92591-2
950 $a Computer Science (Springer-11645)