語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Logics for Computer Science = Classi...
~
SpringerLink (Online service)
Logics for Computer Science = Classical and Non-Classical /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Logics for Computer Science/ by Anita Wasilewska.
其他題名:
Classical and Non-Classical /
作者:
Wasilewska, Anita.
面頁冊數:
X, 535 p. 1 illus.online resource. :
Contained By:
Springer Nature eBook
標題:
Computer logic. -
電子資源:
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 Science
Classical and Non-Classical /[electronic resource] :by Anita Wasilewska. - 1st ed. 2018. - X, 535 p. 1 illus.online resource.
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:
786340
Computer logic.
LC Class. No.: QA76.9.L63
Dewey Class. No.: 005.1015113
Logics for Computer Science = Classical and Non-Classical /
LDR
:03097nam a22004095i 4500
001
988446
003
DE-He213
005
20200704165556.0
007
cr nn 008mamaa
008
201225s2018 gw | s |||| 0|eng d
020
$a
9783319925912
$9
978-3-319-92591-2
024
7
$a
10.1007/978-3-319-92591-2
$2
doi
035
$a
978-3-319-92591-2
050
4
$a
QA76.9.L63
050
4
$a
QA76.5913
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.1015113
$2
23
100
1
$a
Wasilewska, Anita.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
1210226
245
1 0
$a
Logics for Computer Science
$h
[electronic resource] :
$b
Classical and Non-Classical /
$c
by Anita Wasilewska.
250
$a
1st ed. 2018.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2018.
300
$a
X, 535 p. 1 illus.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
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
Computer logic.
$3
786340
650
0
$a
Mathematical logic.
$2
bicssc
$3
810627
650
0
$a
Artificial intelligence.
$3
559380
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.
$3
646849
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783319925905
776
0 8
$i
Printed edition:
$z
9783319925929
856
4 0
$u
https://doi.org/10.1007/978-3-319-92591-2
912
$a
ZDB-2-SCS
912
$a
ZDB-2-SXCS
950
$a
Computer Science (SpringerNature-11645)
950
$a
Computer Science (R0) (SpringerNature-43710)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入