Verfügbarkeit: Logik für Informatiker | Technische Universität München

Logik für Informatiker: eine Einführung

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Heinemann, Bernhard (VerfasserIn), Weihrauch, Klaus (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	Stuttgart Teubner 1992
Ausgabe:	2., durchges. Aufl.
Schriftenreihe:	Leitfäden und Monographien der Informatik
Schlagwörter:	Logic, Symbolic and mathematical Informatik Mathematische Logik Einführung
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003489312&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	VIII, 240 S.
ISBN:	3519122480

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV005568441
003	DE-604
005	20020627
007	t\|
008	920803s1992 gw \|\|\|\| 00\|\|\| ger d
020			\|a 3519122480 \|9 3-519-12248-0
035			\|a (OCoLC)34312098
035			\|a (DE-599)BVBBV005568441
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c XA-DE-BW
049			\|a DE-91 \|a DE-91G \|a DE-861 \|a DE-355 \|a DE-20 \|a DE-739 \|a DE-706 \|a DE-521 \|a DE-523 \|a DE-634 \|a DE-83 \|a DE-29T \|a DE-11 \|a DE-525 \|a DE-188
050		0	\|a QA9
084			\|a CC 2400 \|0 (DE-625)17608: \|2 rvk
084			\|a QH 120 \|0 (DE-625)141532: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a 27 \|2 sdnb
084			\|a DAT 540f \|2 stub
084			\|a MAT 030f \|2 stub
084			\|a 28 \|2 sdnb
100	1		\|a Heinemann, Bernhard \|e Verfasser \|4 aut
245	1	0	\|a Logik für Informatiker \|b eine Einführung \|c von Bernhard Heinemann und Klaus Weihrauch
250			\|a 2., durchges. Aufl.
264		1	\|a Stuttgart \|b Teubner \|c 1992
300			\|a VIII, 240 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Leitfäden und Monographien der Informatik
650		4	\|a Logic, Symbolic and mathematical
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0	1	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0		\|5 DE-604
700	1		\|a Weihrauch, Klaus \|e Verfasser \|4 aut
856	4	2	\|m GBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003489312&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-003489312

Datensatz im Suchindex

DE-BY-TUM_call_number	0002 DAT 540f 92 A 3812 0102 MAT 030 2001 A 17686(2)
DE-BY-TUM_katkey	564045
DE-BY-TUM_location	00 01
DE-BY-TUM_media_number	040000974583 040020362096
_version_	1821937720864276482
adam_text	LOGIK FUER INFORMATIKER EINE EINFUEHRUNG VON DR. RER. NAT. BERNHARD HEINEMANN UND PROF. DR. RER. NAT. KLAUS WEIHRAUCH FERNUNIVERSITAET HAGEN 2., DURCHGESEHENE AUFLAGE B. G.TEUBNER STUTTGART 1992 INHALTSVERZEICHNIS 1 EINFUEHRUNG UND MATHEMATISCHE GRUNDLAGEN 1 1.1 EINFUEHRUNG IN DIE FRAGESTELLUNG 2 1.2 ALLGEMEINE MATHEMATISCHE GRUNDBEGRIFFE 5 1.3 BERECHENBARKEIT 7 1.4 ERZEUGUNGSSYSTEME, TERMMENGEN 8 2 AUSSAGENLOGIK 22 2.1 AUSSAGENLOGISCHE FORMELN, DIE SYNTAX 22 2.2 INTERPRETATIONEN UND BELEGUNGEN 25 2.3 TAUTOLOGIEN UND LOGISCHE AEQUIVALENZ 28 2.4 AUSDRUCKSSTAERKE, NORMALFORMEN, KOMPAKTHEITSSATZ 38 3 PRAEDIKATENLOGIK 46 3.1 EINLEITUNG 46 3.2 SYNTAX DER PRAEDIKATENLOGIK 49 3.3 SEMANTIK UND LOGISCHE GRUNDBEGRIFFE 63 3.4 FORMALISIERUNG DES LOGISCHEN SCHLIESSENS 82 3.5 NORMALFORMEN PRAEDIKATENLOGISCHER FORMELN 95 3.6 HERBRAND-STRUKTUREN, KOMPAKTHEIT UND REKURSIVE AUFZAEHLBARKEIT DER LOGISCHEN KONSEQUENZ 103 3.7 DIE UNENTSCHEIDBARKEIT DER PRAEDIKATENLOGIK 114 3.8 PRAEDIKATENLOGIK MIT GLEICHHEIT 121 3.9 THEORIEN 131 3.10 AUSDRUCKSSTAERKE DER PRAEDIKATENLOGIK 1. STUFE 142 4 GRUNDLAGEN DER LOGISCHEN PROGRAMMIERUNG 158 4.1 LOGIK-PROGRAMME 158 4.2 UNIFIKATION 168 4.3 BERECHNUNGEN VON LOGIK-^PROGRAMMEN 173 4.4 KORREKTHEIT UND VOLLSTAENDIGKEIT DES RESOLUTIONSVERFAHRENS 181 VIII 5 MODALE AUSSAGENLOGIK 190 5.1 EINFUEHRUNG IN DIE MODALLOGIK 190 5.2 ENTSCHEIDBARKEIT 206 5.3 VON DER MODALLOGIK ZUR TEMPORAEREN LOGIK 212 UEBUNGSAUFGABEN 220 LITERATURVERZEICHNIS 230 DAS GRIECHISCHE ALPHABET 234 VERZEICHNIS DER VERWENDETEN SYMBOLE 234 STICHWORT- UND NAMENSVERZEICHNIS 237
any_adam_object	1
author	Heinemann, Bernhard Weihrauch, Klaus
author_facet	Heinemann, Bernhard Weihrauch, Klaus
author_role	aut aut
author_sort	Heinemann, Bernhard
author_variant	b h bh k w kw
building	Verbundindex
bvnumber	BV005568441
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 QH 120 SK 130 ST 120 ST 130
classification_tum	DAT 540f MAT 030f
ctrlnum	(OCoLC)34312098 (DE-599)BVBBV005568441
discipline	Informatik Mathematik Philosophie Wirtschaftswissenschaften
edition	2., durchges. Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02070nam a2200529 c 4500</leader><controlfield tag="001">BV005568441</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020627 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">920803s1992 gw \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519122480</subfield><subfield code="9">3-519-12248-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34312098</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005568441</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">XA-DE-BW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-525</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">QH 120</subfield><subfield code="0">(DE-625)141532:</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">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Heinemann, Bernhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik für Informatiker</subfield><subfield code="b">eine Einführung</subfield><subfield code="c">von Bernhard Heinemann und Klaus Weihrauch</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., durchges. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">Teubner</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 240 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">Leitfäden und Monographien der Informatik</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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</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="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">Weihrauch, Klaus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=003489312&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003489312</subfield></datafield></record></collection>
genre	1\p (DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV005568441
illustrated	Not Illustrated
indexdate	2024-12-20T08:35:28Z
institution	BVB
isbn	3519122480
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-003489312
oclc_num	34312098
open_access_boolean
owner	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-861 DE-355 DE-BY-UBR DE-20 DE-739 DE-706 DE-521 DE-523 DE-634 DE-83 DE-29T DE-11 DE-525 DE-188
owner_facet	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-861 DE-355 DE-BY-UBR DE-20 DE-739 DE-706 DE-521 DE-523 DE-634 DE-83 DE-29T DE-11 DE-525 DE-188
physical	VIII, 240 S.
publishDate	1992
publishDateSearch	1992
publishDateSort	1992
publisher	Teubner
record_format	marc
series2	Leitfäden und Monographien der Informatik
spellingShingle	Heinemann, Bernhard Weihrauch, Klaus Logik für Informatiker eine Einführung Logic, Symbolic and mathematical Informatik (DE-588)4026894-9 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4026894-9 (DE-588)4037951-6 (DE-588)4151278-9
title	Logik für Informatiker eine Einführung
title_auth	Logik für Informatiker eine Einführung
title_exact_search	Logik für Informatiker eine Einführung
title_full	Logik für Informatiker eine Einführung von Bernhard Heinemann und Klaus Weihrauch
title_fullStr	Logik für Informatiker eine Einführung von Bernhard Heinemann und Klaus Weihrauch
title_full_unstemmed	Logik für Informatiker eine Einführung von Bernhard Heinemann und Klaus Weihrauch
title_short	Logik für Informatiker
title_sort	logik fur informatiker eine einfuhrung
title_sub	eine Einführung
topic	Logic, Symbolic and mathematical Informatik (DE-588)4026894-9 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Logic, Symbolic and mathematical Informatik Mathematische Logik Einführung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003489312&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT heinemannbernhard logikfurinformatikereineeinfuhrung AT weihrauchklaus logikfurinformatikereineeinfuhrung

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Stammgelände

Bestandsangaben von Teilbibliothek Stammgelände
Signatur:	0002 DAT 540f 92 A 3812 Lageplan
Exemplar 1	Ausleihbar Am Standort

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 MAT 030 2001 A 17686(2) Lageplan
Exemplar 1	Ausleihbar Am Standort