Verfügbarkeit: Theoretische Grundlagen der Informatik

Theoretische Grundlagen der Informatik: mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Socher, Rolf (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	München Hanser 2008
Ausgabe:	3., aktualisierte und erw. Aufl.
Schriftenreihe:	Lehrbücher zur Informatik
Schlagworte:	Theoretische Informatik Lernsoftware CD-ROM Lehrbuch
Online-Zugang:	Beschreibung für Leser Inhaltsverzeichnis
Beschreibung:	227 S. graph. Darst.
ISBN:	9783446412606 3446412603

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV023010949
003	DE-604
005	20150916
007	t
008	071120s2008 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
016	7		\|a 986336777 \|2 DE-101
020			\|a 9783446412606 \|9 978-3-446-41260-6
020			\|a 3446412603 \|9 3-446-41260-3
035			\|a (OCoLC)645568406
035			\|a (DE-599)BVBBV023010949
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-12 \|a DE-91G \|a DE-210 \|a DE-29T \|a DE-473 \|a DE-Aug4 \|a DE-92 \|a DE-861 \|a DE-824 \|a DE-945 \|a DE-858 \|a DE-522 \|a DE-634 \|a DE-859 \|a DE-703 \|a DE-20 \|a DE-M347 \|a DE-523 \|a DE-860 \|a DE-355 \|a DE-1050
082	0		\|a 004.0151 \|2 22/ger
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a 004 \|2 sdnb
084			\|a 510 \|2 sdnb
084			\|a DAT 500f \|2 stub
100	1		\|a Socher, Rolf \|e Verfasser \|0 (DE-588)128378549 \|4 aut
245	1	0	\|a Theoretische Grundlagen der Informatik \|b mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen \|c Rolf Socher
250			\|a 3., aktualisierte und erw. Aufl.
264		1	\|a München \|b Hanser \|c 2008
300			\|a 227 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Lehrbücher zur Informatik
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Lernsoftware \|0 (DE-588)4126464-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a CD-ROM \|0 (DE-588)4139307-7 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0	1	\|a Lernsoftware \|0 (DE-588)4126464-2 \|D s
689	0	2	\|a CD-ROM \|0 (DE-588)4139307-7 \|D s
689	0		\|8 1\p \|5 DE-604
856	4	2	\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3023580&prov=M&dok_var=1&dok_ext=htm \|3 Beschreibung für Leser
856	4	2	\|m SWBplus Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016215167&sequence=000003&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-016215167

Datensatz im Suchindex

_version_	1808678648784355328
adam_text	EINLEITUNG . 9 ENDLICHE AUTOMATEN . I5 EINFUEHRUNG . . 15 GRUNDLEGENDE BEGRIFFE . 16 DETERMINISTISCHE ENDLICHE AUTOMATEN . 18 MINIMIERUNG ENDLICHER AUTOMATEN . 23 NICHTDETERMINISTISCHE ENDLICHE AUTOMATEN . 29 AUTOMATEN MIT E-UBERGAENGEN . 35 ANWENDUNG ENDLICHER AUTOMATEN . 39 REGULAERE SPRACHEN . 45 REGULAERE AUSDRUECKE . 4 5 DAS PUMPING-LEMMA . . 52 DER SATZ VON MYHILL-NERODE . 55 ABGESCHLOSSENHEITSEIGENSCHAFTEN REGULAERER SPRACHEN . 59 GRAMMATIKEN . 65 GRUNDLEGENDE DEFINITIONEN . 66 REGULAERE GRAMMATIKEN . . 68 KONTEXTFREIE GRAMMATIKEN . 74 DIE CHOMSKY-NORMALFORM UND DER CYK-ALGORITHMUS . 75 EIGENSCHAFTEN KONTEXTFREIER SPRACHEN . 82 KELLERAUTOMATEN . 85 KONTEXTFREIE GRAMMATIKEN UND KELLERAUTOMATEN . 9 3 TYP-1- UND TYP-0-GRAMMATIKEN . 96 DIE CHOMSKY-HIERARCHIE . . 97 TURING-MASCHINEN UND BERECHENBARKEIT . 101 EINFUEHRUNG . 101 DAS BASISMODELL . . 103 MODIFIKATIONEN DES BASISMODELLS . 108 LINEAR BESCHRAENKTE AUTOMATEN UND TYP-1-GRAMMATIKEN . 113 DIE SPRACHKLASSEN DER CHOMSKY-HIERARCHIE . 114 TURING-BERECHENBARKEIT . I16 ANDERE BERECHNUNGSKONZEPTE . 119 DIE UNIVERSELLE TURING-MASCHINE . 128 INHALT 5.9 DIE CHURCHSCHE THESE . 131 6 ENTSCHEIDBARKEIT . 135 6.1 ENTSCHEIDBARKEIT UND SEMI-ENTSCHEIDBARKEIT . 135 6.2 UNENTSCHEIDBARE PROBLEME . 140 6.3 DAS HALTEPROBLERN . 144 6.4 REDUKTIONSTECHNIKEN . . 148 6.5 DER SATZ VON RICE . . 157 7 KOMPLEXITAET . 159 7.1 EINFUEHRUNG . . 159 7.2 KOMPLEXITAET VON ALGORITHMEN . 161 7.3 DIE KLASSEN P UND NP . 168 . 7.4 NP-VOLLSTAENDIGKEIT 178 8 ANHANG: MATHEMATISCHE GRUNDLAGEN . 187 8.1 MENGEN 187 . . 8.2 PARTITIONEN . 189 8.3 RELATIONEN . 189 8.4 GRAPHEN . . 194 8.5 AUS~AGENLOIK . . 195 LIIISUNGEN DER AUFGABEN . 201 LITERATUR . 223 REGISTER . 225
adam_txt	EINLEITUNG . 9 ENDLICHE AUTOMATEN . I5 EINFUEHRUNG . . 15 GRUNDLEGENDE BEGRIFFE . 16 DETERMINISTISCHE ENDLICHE AUTOMATEN . 18 MINIMIERUNG ENDLICHER AUTOMATEN . 23 NICHTDETERMINISTISCHE ENDLICHE AUTOMATEN . 29 AUTOMATEN MIT E-UBERGAENGEN . 35 ANWENDUNG ENDLICHER AUTOMATEN . 39 REGULAERE SPRACHEN . 45 REGULAERE AUSDRUECKE . 4 5 DAS PUMPING-LEMMA . . 52 DER SATZ VON MYHILL-NERODE . 55 ABGESCHLOSSENHEITSEIGENSCHAFTEN REGULAERER SPRACHEN . 59 GRAMMATIKEN . 65 GRUNDLEGENDE DEFINITIONEN . 66 REGULAERE GRAMMATIKEN . . 68 KONTEXTFREIE GRAMMATIKEN . 74 DIE CHOMSKY-NORMALFORM UND DER CYK-ALGORITHMUS . 75 EIGENSCHAFTEN KONTEXTFREIER SPRACHEN . 82 KELLERAUTOMATEN . 85 KONTEXTFREIE GRAMMATIKEN UND KELLERAUTOMATEN . 9 3 TYP-1- UND TYP-0-GRAMMATIKEN . 96 DIE CHOMSKY-HIERARCHIE . . 97 TURING-MASCHINEN UND BERECHENBARKEIT . 101 EINFUEHRUNG . 101 DAS BASISMODELL . . 103 MODIFIKATIONEN DES BASISMODELLS . 108 LINEAR BESCHRAENKTE AUTOMATEN UND TYP-1-GRAMMATIKEN . 113 DIE SPRACHKLASSEN DER CHOMSKY-HIERARCHIE . 114 TURING-BERECHENBARKEIT . I16 ANDERE BERECHNUNGSKONZEPTE . 119 DIE UNIVERSELLE TURING-MASCHINE . 128 INHALT 5.9 DIE CHURCHSCHE THESE . 131 6 ENTSCHEIDBARKEIT . 135 6.1 ENTSCHEIDBARKEIT UND SEMI-ENTSCHEIDBARKEIT . 135 6.2 UNENTSCHEIDBARE PROBLEME . 140 6.3 DAS HALTEPROBLERN . 144 6.4 REDUKTIONSTECHNIKEN . . 148 6.5 DER SATZ VON RICE . . 157 7 KOMPLEXITAET . 159 7.1 EINFUEHRUNG . . 159 7.2 KOMPLEXITAET VON ALGORITHMEN . 161 7.3 DIE KLASSEN P UND NP . 168 . 7.4 NP-VOLLSTAENDIGKEIT 178 8 ANHANG: MATHEMATISCHE GRUNDLAGEN . 187 8.1 MENGEN 187 . . 8.2 PARTITIONEN . 189 8.3 RELATIONEN . 189 8.4 GRAPHEN . . 194 8.5 AUS~AGENLOIK . . 195 LIIISUNGEN DER AUFGABEN . 201 LITERATUR . 223 REGISTER . 225
any_adam_object	1
any_adam_object_boolean	1
author	Socher, Rolf
author_GND	(DE-588)128378549
author_facet	Socher, Rolf
author_role	aut
author_sort	Socher, Rolf
author_variant	r s rs
building	Verbundindex
bvnumber	BV023010949
classification_rvk	ST 120 ST 130
classification_tum	DAT 500f
ctrlnum	(OCoLC)645568406 (DE-599)BVBBV023010949
dewey-full	004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151
dewey-search	004.0151
dewey-sort	14.0151
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
discipline_str_mv	Informatik Mathematik
edition	3., aktualisierte und erw. Aufl.
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">BV023010949</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150916</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">071120s2008 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">986336777</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783446412606</subfield><subfield code="9">978-3-446-41260-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3446412603</subfield><subfield code="9">3-446-41260-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)645568406</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023010949</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-945</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-1050</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22/ger</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">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="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Socher, Rolf</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128378549</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Grundlagen der Informatik</subfield><subfield code="b">mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen</subfield><subfield code="c">Rolf Socher</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3., aktualisierte und erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Hanser</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">227 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="0" ind2=" "><subfield code="a">Lehrbücher zur Informatik</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">Lernsoftware</subfield><subfield code="0">(DE-588)4126464-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Lernsoftware</subfield><subfield code="0">(DE-588)4126464-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</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="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3023580&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Beschreibung für Leser</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWBplus Fremddatenuebernahme</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=016215167&sequence=000003&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-016215167</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV023010949
illustrated	Illustrated
index_date	2024-07-02T19:09:20Z
indexdate	2024-08-29T00:12:53Z
institution	BVB
isbn	9783446412606 3446412603
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016215167
oclc_num	645568406
open_access_boolean
owner	DE-12 DE-91G DE-BY-TUM DE-210 DE-29T DE-473 DE-BY-UBG DE-Aug4 DE-92 DE-861 DE-824 DE-945 DE-858 DE-522 DE-634 DE-859 DE-703 DE-20 DE-M347 DE-523 DE-860 DE-355 DE-BY-UBR DE-1050
owner_facet	DE-12 DE-91G DE-BY-TUM DE-210 DE-29T DE-473 DE-BY-UBG DE-Aug4 DE-92 DE-861 DE-824 DE-945 DE-858 DE-522 DE-634 DE-859 DE-703 DE-20 DE-M347 DE-523 DE-860 DE-355 DE-BY-UBR DE-1050
physical	227 S. graph. Darst.
publishDate	2008
publishDateSearch	2008
publishDateSort	2008
publisher	Hanser
record_format	marc
series2	Lehrbücher zur Informatik
spelling	Socher, Rolf Verfasser (DE-588)128378549 aut Theoretische Grundlagen der Informatik mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen Rolf Socher 3., aktualisierte und erw. Aufl. München Hanser 2008 227 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lehrbücher zur Informatik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Lernsoftware (DE-588)4126464-2 gnd rswk-swf CD-ROM (DE-588)4139307-7 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Theoretische Informatik (DE-588)4196735-5 s Lernsoftware (DE-588)4126464-2 s CD-ROM (DE-588)4139307-7 s 1\p DE-604 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3023580&prov=M&dok_var=1&dok_ext=htm Beschreibung für Leser SWBplus Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016215167&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Socher, Rolf Theoretische Grundlagen der Informatik mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen Theoretische Informatik (DE-588)4196735-5 gnd Lernsoftware (DE-588)4126464-2 gnd CD-ROM (DE-588)4139307-7 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4126464-2 (DE-588)4139307-7 (DE-588)4123623-3
title	Theoretische Grundlagen der Informatik mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen
title_auth	Theoretische Grundlagen der Informatik mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen
title_exact_search	Theoretische Grundlagen der Informatik mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen
title_exact_search_txtP	Theoretische Grundlagen der Informatik mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen
title_full	Theoretische Grundlagen der Informatik mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen Rolf Socher
title_fullStr	Theoretische Grundlagen der Informatik mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen Rolf Socher
title_full_unstemmed	Theoretische Grundlagen der Informatik mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen Rolf Socher
title_short	Theoretische Grundlagen der Informatik
title_sort	theoretische grundlagen der informatik mit 31 tabellen 36 beispielen und 75 aufgaben mit losungen
title_sub	mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen
topic	Theoretische Informatik (DE-588)4196735-5 gnd Lernsoftware (DE-588)4126464-2 gnd CD-ROM (DE-588)4139307-7 gnd
topic_facet	Theoretische Informatik Lernsoftware CD-ROM Lehrbuch
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3023580&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016215167&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT socherrolf theoretischegrundlagenderinformatikmit31tabellen36beispielenund75aufgabenmitlosungen

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge