Holdings: Mathematisch-logische Grundlagen der Informatik

Mathematisch-logische Grundlagen der Informatik:

Saved in:

Bibliographic Details
Main Authors:	Klüver, Jürgen 1941- (Author), Schmidt, Jörn (Author), Stoica, Christina (Author)
Format:	Book
Language:	German
Published:	Herdecke [u.a.] W3L-Verl. 2006
Series:	Mathematik lernen
Subjects:	Graphentheorie Mathematische Logik Algebraische Struktur Mengenlehre Lehrbuch
Online Access:	Inhaltstext Ausführliche Beschreibung Inhaltsverzeichnis
Physical Description:	VIII, 336 S. Ill., graph. Darst.
ISBN:	9783937137131 3937137130

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV021756328
003	DE-604
005	20130225
007	t
008	061006s2006 gw ad\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 06,A39,0770 \|2 dnb
016	7		\|a 980644011 \|2 DE-101
020			\|a 9783937137131 \|c kart. : EUR 19.90 \|9 978-3-937137-13-1
020			\|a 3937137130 \|c kart. : EUR 19.90 \|9 3-937137-13-0
024	3		\|a 9783937137131
028	5	2	\|a 12500013
035			\|a (OCoLC)179987210
035			\|a (DE-599)BVBBV021756328
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c XA-DE-NW
049			\|a DE-20 \|a DE-1102 \|a DE-1051 \|a DE-703 \|a DE-859 \|a DE-824 \|a DE-863 \|a DE-634 \|a DE-M347 \|a DE-862
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a 004 \|2 sdnb
084			\|a 510 \|2 sdnb
100	1		\|a Klüver, Jürgen \|d 1941- \|e Verfasser \|0 (DE-588)107521202 \|4 aut
245	1	0	\|a Mathematisch-logische Grundlagen der Informatik \|c Jürgen Klüver ; Jörn Schmidt ; Christina Stoica
264		1	\|a Herdecke [u.a.] \|b W3L-Verl. \|c 2006
300			\|a VIII, 336 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Mathematik lernen
650	0	7	\|a Graphentheorie \|0 (DE-588)4113782-6 \|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 Algebraische Struktur \|0 (DE-588)4001166-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mengenlehre \|0 (DE-588)4074715-3 \|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	1	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	0	2	\|a Graphentheorie \|0 (DE-588)4113782-6 \|D s
689	0	3	\|a Algebraische Struktur \|0 (DE-588)4001166-5 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	1		\|5 DE-604
689	2	0	\|a Graphentheorie \|0 (DE-588)4113782-6 \|D s
689	2		\|5 DE-604
689	3	0	\|a Algebraische Struktur \|0 (DE-588)4001166-5 \|D s
689	3		\|5 DE-604
700	1		\|a Schmidt, Jörn \|e Verfasser \|4 aut
700	1		\|a Stoica, Christina \|e Verfasser \|4 aut
856	4	2	\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=2839263&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|q text/html \|u http://www.w3l.de/w3l/jsp/shop/produktdetails.jsp?ID=002472 \|3 Ausführliche Beschreibung
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=014969487&sequence=000002&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-014969487

Record in the Search Index

