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

Logik für Informatiker:

Saved in:

Bibliographic Details
Main Author:	Dassow, Jürgen 1947- (Author)
Format:	Book
Language:	German
Published:	Stuttgart [u.a.] Teubner 2005
Edition:	1. Aufl.
Subjects:	Logische Programmierung Mathematische Logik Lehrbuch
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012994125&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	177 S. graph. Darst.
ISBN:	3519005182 9783519005186

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV019665820
003	DE-604
005	20150112
007	t\|
008	050120s2005 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 3519005182 \|9 3-519-00518-2
020			\|a 9783519005186 \|9 978-3-519-00518-6
035			\|a (OCoLC)76635823
035			\|a (DE-599)BVBBV019665820
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-M347 \|a DE-739 \|a DE-1050 \|a DE-1051 \|a DE-20 \|a DE-Di1 \|a DE-859 \|a DE-29T \|a DE-91 \|a DE-19 \|a DE-92 \|a DE-706 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-2070s \|a DE-703
082	0		\|a 004
082	0		\|a 510
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 125 \|0 (DE-625)143586: \|2 rvk
084			\|a DAT 540f \|2 stub
084			\|a MAT 030f \|2 stub
100	1		\|a Dassow, Jürgen \|d 1947- \|e Verfasser \|0 (DE-588)108920895 \|4 aut
245	1	0	\|a Logik für Informatiker \|c Jürgen Dassow
250			\|a 1. Aufl.
264		1	\|a Stuttgart [u.a.] \|b Teubner \|c 2005
300			\|a 177 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650	0	7	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|2 gnd \|9 rswk-swf
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
689	1	0	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	1		\|5 DE-604
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-322-80085-5
856	4	2	\|m HBZ Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012994125&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-012994125

Record in the Search Index

