Verfügbarkeit: Logic, basics and beyond | Technische Universität München

Logic, basics and beyond:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Davies, Guy (VerfasserIn), Ekenberg, Love (VerfasserIn), Thorbiörnson, Johan (VerfasserIn)
Format:	Buch
Sprache:	Schwedisch
Veröffentlicht:	Stockholm Sine metu productions 2009
Ausgabe:	2. ed.
Schlagwörter:	Logik Logik / sao
Links:	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
Umfang:	421 S. graph. Darst.
ISBN:	9789197845014

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV036123796
003	DE-604
005	20100722
007	t\|
008	100415s2009 xx 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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-019013700

Datensatz im Suchindex

_version_	1819356058202669056
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>01409nam 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 xx 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-019013700</subfield></datafield></record></collection>
id	DE-604.BV036123796
illustrated	Illustrated
indexdate	2024-12-20T14:07:40Z
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
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

Verfügbarkeit

‌

Inhaltsverzeichnis