國立高雄大學圖資館 |

Language: English

Back

Logics for computer scienceclassical...

SpringerLink (Online service)

Logics for computer scienceclassical and non-classical /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logics for computer scienceby Anita Wasilewska.
Reminder of title:	classical and non-classical /
Author:	Wasilewska, Anita.
Published:	Cham :Springer International Publishing :2018.
Description:	x, 535 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Logic, Symbolic and mathematical.
Online resource:	https://doi.org/10.1007/978-3-319-92591-2
ISBN:	9783319925912$q(electronic bk.)

Logics for computer scienceclassical 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$q(electronic bk.)

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

180452
Logic, Symbolic and mathematical.

LC Class. No.: QA9

Dewey Class. No.: 005.131

Logics for computer scienceclassical and non-classical /
LDR:02735nmm a2200337 a 4500 001 545596
003 DE-He213
005 20181103003955.0
006 m d
007 cr nn 008maaau
008 190530s2018 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 824594
245 1 0 $a Logics for computer science $h [electronic resource] : $b classical and non-classical / $c by Anita Wasilewska.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
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 180452
650 1 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
710 2 $a SpringerLink (Online service) $3 273601
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)