Verfügbarkeit: Logische Grundlagen der Informatik | Technische Universität München

Logische Grundlagen der Informatik:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Kreowski, Hans-Jörg (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	München [u.a.] Oldenbourg 1991
Schriftenreihe:	Handbuch der Informatik 1,1
Schlagwörter:	Information theory Logic, Symbolic and mathematical Prädikatenlogik Informatik Theoretische Informatik Logik Mathematische Logik Datenverarbeitung
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002763206&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	165 S. graph. Darst.
ISBN:	3486207733

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV004456589
003	DE-604
005	20120822
007	t\|
008	910709s1991 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
016	7		\|a 910929866 \|2 DE-101
020			\|a 3486207733 \|9 3-486-20773-3
035			\|a (OCoLC)36270551
035			\|a (DE-599)BVBBV004456589
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-91G \|a DE-12 \|a DE-19 \|a DE-384 \|a DE-Di1 \|a DE-473 \|a DE-703 \|a DE-739 \|a DE-20 \|a DE-29 \|a DE-210 \|a DE-127 \|a DE-706 \|a DE-521 \|a DE-522 \|a DE-523 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-525 \|a DE-188
050		0	\|a Q360
084			\|a QH 500 \|0 (DE-625)141607: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 110 \|0 (DE-625)143583: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 125 \|0 (DE-625)143586: \|2 rvk
084			\|a 27 \|2 sdnb
084			\|a 28 \|2 sdnb
084			\|a DAT 540f \|2 stub
100	1		\|a Kreowski, Hans-Jörg \|e Verfasser \|4 aut
245	1	0	\|a Logische Grundlagen der Informatik \|c von Hans-Jörg Kreowski
264		1	\|a München [u.a.] \|b Oldenbourg \|c 1991
300			\|a 165 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Handbuch der Informatik \|v 1,1
650		4	\|a Information theory
650		4	\|a Logic, Symbolic and mathematical
650	0	7	\|a Prädikatenlogik \|0 (DE-588)4046974-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|2 gnd \|9 rswk-swf
689	0	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0	1	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	1	1	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	1		\|5 DE-604
689	2	0	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|D s
689	2	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	2		\|5 DE-604
689	3	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	3	1	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	3		\|5 DE-604
689	4	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	4	1	\|a Prädikatenlogik \|0 (DE-588)4046974-8 \|D s
689	4		\|5 DE-604
689	5	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	5		\|5 DE-604
830		0	\|a Handbuch der Informatik \|v 1,1 \|w (DE-604)BV000746422 \|9 1,1
856	4	2	\|m HEBIS Datenaustausch Mainz \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002763206&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-002763206

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 540f 2001 A 21377
DE-BY-TUM_katkey	527935
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010410163
_version_	1821938055184908290
adam_text	LOGISCHE GRUNDLAGEN DER INFORMATIK VON PROF. DR.-ING. HANS-JOERG KREOWSKI UNIVERSITAET BREMEN R. OLDENBOURG VERLAG MUENCHEN WIEN 1991 INHALT VORWORT DER HERAUSGEBER 7 VORWORT DES AUTORS 9 1. LOGIK IN DER INFORMATIK 11 1.1 DIE IDEE DES DATENTYPS 12 1.2 DIE IDEE DER KORREKTHEIT 13 1.3 FAST EINE FALLSTUDIE 15 1.4 VORSCHAU 18 2. BEISPIELE LOGISCHER BESCHREIBUNGEN 21 2.1 NATUERLICHE UND GANZE ZAHLEN . 21 2.2 ZEICHENKETTEN 24 2.3 BINAERE BAEUME 27 3. SIGNATUREN UND STRUKTUREN 33 3.1 SIGNATUREN 33 3.2 STRUKTUREN 38 3.3 LOGIK MIT GLEICHHEIT 42 4. TERME, FORMELN UND IHRE AUSWERTUNG 45 4.1 TERME UND FORMELN 46 4.2 STRUKTURELLE INDUKTION 51 4.3 AUSWERTUNG VON TERMEN 54 4.4 AUSWERTUNG VON FORMELN 56 4.5 HERBRAND-STRUKTUREN 59 5. SPEZIFIKATIONEN UND MODELLE 65 5.1 ERFUELLBARKEIT UND GUELTIGKEIT 65 5.2 LOGISCHE SPEZIFIKATIONEN 67 5.3 MODELLE 72 5.4 ERSTE BEOBACHTUNGEN BEIM SPEZIFIZIEREN 73 5.5 HERBRAND-MODELLE 77 6. SPEZIELLE SITUATIONEN 79 6.1 AUSSAGENLOGIK 79 6.2 BOOLESCHE ALGEBRA 85 6.3 EINSORTIGE LOGIK 88 6.4 BESONDERE UND VEREINFACHTE FORMELN 90 6.5 LEERE DATENBEREICHE 95 INHALT 7. FOLGERN 97 7.1 THEOREM UND FOLGERUNG 98 7.2 BEISPIELE UND GEGENBEISPIELE FUER FOLGERUNGEN 100 7.3 ERWUENSCHT: THEOREMBEWEISER 103 7.4 ERWUENSCHT: INTERPRETER 104 7.5 UNENTSCHEIDBARKEIT 107 8. ABLEITEN 111 8.1 SUBSTITUTIONSREGEL 112 8.2 MODUS PONENS UND SCHNITTREGEL 114 8.3 GLEICHUNGSREGELN 116 8.4 JUNKTOREN- UND QUANTORENREGELN 119 8.5 ABLEITUNGSKALKUEL 121 9. ANWENDUNGEN IN SKIZZEN 127 9.1 ANFOERDERUNGSDEFINITION .127 9.2 ENTWURFSSPEZIFIKATIONEN 131 9.3 VERIFIKATION DER KORREKTHEIT 135 9.4 LOGISCHE PROGRAMMIERUNG 137 9.5 KUENSTLICHE INTELLIGENZ 140 10. AUSBLICK 143 10.1 PRAEDIKATENLOGIK ZWEITER STUFE 143 10.2 LOGIK MIT ZEITLICHEN ANFORDERUNGEN 144 10.3 STRUKTURIERTE SPEZIFIKATIONEN 145 10.4 UNVOLLSTAENDIGKEIT UND UNGENAUIGKEIT 146 10.5 ALLGEMEINER RAHMEN FUER LOGISCHE KALKUELE 148 ANHANG . 151 1. LITERATUREMPFEHLUNGEN 153 2. LITERATURVERZEICHNIS 157 3. REGISTER 163
any_adam_object	1
author	Kreowski, Hans-Jörg
author_facet	Kreowski, Hans-Jörg
author_role	aut
author_sort	Kreowski, Hans-Jörg
author_variant	h j k hjk
building	Verbundindex
bvnumber	BV004456589
callnumber-first	Q - Science
callnumber-label	Q360
callnumber-raw	Q360
callnumber-search	Q360
callnumber-sort	Q 3360
callnumber-subject	Q - General Science
classification_rvk	QH 500 SK 130 ST 110 ST 120 ST 125
classification_tum	DAT 540f
ctrlnum	(OCoLC)36270551 (DE-599)BVBBV004456589
discipline	Informatik Mathematik Wirtschaftswissenschaften
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02803nam a2200721 cb4500</leader><controlfield tag="001">BV004456589</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120822 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">910709s1991 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">910929866</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3486207733</subfield><subfield code="9">3-486-20773-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36270551</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004456589</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-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Di1</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-127</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</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">Q360</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</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 110</subfield><subfield code="0">(DE-625)143583:</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 125</subfield><subfield code="0">(DE-625)143586:</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">28</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="100" ind1="1" ind2=" "><subfield code="a">Kreowski, Hans-Jörg</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logische Grundlagen der Informatik</subfield><subfield code="c">von Hans-Jörg Kreowski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München [u.a.]</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">165 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="490" ind1="1" ind2=" "><subfield code="a">Handbuch der Informatik</subfield><subfield code="v">1,1</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</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">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</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="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="689" ind1="1" 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="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2="1"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Handbuch der Informatik</subfield><subfield code="v">1,1</subfield><subfield code="w">(DE-604)BV000746422</subfield><subfield code="9">1,1</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Mainz</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=002763206&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-002763206</subfield></datafield></record></collection>
id	DE-604.BV004456589
illustrated	Illustrated
indexdate	2024-12-20T08:18:30Z
institution	BVB
isbn	3486207733
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-002763206
oclc_num	36270551
open_access_boolean
owner	DE-91G DE-BY-TUM DE-12 DE-19 DE-BY-UBM DE-384 DE-Di1 DE-473 DE-BY-UBG DE-703 DE-739 DE-20 DE-29 DE-210 DE-127 DE-706 DE-521 DE-522 DE-523 DE-634 DE-83 DE-11 DE-525 DE-188
owner_facet	DE-91G DE-BY-TUM DE-12 DE-19 DE-BY-UBM DE-384 DE-Di1 DE-473 DE-BY-UBG DE-703 DE-739 DE-20 DE-29 DE-210 DE-127 DE-706 DE-521 DE-522 DE-523 DE-634 DE-83 DE-11 DE-525 DE-188
physical	165 S. graph. Darst.
publishDate	1991
publishDateSearch	1991
publishDateSort	1991
publisher	Oldenbourg
record_format	marc
series	Handbuch der Informatik
series2	Handbuch der Informatik
spellingShingle	Kreowski, Hans-Jörg Logische Grundlagen der Informatik Handbuch der Informatik Information theory Logic, Symbolic and mathematical Prädikatenlogik (DE-588)4046974-8 gnd Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Datenverarbeitung (DE-588)4011152-0 gnd
subject_GND	(DE-588)4046974-8 (DE-588)4026894-9 (DE-588)4196735-5 (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4011152-0
title	Logische Grundlagen der Informatik
title_auth	Logische Grundlagen der Informatik
title_exact_search	Logische Grundlagen der Informatik
title_full	Logische Grundlagen der Informatik von Hans-Jörg Kreowski
title_fullStr	Logische Grundlagen der Informatik von Hans-Jörg Kreowski
title_full_unstemmed	Logische Grundlagen der Informatik von Hans-Jörg Kreowski
title_short	Logische Grundlagen der Informatik
title_sort	logische grundlagen der informatik
topic	Information theory Logic, Symbolic and mathematical Prädikatenlogik (DE-588)4046974-8 gnd Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Datenverarbeitung (DE-588)4011152-0 gnd
topic_facet	Information theory Logic, Symbolic and mathematical Prädikatenlogik Informatik Theoretische Informatik Logik Mathematische Logik Datenverarbeitung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002763206&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000746422
work_keys_str_mv	AT kreowskihansjorg logischegrundlagenderinformatik

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 540f 2001 A 21377 Lageplan
Exemplar 1	Ausleihbar Am Standort