|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
EBOOKCENTRAL_ocn958464641 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr ||||||||||| |
| 008 |
160905s2016 xxk fo 000 0 eng d |
| 040 |
|
|
|a NLE
|b eng
|e rda
|e pn
|c NLE
|d VT2
|d OCLCO
|d OCLCF
|d OCLCQ
|d UX1
|d EBLCP
|d OCLCQ
|d OCLCO
|d OCLCL
|
| 020 |
|
|
|a 9781118880043
|q (EPUB)
|
| 020 |
|
|
|a 1118880048
|
| 035 |
|
|
|a (OCoLC)958464641
|
| 037 |
|
|
|a 9781118880043
|b Wiley
|
| 050 |
|
4 |
|a BC71
|b .G67 2016
|
| 082 |
0 |
4 |
|a 511.3
|2 23
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Goranko, Valentin,
|e author.
|
| 245 |
1 |
0 |
|a Logic as a Tool :
|b a Guide to Formal Logical Reasoning /
|c Valentin Goranko.
|
| 250 |
|
|
|a 1st
|
| 264 |
|
1 |
|b Wiley,
|c 2016.
|
| 300 |
|
|
|a 1 online resource (384 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 500 |
|
|
|a 1 Understanding Propositional Logic 9 1.1 Propositions and logical connectives. Truth-tables and tautologies. 9 1.2 Propositional logical consequence. Logically correct inferences 28 1.3 Logical equivalence. Negation normal form of propositional formulae. 39 1.4 Addendum: Inductive definitions. Structural induction and recursion 46 2 Deductive Reasoning in Propositional Logic 59 2.1 Deductive systems: an overview 59 2.2 Axiomatic systems for propositional logic 65 2.3 Semantic tableaux 72 2.4 Natural deduction 83 2.5 Normal forms. Propositional resolution. 92 2.6 Addendum: The Boolean satisfiability problem and NP-completeness. 101 2.7 Addendum: Completeness of the propositional deductive systems 104 3 Understanding First-order Logic 113 3.1 First-order structures and languages. Terms and formulae of first-order logic.
|
| 500 |
|
|
|a 114 3.2 Semantics of first-order logic 127 3.3 Basic grammar and use of first-order languages 143 3.4 Logical validity, consequence and equivalence in first-order logic 156 3.5 Syllogisms 173 4 Deductive Reasoning in First-order Logic 181 4.1 Axiomatic system for first-order logic 182 4.2 Semantic Tableaux for First-order Logic 190 4.3 Natural Deduction for first-order logic 204 4.4 Prenex and clausal normal forms 211 4.5 Resolution for first-order logic 218 4.6 Addendum: Soundness and completeness of the deductive systems for first-order logic 234 5 Applications: Mathematical Proofs and Automated Reasoning 245 5.1 Logical reasoning and mathematical proofs 246 5.2 Logical reasoning on sets,
|
| 500 |
|
|
|a Functions and relations 255 5.3 Mathematical induction and Peano Arithmetic 271 5.4 Applications: automated reasoning and logic programming 278 6 Answers and solutions to selected exercises 289 6.1 Answers and solutions: Section 1.1 289 6.2 Answers and solutions: Section 1.2 292 6.3 Answers and solutions: Section 1.3 294 6.4 Answers and solutions: Section 2.2 296 6.5 Answers and solutions: Section 2.3 298 6.6 Answers and solutions: Section 2.4 307 6.7 Answers and solutions: Section 2.5 312 6.8 Answers and solutions: Section 3.1 318 6.9 Answers and solutions: Section 3.2 321 6.10 Answers and solutions: Section 3.3 323 6.11 Answers and solutions: Section 3.4 325 6.12 Answers and solutions: Section 3.5 330 6.13 Answers and solutions: Section 4.1 331 6.14 Answers and solutions: Section 4.2 333 6.15 Answers and solutions: Section 4.3 350 6.16 Answers.
|
| 500 |
|
|
|a And solutions: Section 4.4 352 6.17 Answers and solutions: Section 4.5 354 6.18 Answers and solutions: Section 5.1 363 6.19 Answers and solutions: Section 5.2 364 6.20 Answers and solutions: Section 5.3 368 6.21 Answers and solutions: Section 5.4 371.
|
| 505 |
0 |
|
|a Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises.
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Logic
|v Textbooks.
|
| 650 |
|
7 |
|a Logic
|2 fast
|
| 655 |
|
0 |
|a Electronic books.
|
| 655 |
|
7 |
|a Textbooks
|2 fast
|
| 758 |
|
|
|i has work:
|a Logic as a tool (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCH7wYyM6CPFKm83tPWkJjC
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=7104171
|z Texto completo
|
| 936 |
|
|
|a BATCHLOAD
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL7104171
|
| 994 |
|
|
|a 92
|b IZTAP
|