DE-BY-862_location	2801
DE-BY-863_location	1000
DE-BY-FWS_call_number	2801/2013:0094 1000/SK 130 K66
DE-BY-FWS_katkey	310339
DE-BY-FWS_media_number	083100930697 083100930711
_version_	1824556326888407040
adam_text	Inhaltsverzeichnis 1 Einleitung9 1 2 Mathematische Logik * 9 2.1 Junktoren und Boolesche Funktionen * 12 2.2 Die Algebra der Junktoren * 23 2.3 Prädikatenlogik * 27 2.4 Vollständigkeit, Konsistenz Entscheidbarkeit ** 37 3 Boolesche Netze und Expertensysteme * 43 3.1 Boolesche Netze 44 3.2 Expertensysteme 52 4 Modallogik ** 59 5 Beweisverfahren * 67 6 Mengenlehre * 83 6.1 Grundbegriffe der Mengenlehre * 84 6.2 Mengenalgebra * 93 6.3 Kombinatorik * 100 6.4 Ausflug in die Unendlichkeit ** 105 7 Relationen und Funktionen * 113 7.1 Relationen* 114 7.2 Relationen ordnen Mengen * 120 7.3 Abbildungen und Funktionen * 129 7.4 Komposition von Abbildungen * 138 8 Einführung in die Graphentheorie * 143 8.1 Von Kohlenwasserstoffen zu Strukturen * 145 8.2 Was sind Graphen? * 147 8.3 Kreise, Sterne und andere Figuren * 153 8.4 Nachdenken über Einbahnstrassen * 155 8.5 Von Bildern zu Zahlen * 162 8.6 Wege durch das Labyrinth * 167 8.7 Bilderrätsel 2.03 * 174 8.8 Von Beziehungen und Flüssen * 179 8.9 Bewegung ins System ! ** 185 8.10 Was soll das Ganze? * 188 9 Topologische Zwischenbetrachtung ** 191 10 Algebraische Strukturen * 207 10.1 Gruppen und Halbgruppen * 208 10.2 Untergruppen* 216 10.3 Strukturen bei zwei Operationen * 222 10.4 Verbände 229 10.5 Morphismen 237 11 Rekursivität * 247 11.1 Generierungen aus dem Anfang * 248 11.2 Rekursive Mengen ** 256 11.3 Automaten erkennen Sprachen * 263 11.4 Der Weg aus den endlosen Schleifen * 269 11.5 Schritt für Schritt * 273 12 Fuzzy Mengen und Fuzzy Logik * 279 12.1 Die Welt ist unscharf * 280 12.2 Umgehen mit Unscharfe 285 12.3 Unscharfe Logik 292 13 Komplexität * 299 13.1 Die Berechenbarkeit der Welt * 300 13.2 Dynamische Systeme ** 307 Literatur 317 A Matrizen * 320 Namens und Organisationsindex 326 Sachindex 327
adam_txt	Inhaltsverzeichnis 1 Einleitung9 1 2 Mathematische Logik * 9 2.1 Junktoren und Boolesche Funktionen * 12 2.2 Die Algebra der Junktoren * 23 2.3 Prädikatenlogik * 27 2.4 Vollständigkeit, Konsistenz Entscheidbarkeit ** 37 3 Boolesche Netze und Expertensysteme * 43 3.1 Boolesche Netze 44 3.2 Expertensysteme 52 4 Modallogik ** 59 5 Beweisverfahren * 67 6 Mengenlehre * 83 6.1 Grundbegriffe der Mengenlehre * 84 6.2 Mengenalgebra * 93 6.3 Kombinatorik * 100 6.4 Ausflug in die Unendlichkeit ** 105 7 Relationen und Funktionen * 113 7.1 Relationen* 114 7.2 Relationen ordnen Mengen * 120 7.3 Abbildungen und Funktionen * 129 7.4 Komposition von Abbildungen * 138 8 Einführung in die Graphentheorie * 143 8.1 Von Kohlenwasserstoffen zu Strukturen * 145 8.2 Was sind Graphen? * 147 8.3 Kreise, Sterne und andere Figuren * 153 8.4 Nachdenken über Einbahnstrassen * 155 8.5 Von Bildern zu Zahlen * 162 8.6 Wege durch das Labyrinth * 167 8.7 Bilderrätsel 2.03 * 174 8.8 Von Beziehungen und Flüssen * 179 8.9 Bewegung ins System ! ** 185 8.10 Was soll das Ganze? * 188 9 Topologische Zwischenbetrachtung ** 191 10 Algebraische Strukturen * 207 10.1 Gruppen und Halbgruppen * 208 10.2 Untergruppen* 216 10.3 Strukturen bei zwei Operationen * 222 10.4 Verbände 229 10.5 Morphismen 237 11 Rekursivität * 247 11.1 Generierungen aus dem Anfang * 248 11.2 Rekursive Mengen ** 256 11.3 Automaten erkennen Sprachen * 263 11.4 Der Weg aus den endlosen Schleifen * 269 11.5 Schritt für Schritt * 273 12 Fuzzy Mengen und Fuzzy Logik * 279 12.1 Die Welt ist unscharf * 280 12.2 Umgehen mit Unscharfe 285 12.3 Unscharfe Logik 292 13 Komplexität * 299 13.1 Die Berechenbarkeit der Welt * 300 13.2 Dynamische Systeme ** 307 Literatur 317 A Matrizen * 320 Namens und Organisationsindex 326 Sachindex 327
any_adam_object	1
any_adam_object_boolean	1
author	Klüver, Jürgen 1941- Schmidt, Jörn Stoica, Christina
author_GND	(DE-588)107521202
author_facet	Klüver, Jürgen 1941- Schmidt, Jörn Stoica, Christina
author_role	aut aut aut
author_sort	Klüver, Jürgen 1941-
author_variant	j k jk j s js c s cs
building	Verbundindex
bvnumber	BV021756328
classification_rvk	SK 130 ST 120
ctrlnum	(OCoLC)179987210 (DE-599)BVBBV021756328
discipline	Informatik Mathematik
discipline_str_mv	Informatik Mathematik
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">BV021756328</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130225</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">061006s2006 gw ad\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,A39,0770</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">980644011</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783937137131</subfield><subfield code="c">kart. : EUR 19.90</subfield><subfield code="9">978-3-937137-13-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3937137130</subfield><subfield code="c">kart. : EUR 19.90</subfield><subfield code="9">3-937137-13-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783937137131</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12500013</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)179987210</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021756328</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-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-862</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">004</subfield><subfield code="2">sdnb</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">Klüver, Jürgen</subfield><subfield code="d">1941-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)107521202</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematisch-logische Grundlagen der Informatik</subfield><subfield code="c">Jürgen Klüver ; Jörn Schmidt ; Christina Stoica</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Herdecke [u.a.]</subfield><subfield code="b">W3L-Verl.</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 336 S.</subfield><subfield code="b">Ill., 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="0" ind2=" "><subfield code="a">Mathematik lernen</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</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">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</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="1"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</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">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</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">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schmidt, Jörn</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stoica, Christina</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2839263&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://www.w3l.de/w3l/jsp/shop/produktdetails.jsp?ID=002472</subfield><subfield code="3">Ausführliche Beschreibung</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=014969487&sequence=000002&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-014969487</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV021756328
illustrated	Illustrated
index_date	2024-07-02T15:33:36Z
indexdate	2025-02-20T07:21:47Z
institution	BVB
isbn	9783937137131 3937137130
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-014969487
oclc_num	179987210
open_access_boolean
owner	DE-20 DE-1102 DE-1051 DE-703 DE-859 DE-824 DE-863 DE-BY-FWS DE-634 DE-M347 DE-862 DE-BY-FWS
owner_facet	DE-20 DE-1102 DE-1051 DE-703 DE-859 DE-824 DE-863 DE-BY-FWS DE-634 DE-M347 DE-862 DE-BY-FWS
physical	VIII, 336 S. Ill., graph. Darst.
publishDate	2006
publishDateSearch	2006
publishDateSort	2006
publisher	W3L-Verl.
record_format	marc
series2	Mathematik lernen
spellingShingle	Klüver, Jürgen 1941- Schmidt, Jörn Stoica, Christina Mathematisch-logische Grundlagen der Informatik Graphentheorie (DE-588)4113782-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Algebraische Struktur (DE-588)4001166-5 gnd Mengenlehre (DE-588)4074715-3 gnd
subject_GND	(DE-588)4113782-6 (DE-588)4037951-6 (DE-588)4001166-5 (DE-588)4074715-3 (DE-588)4123623-3
title	Mathematisch-logische Grundlagen der Informatik
title_auth	Mathematisch-logische Grundlagen der Informatik
title_exact_search	Mathematisch-logische Grundlagen der Informatik
title_exact_search_txtP	Mathematisch-logische Grundlagen der Informatik
title_full	Mathematisch-logische Grundlagen der Informatik Jürgen Klüver ; Jörn Schmidt ; Christina Stoica
title_fullStr	Mathematisch-logische Grundlagen der Informatik Jürgen Klüver ; Jörn Schmidt ; Christina Stoica
title_full_unstemmed	Mathematisch-logische Grundlagen der Informatik Jürgen Klüver ; Jörn Schmidt ; Christina Stoica
title_short	Mathematisch-logische Grundlagen der Informatik
title_sort	mathematisch logische grundlagen der informatik
topic	Graphentheorie (DE-588)4113782-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Algebraische Struktur (DE-588)4001166-5 gnd Mengenlehre (DE-588)4074715-3 gnd
topic_facet	Graphentheorie Mathematische Logik Algebraische Struktur Mengenlehre Lehrbuch
url	http://deposit.dnb.de/cgi-bin/dokserv?id=2839263&prov=M&dok_var=1&dok_ext=htm http://www.w3l.de/w3l/jsp/shop/produktdetails.jsp?ID=002472 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014969487&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT kluverjurgen mathematischlogischegrundlagenderinformatik AT schmidtjorn mathematischlogischegrundlagenderinformatik AT stoicachristina mathematischlogischegrundlagenderinformatik

Holdings

Description

THWS Schweinfurt Magazin

Holdings details from THWS Schweinfurt Magazin
Call Number:	2801 2013:0094
Copy 1	bestellbar aus dem Magazin Available Place a Hold

THWS Würzburg Zentralbibliothek Lesesaal

Holdings details from THWS Würzburg Zentralbibliothek Lesesaal
Call Number:	1000 SK 130 K66
Copy 1	ausleihbar Available Place a Hold

MARC

Record in the Search Index

THWS Schweinfurt Magazin

THWS Würzburg Zentralbibliothek Lesesaal

Similar Items