DE-BY-TUM_call_number	0002 DAT 540f 2005 A 8196
DE-BY-TUM_katkey	1523731
DE-BY-TUM_location	00
DE-BY-TUM_media_number	040006092715
_version_	1823173688364630016
adam_text	Titel: Logik für Informatiker Autor: Dassow, Jürgen Jahr: 2005 Inhaltsverzeichnis Aussagenlogik 9 1.1 Aussagenlogische Ausdrücke.......................... 10 1.1.1 Definition und Wertberechnung.................... 10 1.1.2 Semantische Äquivalenz ........................ 19 1.1.3 Normalformen aussagenlogischer Ausdrücke ............. 26 1.2 Entscheidbarkeitsfragen in der Aussagenlogik................. 34 1.2.1 Problemstellung und ein elementarer Algorithmus.......... 34 1.2.2 Resolutionsmethode .......................... 35 1.2.3 NP-Vollständigkeit des Erfüllbarkeitsproblems............ 44 1.2.4 Hornausdrücke ............................. 47 1.2.5 Erfüllbarkeit bei Mengen aussagenlogischer Ausdrücke ....... 50 Übungsaufgaben ................................... 53 Prädikatenlogik 57 2.1 Prädikatenlogische Ausdrücke......................... 58 2.1.1 Definition und Wertberechnung prädikatenlogischer Ausdrücke ... 58 2.1.2 Normalformen prädikatenlogischer Ausdrücke............ 69 2.2 Entscheidbarkeitsfragen in der Prädikatenlogik................ 81 2.2.1 Unentscheidbarkeiten.......................... 81 2.2.2 Herbrand-Universum und ein Semi-Algorithmus........... 84 2.2.3 Bemerkungen zur prädikatenlogischen Resolution.......... 90 2.3 Bemerkungen zur Logischen Programmierung ................ 102 2.3.1 Resolutionen als Berechnungen .................... 102 2.3.2 Methoden zur Berechnung von Logik-Programmen.......... 110 Übungsaufgaben ................................... 116 Weitere Logiken 121 3.1 Logiken mit anderen Wertigkeiten....................... 121 3.1.1 Dreiwertige Logik............................ 121 3.1.2 Fuzzy-Logik............................... 123 3.1.3 Konstruktive Logik........................... 124 3.2 Zusätzliche Operatoren............................. 125 3.2.1 Temporale Logik............................ 125 3.2.2 Dynamische Logik ........................... 134 3.2.3 Modale Logik.............................. 138 Übungsaufgaben ................................... 142 8 INHALTSVERZEICHNIS A Grundlagen 145 A.l Mengen, Relationen, Graphen.........................145 A.2 Wörter über einer Menge............................148 A.3 Mathematische Induktion ...........................150 A.4 Berechenbarkeit und NP-Vollständigkeit ...................153 B Lösungen ausgewählter Übungsaufgaben 165 B.l Zu Aufgaben des Kapitels 1..........................165 B.2 Zu Aufgaben des Kapitels 2..........................169 B.3 Zu Aufgaben des Kapitels 3..........................171 Literaturverzeichnis 173 Index 175
any_adam_object	1
author	Dassow, Jürgen 1947-
author_GND	(DE-588)108920895
author_facet	Dassow, Jürgen 1947-
author_role	aut
author_sort	Dassow, Jürgen 1947-
author_variant	j d jd
building	Verbundindex
bvnumber	BV019665820
classification_rvk	SK 130 ST 125
classification_tum	DAT 540f MAT 030f
ctrlnum	(OCoLC)76635823 (DE-599)BVBBV019665820
dewey-full	004 510
dewey-hundreds	000 - Computer science, information, general works 500 - Natural sciences and mathematics
dewey-ones	004 - Computer science 510 - Mathematics
dewey-raw	004 510
dewey-search	004 510
dewey-sort	14
dewey-tens	000 - Computer science, information, general works 510 - Mathematics
discipline	Informatik Mathematik
edition	1. Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01815nam a2200469 c 4500</leader><controlfield tag="001">BV019665820</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150112 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">050120s2005 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519005182</subfield><subfield code="9">3-519-00518-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519005186</subfield><subfield code="9">978-3-519-00518-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76635823</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019665820</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">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-M347</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-Di1</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</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 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</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="100" ind1="1" ind2=" "><subfield code="a">Dassow, Jürgen</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)108920895</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik für Informatiker</subfield><subfield code="c">Jürgen Dassow</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart [u.a.]</subfield><subfield code="b">Teubner</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">177 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="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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="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="689" ind1="1" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-322-80085-5</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=012994125&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-012994125</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV019665820
illustrated	Illustrated
indexdate	2024-12-20T12:03:01Z
institution	BVB
isbn	3519005182 9783519005186
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-012994125
oclc_num	76635823
open_access_boolean
owner	DE-M347 DE-739 DE-1050 DE-1051 DE-20 DE-Di1 DE-859 DE-29T DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-92 DE-706 DE-634 DE-83 DE-11 DE-2070s DE-703
owner_facet	DE-M347 DE-739 DE-1050 DE-1051 DE-20 DE-Di1 DE-859 DE-29T DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-92 DE-706 DE-634 DE-83 DE-11 DE-2070s DE-703
physical	177 S. graph. Darst.
publishDate	2005
publishDateSearch	2005
publishDateSort	2005
publisher	Teubner
record_format	marc
spellingShingle	Dassow, Jürgen 1947- Logik für Informatiker Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4195096-3 (DE-588)4037951-6 (DE-588)4123623-3
title	Logik für Informatiker
title_auth	Logik für Informatiker
title_exact_search	Logik für Informatiker
title_full	Logik für Informatiker Jürgen Dassow
title_fullStr	Logik für Informatiker Jürgen Dassow
title_full_unstemmed	Logik für Informatiker Jürgen Dassow
title_short	Logik für Informatiker
title_sort	logik fur informatiker
topic	Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Logische Programmierung Mathematische Logik Lehrbuch
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012994125&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT dassowjurgen logikfurinformatiker

Availability

Order (Login required)

Table of Contents
Order paper/chapter scan

Branch Library Main Campus

Holdings details from Teilbibliothek Stammgelände
Call Number:	0002 DAT 540f 2005 A 8196 Floor plan
Copy 1	Available for loan Ausgeliehen – Due: 25.06.2025