Verfügbarkeit: Mathematische Logik | Technische Universität München

Mathematische Logik:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Bachmann, Peter 1942- (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	Düren Shaker Verlag 2020
Schriftenreihe:	Berichte aus der Mathematik
Schlagwörter:	Mathematische Logik Logik Modelle Theorie Kalkül Folgern Ableiten Mathematik
Links:	https://d-nb.info/1206945869/04 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032191304&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Beschreibung:	Titel auf dem Buchrücken: "Mathematische Logik - Sprache und Anliegen"
Umfang:	iv, 105 Seiten 22 cm, 158 g
ISBN:	9783844073324 3844073329

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV046782148
003	DE-604
005	20200803
007	t\|
008	200626s2020 gw \|\|\|\| 00\|\|\| ger d
015			\|a 20,N14 \|2 dnb
016	7		\|a 1206945869 \|2 DE-101
020			\|a 9783844073324 \|c Broschur : EUR 19.80 (DE), EUR 19.80 (AT), CHF 24.80 (freier Preis) \|9 978-3-8440-7332-4
020			\|a 3844073329 \|9 3-8440-7332-9
024	3		\|a 9783844073324
035			\|a (OCoLC)1148137484
035			\|a (DE-599)DNB1206945869
040			\|a DE-604 \|b ger \|e rda
041	0		\|a ger
044			\|a gw \|c XA-DE-NW
049			\|a DE-706
084			\|a 510 \|2 sdnb
100	1		\|a Bachmann, Peter \|d 1942- \|e Verfasser \|0 (DE-588)136660800 \|4 aut
245	1	0	\|a Mathematische Logik \|c Peter Bachmann
246	1	3	\|a Sprache und Anliegen
246	1	3	\|a Mathematische Logik - Sprache und Anliegen
264		1	\|a Düren \|b Shaker Verlag \|c 2020
300			\|a iv, 105 Seiten \|c 22 cm, 158 g
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Berichte aus der Mathematik
500			\|a Titel auf dem Buchrücken: "Mathematische Logik - Sprache und Anliegen"
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
653			\|a Logik
653			\|a Modelle
653			\|a Theorie
653			\|a Kalkül
653			\|a Folgern
653			\|a Ableiten
653			\|a Mathematik
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
710	2		\|a Shaker Verlag \|0 (DE-588)1064118135 \|4 pbl
856	4	2	\|m B:DE-101 \|q application/pdf \|u https://d-nb.info/1206945869/04 \|3 Inhaltsverzeichnis
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032191304&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-032191304

Datensatz im Suchindex

_version_	1819265443738681344
adam_text	INHALTSVERZEICHNIS 1 EIN VORWORT 1 2 DAS BEGRIFFSGEBAEUDE ALS RAHMEN 3 2.1 DIE FORMALE SPRACHE DER SKURRILEN LOGIK ................................................... 3 2.1.1 UEBUNGEN ............................................................................................ 4 2.2 MODELLE, THEOREME, THEORIEN .................................................................. 5 2.2.1 UEBUNGEN ............................................................................................ 8 2.3 FOLGERN UND ABLEITEN .................................................................................. 9 2.3.1 UEBUNGEN ............................................................................................ 15 3 DIE GENTZENLOGIK 17 3.1 DIE SPRACHE DER GENTZENLOGIK .................................................................. 17 3.1.1 UEBUNGEN ............................................................................................ 20 3.2 DER KALKUEL ......................................................................................................... 21 3.2.1 UEBUNGEN ................................................................................................ 28 4 DIE AUSSAGENLOGIK 29 4.1 DIE SPRACHE DER AUSSAGENLOGIK ...................................................................... 29 4.1.1 UEBUNGEN ................................................................................................ 33 4.2 DIE ABLEITUNGSRELATION ................................................................................... 33 4.2.1 UEBUNGEN ................................................................................................ 41 4.3 EINIGES ZU DEN MODELLEN ................................................................................ 41 4.3.1 UEBUNGEN ................................................................................................ 45 5 DIE PRAEDIKATENLOGIK 47 5.1 DIE SPRACHE DER PRAEDIKATENLOGIK ................................................................... 47 5.1.1 UEBUNGEN ............................................................................................ 55 5.2 NORMALFORMEN ................................................................................................... 55 5.2.1 UEBUNGEN ................................................................................................ 58 5.3 DIE ABLEITUNGSRELATION ................................................................................... 59 5.3.1 UEBUNGEN ................................................................................................ 59 5.4 EINIGES ZU DEN MODELLEN ................................................................................ 60 5.4.1 UEBUNGEN ................................................................................................ 62 5.5 BEZIEHUNGEN ZUR LOGISCHEN PROGRAMMIERUNG ............................................... 63 5.5.1 UEBUNGEN ................................................................................................ 68 6 MODALE AUSSAGENLOGIK 69 6.1 DIE SPRACHE DER MODALEN AUSSAGENLOGIK ................................................ 70 6.1.1 UEBUNGEN ............................................................................................ 73 6.2 EIGENSCHAFTEN VON RAHMEN ......................................................................... 74 6.2.1 UEBUNGEN ................................................................................................ 80 6.3 BEWEISMETHODEN ............................................................................................. 80 6.3.1 UEBUNGEN ................................................................................................ 85 7 TEMPORALE AUSSAGENLOGIK 87 7.1 DIE SPRACHE DER LTL ....................................................................................... 88 7.1.1 UEBUNGEN ................................................................................................ 91 7.2 GEGENSEITIGE ERSETZBARKEIT ............................................................................. 91 7.2.1 UEBUNGEN ................................................................................................ 92 7.3 BEWEISMETHODEN ............................................................................................. 92 7.3.1 UEBUNGEN ................................................................................................ 96 A LOESUNGEN 97 A.L DAS BEGRIFFSGEBAEUDE ALS RAHMEN .................................................................. 97 A.1.1 DIE FORMALE SPRACHE DER SKURRILEN LOGIK ........................................ 97 A.1.2 MODELLE, THEOREME, THEORIEN .......................................................... 97 A.L. 3 FOLGERN UND ABLEITEN .......................................................................... 97 A.2 DIE GENTZENLOGIK ............................................................................................ 98 A.2.1 DIE SPRACHE DER GENTZENLOGIK ......................................................... 98 A.2.2 DER KALKUEL ............................................................................................ 98 A.3 DIE AUSSAGENLOGIK ........................................................................................... 99 A.3.1 DIE SPRACHE DER AUSSAGENLOGIK ......................................................... 99 A.3.2 DIE ABLEITUNGSRELATION ..................................................................... 99 A.3.3 EINIGES ZU DEN MODELLEN ................................................................... 99 A.4 DIE PRAEDIKATENLOGIK .......................................................................................... 99 II A.4.1 DIE SPRACHE DER PRAEDIKATENLOGIK ...................................................... 99 A.4.2 NORMALFORMEN .................................................................................... 100 A.4.3 DIE ABLEITUNGSRELATION .................................................................... 100 A.4.4 EINIGES ZU DEN MODELLEN ................................................................. 100 A.4.5 BEZIEHUNGEN ZUR LOGISCHEN PROGRAMMIERUNG .............................. 101 A.5 DIE MODALE AUSSAGENLOGIK ........................................................................... 102 A.5.1 DIE SPRACHE DER MODALEN AUSSAGENLOGIK .................................... 102 A.5.2 EIGENSCHAFTEN VON RAHMEN ............................................................. 102 A.5.3 BEWEISMETHODEN ............................................................................. 103 A.6 DIE TEMPORALE AUSSAGENLOGIK ..................................................................... 103 A.6.1 DIE SPRACHE DER LTL ....................................................................... 103 A.6.2 GEGENSEITIGE ERSETZBARKEIT ............................................................. 103 A.6.3 BEWEISMETHODEN ............................................................................. 104 III
any_adam_object	1
author	Bachmann, Peter 1942-
author_GND	(DE-588)136660800
author_facet	Bachmann, Peter 1942-
author_role	aut
author_sort	Bachmann, Peter 1942-
author_variant	p b pb
building	Verbundindex
bvnumber	BV046782148
ctrlnum	(OCoLC)1148137484 (DE-599)DNB1206945869
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01925nam a2200529 c 4500</leader><controlfield tag="001">BV046782148</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200803 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">200626s2020 gw \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">20,N14</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1206945869</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783844073324</subfield><subfield code="c">Broschur : EUR 19.80 (DE), EUR 19.80 (AT), CHF 24.80 (freier Preis)</subfield><subfield code="9">978-3-8440-7332-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3844073329</subfield><subfield code="9">3-8440-7332-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783844073324</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1148137484</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1206945869</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bachmann, Peter</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136660800</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="c">Peter Bachmann</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Sprache und Anliegen</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Mathematische Logik - Sprache und Anliegen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Düren</subfield><subfield code="b">Shaker Verlag</subfield><subfield code="c">2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">iv, 105 Seiten</subfield><subfield code="c">22 cm, 158 g</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="490" ind1="0" ind2=" "><subfield code="a">Berichte aus der Mathematik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Titel auf dem Buchrücken: "Mathematische Logik - Sprache und Anliegen"</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logik</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Modelle</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Theorie</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Kalkül</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Folgern</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Ableiten</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematik</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Shaker Verlag</subfield><subfield code="0">(DE-588)1064118135</subfield><subfield code="4">pbl</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">B:DE-101</subfield><subfield code="q">application/pdf</subfield><subfield code="u">https://d-nb.info/1206945869/04</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=032191304&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-032191304</subfield></datafield></record></collection>
id	DE-604.BV046782148
illustrated	Not Illustrated
indexdate	2024-12-20T19:00:49Z
institution	BVB
institution_GND	(DE-588)1064118135
isbn	9783844073324 3844073329
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032191304
oclc_num	1148137484
open_access_boolean
owner	DE-706
owner_facet	DE-706
physical	iv, 105 Seiten 22 cm, 158 g
publishDate	2020
publishDateSearch	2020
publishDateSort	2020
publisher	Shaker Verlag
record_format	marc
series2	Berichte aus der Mathematik
spellingShingle	Bachmann, Peter 1942- Mathematische Logik Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4037951-6
title	Mathematische Logik
title_alt	Sprache und Anliegen Mathematische Logik - Sprache und Anliegen
title_auth	Mathematische Logik
title_exact_search	Mathematische Logik
title_full	Mathematische Logik Peter Bachmann
title_fullStr	Mathematische Logik Peter Bachmann
title_full_unstemmed	Mathematische Logik Peter Bachmann
title_short	Mathematische Logik
title_sort	mathematische logik
topic	Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Mathematische Logik
url	https://d-nb.info/1206945869/04 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032191304&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT bachmannpeter mathematischelogik AT shakerverlag mathematischelogik AT bachmannpeter spracheundanliegen AT shakerverlag spracheundanliegen AT bachmannpeter mathematischelogikspracheundanliegen AT shakerverlag mathematischelogikspracheundanliegen

Verfügbarkeit

‌

Inhaltsverzeichnis