Verfügbarkeit: Einführung in die mathematische Logik

Einführung in die mathematische Logik: ein Lehrbuch mit Berücksichtigung der Logikprogrammierung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rautenberg, Wolfgang (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Braunschweig [u.a.] Vieweg 1996
Schriftenreihe:	Vieweg-Lehrbuch: Mathematik
Schlagworte:	Logic, Symbolic and mathematical Mathematische Logik Lehrbuch
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XII, 250 S.
ISBN:	3528067543

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV010483936
003	DE-604
005	20090921
007	t
008	951113s1996 gw \|\|\|\| 00\|\|\| ger d
016	7		\|a 946042799 \|2 DE-101
020			\|a 3528067543 \|9 3-528-06754-3
020			\|z 3528067540 \|9 3-528-06754-0
035			\|a (OCoLC)299677488
035			\|a (DE-599)BVBBV010483936
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-29T \|a DE-29 \|a DE-1046 \|a DE-91 \|a DE-91G \|a DE-862 \|a DE-20 \|a DE-824 \|a DE-739 \|a DE-19 \|a DE-703 \|a DE-898 \|a DE-706 \|a DE-521 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-188
050		0	\|a QA9
084			\|a CC 2400 \|0 (DE-625)17608: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a MAT 030f \|2 stub
100	1		\|a Rautenberg, Wolfgang \|e Verfasser \|4 aut
245	1	0	\|a Einführung in die mathematische Logik \|b ein Lehrbuch mit Berücksichtigung der Logikprogrammierung \|c Wolfgang Rautenberg
264		1	\|a Braunschweig [u.a.] \|b Vieweg \|c 1996
300			\|a XII, 250 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Vieweg-Lehrbuch: Mathematik
650		4	\|a Logic, Symbolic and mathematical
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
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=006986745&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006986745

Datensatz im Suchindex

DE-BY-862_location	2000
DE-BY-FWS_call_number	2000/SK 130 R249
DE-BY-FWS_katkey	145889
DE-BY-FWS_media_number	083000222529
_version_	1824555757353304064
adam_text	WOLFGANG RAUTENBER G EINFUEHRUNG IN DIE MATHEMATISCHE LOGIK EI N LEHRBUCH MIT BERUECKSICHTIGUNG DER LOGIKPROGRAMMIERUNG VIEWE G VII INHALTSVERZEICHNIS VORWORT V NOTATIONE N XI 1 AUSSAGENLOGIK 1 1.1 BOOLESCHE FUNKTIONEN UND FORMELN 2 1.2 SEMANTISCHE AEQUIVALENZ UND NORMALFORMEN 9 1.3 TAUTOLOGIEN UND AUSSAGENLOGISCHES FOLGERN 14 1.4 EIN VOLLSTAENDIGER KALKUEL FUER DAS FOLGERN 18 1.5 ANWENDUNGEN DES KOMPAKTHEITSSATZES 25 1.6 HILBERT-KALKUELE 29 2 PRAEDIKATENLOGI K 33 2.1 MATHEMATISCHE STRUKTUREN 34 2.2 SYNTAX ELEMENTARER SPRACHEN 43 2.3 SEMANTIK ELEMENTARER SPRACHEN 49 2.4 ALLGEMEINGUELTIGKEIT UND LOGISCHE AEQUIVALENZ 58 2.5 LOGISCHES FOLGERN UND DER THEORIEBEGRIFF 62 2.6 SPRACHERWEITERUNGEN 67 3 DE R GOEDELSCH E VOLLSTAENDIGKEITSSAT Z 7 1 3.1 EIN KALKUEL DES NATUERLICHEN SCHLIESSENS 72 3.2 DER VOLLSTAENDIGKEITSBEWEIS 76 VIII INHALTSVERZEICHNIS 3.3 ERSTE ANWENDUNGEN - NICHTSTANDARDMODELLE 81 3.4 ZFC UND DIE PARADOXIE VON SKOLEM 87 3.5 AUFZAEHLBARKEIT UND ENTSCHEIDBARKEIT 92 3.6 VOLLSTAENDIGE HILBERT-KALKUELE 95 3.7 FRAGMENTE DER 1. STUFE UND ERWEITERUNGEN 99 4 GRUNDLAGE N DER LOGIKPROGRAMMIERUN G 105 4.1 TERMMODELLE UND DER SATZ VON HERBRAND 106 4.2 AUSSAGENLOGISCHE RESOLUTION 112 4.3 UNIFIKATION 119 4.4 LOGIKPROGRAMMIERUNG 122 4.5 DER BEWEIS DES HAUPTSATZES 129 5 ELEMENT E DER MODELLTHEORI E 131 5.1 ELEMENTARE ERWEITERUNGEN 132 5.2 VOLLSTAENDIGE UND X-KATEGORISCHE THEORIEN 137 5.3 DAS EHRENFEUCHT-SPIEL 142 5.4 EINBETTUNGS- UND CHARAKTERISIERUNGSSAETZE 145 5.5 MODELLVOLLSTAENDIGKEIT 151 5.6 QUANTORENELIMINATION 157 5.7 REDUZIERTE PRODUKTE UND ULTRAPRODUKTE 163 6 UNVOLLSTAENDIGKEI T UN D UNENTSCHEIDBARKEI T 167 6.1 REKURSIVE UND PRIMITIV-REKURSIVE FUNKTIONEN 169 6.2 REPRAESENTIERBARKEIT ARITHMETISCHER PRAEDIKATE 175 6.3 DER REPRAESENTATIONSSATZ 182 6.4 GOEDELISIERUNG 186 6.5 DIE SAETZE VON GOEDEL, TARSKI, CHURCH 194 6.6 UEBERTRAGUNG DURCH INTERPRETATION 200 6.7 DIE ARITHMETISCHE HIERARCHIE 203 INHALTSVERZEICHNIS IX 7 ZUR THEORI E DER SELBSTREFERENZ 207 7.1 DIE ABLEITUNGSBEDINGUNGEN 208 7.2 DIE THEOREME VON GOEDEL UND LOB 215 7.3 DIE MODALLOGIK G 219 7.4 MODALE BEHANDLUNG DER SELBSTREFERENZ 221 LOESUNGSHINWEISE Z U DE N UEBUNGE N 225 LITERATUR 235 STICHWORTVERZEICHNIS 241 SYMBOLVERZEICHNIS 249
any_adam_object	1
author	Rautenberg, Wolfgang
author_facet	Rautenberg, Wolfgang
author_role	aut
author_sort	Rautenberg, Wolfgang
author_variant	w r wr
building	Verbundindex
bvnumber	BV010483936
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9
callnumber-search	QA9
callnumber-sort	QA 19
callnumber-subject	QA - Mathematics
classification_rvk	CC 2400 SK 130
classification_tum	MAT 030f
ctrlnum	(OCoLC)299677488 (DE-599)BVBBV010483936
discipline	Mathematik Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010483936</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090921</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951113s1996 gw \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">946042799</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3528067543</subfield><subfield code="9">3-528-06754-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">3528067540</subfield><subfield code="9">3-528-06754-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)299677488</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010483936</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rautenberg, Wolfgang</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die mathematische Logik</subfield><subfield code="b">ein Lehrbuch mit Berücksichtigung der Logikprogrammierung</subfield><subfield code="c">Wolfgang Rautenberg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Braunschweig [u.a.]</subfield><subfield code="b">Vieweg</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 250 S.</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">Vieweg-Lehrbuch: Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</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="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=006986745&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-006986745</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV010483936
illustrated	Not Illustrated
indexdate	2025-02-20T07:12:44Z
institution	BVB
isbn	3528067543
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006986745
oclc_num	299677488
open_access_boolean
owner	DE-29T DE-29 DE-1046 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-862 DE-BY-FWS DE-20 DE-824 DE-739 DE-19 DE-BY-UBM DE-703 DE-898 DE-BY-UBR DE-706 DE-521 DE-634 DE-83 DE-11 DE-188
owner_facet	DE-29T DE-29 DE-1046 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-862 DE-BY-FWS DE-20 DE-824 DE-739 DE-19 DE-BY-UBM DE-703 DE-898 DE-BY-UBR DE-706 DE-521 DE-634 DE-83 DE-11 DE-188
physical	XII, 250 S.
publishDate	1996
publishDateSearch	1996
publishDateSort	1996
publisher	Vieweg
record_format	marc
series2	Vieweg-Lehrbuch: Mathematik
spellingShingle	Rautenberg, Wolfgang Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4123623-3
title	Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
title_auth	Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
title_exact_search	Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
title_full	Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung Wolfgang Rautenberg
title_fullStr	Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung Wolfgang Rautenberg
title_full_unstemmed	Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung Wolfgang Rautenberg
title_short	Einführung in die mathematische Logik
title_sort	einfuhrung in die mathematische logik ein lehrbuch mit berucksichtigung der logikprogrammierung
title_sub	ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
topic	Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Logic, Symbolic and mathematical Mathematische Logik Lehrbuch
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006986745&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT rautenbergwolfgang einfuhrungindiemathematischelogikeinlehrbuchmitberucksichtigungderlogikprogrammierung

Verfügbarkeit

Inhaltsverzeichnis

THWS Schweinfurt Zentralbibliothek Lesesaal

Bestandesangaben von THWS Schweinfurt Zentralbibliothek Lesesaal
Signatur:	2000 SK 130 R249
Exemplar 1	ausleihbar Verfügbar Bestellen

MARC

Datensatz im Suchindex

THWS Schweinfurt Zentralbibliothek Lesesaal

Ähnliche Einträge