Logic, basics and beyond:
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | Swedish |
| Published: |
Stockholm
Sine metu productions
2009
|
| Edition: | 2. ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 421 S. graph. Darst. |
| ISBN: | 9789197845014 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036123796 | ||
| 003 | DE-604 | ||
| 005 | 20100722 | ||
| 007 | t | ||
| 008 | 100415s2009 d||| |||| 00||| swe d | ||
| 020 | |a 9789197845014 |9 978-91-978450-1-4 | ||
| 035 | |a (OCoLC)495934179 | ||
| 035 | |a (DE-599)BVBBV036123796 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a swe | |
| 049 | |a DE-29 | ||
| 082 | 1 | |a 510 |2 kssb/8 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Davies, Guy |e Verfasser |0 (DE-588)134960327 |4 aut | |
| 245 | 1 | 0 | |a Logic, basics and beyond |c Guy Davies ; Love Ekenberg ; Johan Thorbiörnson |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Stockholm |b Sine metu productions |c 2009 | |
| 300 | |a 421 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Logik |2 sao | |
| 650 | 4 | |a Logik / sao | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ekenberg, Love |e Verfasser |4 aut | |
| 700 | 1 | |a Thorbiörnson, Johan |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Erlangen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019013700&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-019013700 | ||
Record in the Search Index
| _version_ | 1804141232076619776 |
|---|---|
| adam_text | CONTENTS PREFACE CHAPTER 1. INTRODUCTION 1. THE HISTORY OF LOGIC 2. SO
WHAT IS LOGIC? 3. CONTENT DISPOSITION CHAPTER 2. INTRODUCTION TO
SENTENCE LOGIC 1. NEGATION, IMPLICATION AND EQUIVALENCE 2. THE
CONNECTIVES AND, OR 3. FALSE HYPOTHESES AND BOGUS SOLUTIONS* CHAPTER 3.
THE LANGUAGE SL 1. ALPHABET 2. THE SYNTAX FOR SENTENCES IN SL 3. THE
MEANING OF A SENTENCE 4. THE EXPRESSIVE POWER OF CONNECTIVES 5. THE
SEMANTICS OF SL 6. INFORMATION CONTENT OF A SENTENCE CHAPTER 4.
DEDUCTIONS AND ARGUMENTS 1. LOGICAL CONSEQUENCE 2. INCOMPLETE ARGUMENTS
3. SOME IMPORTANT LOGICAL RELATIONSHIPS CHAPTER 5. RULE SYSTEMS 1.
AXIOMATIC SYSTEMS 2. SEMANTIC TABLEAUX 3. THE RESOLUTION METHOD 4.
CONJUNCTIVE NORMAL FORM 5. DEDUCTIONS WITH THE RESOLUTION METHOD 6.
NATURAL DEDUCTION 7. A NOTE ON SEQUENT CALCULUS* 3 9 9 11 15 17 19 25 30
39 40 40 42 49 51 54 57 58 65 70 74 75 79 88 88 92 97 106 CHAPTER 6. SET
THEORY 1. SETS 2. INTERVALS ON THE REAL LINE 3. SUBSETS 4. SET
OPERATIONS 5. VENN DIAGRAMS AND SET MEMBERSHIP TABLES 6. CARTESIAN
PRODUCTS CHAPTER 7. RELATIONS AND FUNCTIONS 1. RELATIONS 2. EQUIVALENCE
RELATIONS 3. EQUIVALENCE CLASSES AND PARTITIONS 4. CONGRUENCE* 5.
PARTIAL ORDERS* 6. HASSE DIAGRAMS* 7. TOPOLOGICAL SORTS* 8. FUNCTIONS
CHAPTER 8. PREDICATE LOGIC 1. INTRODUCTION TO PREDICATE LOGIC 2.
TRANSLATION TO PREDICATE LOGIC 3. THEOREMS AND DEFINITIONS IN
MATHEMATICS* 4. TRUTH SETS AND SOLUTION SETS* CHAPTER 9. THE LANGUAGE PL
1. ALPHABET 2. THE SYNTAX OF PL 3. THE SEMANTICS OF PREDICATE LOGIC 4.
MORE ON COUNTER-EXAMPLES CHAPTER 10. DEDUCTION IN PREDICATE LOGIC 1. THE
RESOLUTION METHOD 2. PRENEX CONJUNCTIVE NORMAL FORM 3. RESOLUTION IN
PREDICATE LOGIC 4. A NOTE ON AUTOMATED THEOREM PROVING 5. NATURAL
DEDUCTION 7 111 112 119 122 127 133 141 148 149 153 156 160 163 167 168
170 180 181 183 189 196 203 204 204 207 220 226 227 227 230 237 241
CHAPTER 11. MODAL LOGIC 1. THE LANGUAGE MSL 2. THE SEMANTICS OF MODAL
LOGIC 3. TESTING MODAL INTUITIONS 4. AXIOMATISING MODALITY 5.
DERIVATIONS IN KT5 6. APPLICATIONS CHAPTER 12. COMPLEXITY &
COMPUTABILITY 1. THE ALGORITHMIC BASIS 2. ASYMPTOTIC ANALYSES 3.
COMPLEXITY CLASSES 4. COMPUTABILITY - DECIDABILITY 5. THE HALTING
PROBLEM 6. REDUCTIONS AGAIN 7. REPERCUSSIONS CHAPTER 13. SOUNDNESS AND
COMPLETENESS 1. SOUNDNESS AND COMPLETENESS FOR SENTENCE LOGIC 2.
SOUNDNESS AND COMPLETENESS FOR PREDICATE LOGIC 3. SOUNDNESS OF THE MODAL
LOGIC SYSTEM K 4. COMPLETENESS OF SYSTEM K CHAPTER 14. SOME MORE MODEL
THEORY* 1. SOME BASIC CONCEPTS OF MODEL THEORY 2. SOME FUNDAMENTAL
NOTIONS ABOUT COUNT ABILITY 3. SOME FUNDAMENTAL THEOREMS AND THEIR
IMPLICATIONS SOLUTIONS TO EXERCISES CHAPTER 2. INTRODUCTION TO SENTENCE
LOGIC CHAPTER 3. THE LANGUAGE SL CHAPTER 4. DEDUCTIONS AND
ARGUMENTATIONS CHAPTER 5. RULE SYSTEMS CHAPTER 6. SET THEORY CHAPTER 7.
RELATIONS AND FUNCTIONS CHAPTER 8. PREDICATE LOGIC CHAPTER 9. THE
LANGUAGE PL CHAPTER 10. DEDUCTIONS IN PREDICATE LOGIC INDEX 250 252 255
259 273 276 278 281 282 283 288 293 296 300 301 305 306 313 319 324 333
334 338 339 345 346 348 350 351 382 387 393 395 396 410
|
| any_adam_object | 1 |
| author | Davies, Guy Ekenberg, Love Thorbiörnson, Johan |
| author_GND | (DE-588)134960327 |
| author_facet | Davies, Guy Ekenberg, Love Thorbiörnson, Johan |
| author_role | aut aut aut |
| author_sort | Davies, Guy |
| author_variant | g d gd l e le j t jt |
| building | Verbundindex |
| bvnumber | BV036123796 |
| classification_rvk | CC 2500 |
| ctrlnum | (OCoLC)495934179 (DE-599)BVBBV036123796 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01408nam a2200397 c 4500</leader><controlfield tag="001">BV036123796</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100722 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100415s2009 d||| |||| 00||| swe d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789197845014</subfield><subfield code="9">978-91-978450-1-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)495934179</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036123796</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">swe</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="082" ind1="1" ind2=" "><subfield code="a">510</subfield><subfield code="2">kssb/8</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Davies, Guy</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)134960327</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, basics and beyond</subfield><subfield code="c">Guy Davies ; Love Ekenberg ; Johan Thorbiörnson</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stockholm</subfield><subfield code="b">Sine metu productions</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">421 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logik</subfield><subfield code="2">sao</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik / sao</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ekenberg, Love</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Thorbiörnson, Johan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019013700&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-019013700</subfield></datafield></record></collection> |
| id | DE-604.BV036123796 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:12:36Z |
| institution | BVB |
| isbn | 9789197845014 |
| language | Swedish |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-019013700 |
| oclc_num | 495934179 |
| open_access_boolean | |
| owner | DE-29 |
| owner_facet | DE-29 |
| physical | 421 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Sine metu productions |
| record_format | marc |
| spelling | Davies, Guy Verfasser (DE-588)134960327 aut Logic, basics and beyond Guy Davies ; Love Ekenberg ; Johan Thorbiörnson 2. ed. Stockholm Sine metu productions 2009 421 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logik sao Logik / sao Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s DE-604 Ekenberg, Love Verfasser aut Thorbiörnson, Johan Verfasser aut Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019013700&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Davies, Guy Ekenberg, Love Thorbiörnson, Johan Logic, basics and beyond Logik sao Logik / sao Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 |
| title | Logic, basics and beyond |
| title_auth | Logic, basics and beyond |
| title_exact_search | Logic, basics and beyond |
| title_full | Logic, basics and beyond Guy Davies ; Love Ekenberg ; Johan Thorbiörnson |
| title_fullStr | Logic, basics and beyond Guy Davies ; Love Ekenberg ; Johan Thorbiörnson |
| title_full_unstemmed | Logic, basics and beyond Guy Davies ; Love Ekenberg ; Johan Thorbiörnson |
| title_short | Logic, basics and beyond |
| title_sort | logic basics and beyond |
| topic | Logik sao Logik / sao Logik (DE-588)4036202-4 gnd |
| topic_facet | Logik Logik / sao |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019013700&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT daviesguy logicbasicsandbeyond AT ekenberglove logicbasicsandbeyond AT thorbiornsonjohan logicbasicsandbeyond |