Verfügbarkeit: Grundkurs theoretische Informatik

Grundkurs theoretische Informatik:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Neubert, Stefan (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Bonn Rheinwerk Computing 2021
Ausgabe:	1. Auflage
Schriftenreihe:	Informatik verstehen
Schlagworte:	Theoretische Informatik Algorithmen Berechenbarkeit Komplexitäts-Theorie Formale Sprachen Kalküle Grundlagen Informatik Studium Buch Bücher Grundkurse Workshops Tutorials Seminare Vorlesung Studium Beruf Training Fach-Informatiker Wissen lernen verstehen begreifen Lehrbuch
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	Auf dem Umschlag: Intuitive Zugänge, praktische Anwendungen, formale Methoden ; Kreativ knobeln, Probleme lösen und Beweise finden ; Ideal zum Selbststudium und als Vorlesungsbegleiter
Beschreibung:	416 Seiten Illustrationen
ISBN:	9783836275880

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV047223131
003	DE-604
005	20220802
007	t
008	210401s2021 gw a\|\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 20,N44 \|2 dnb
016	7		\|a 1220169382 \|2 DE-101
020			\|a 9783836275880 \|9 978-3-8362-7588-0
035			\|a (OCoLC)1245342260
035			\|a (DE-599)DNB1220169382
040			\|a DE-604 \|b ger \|e rda
041	0		\|a ger
044			\|a gw \|c XA-DE-NW
049			\|a DE-1050 \|a DE-634 \|a DE-19 \|a DE-706 \|a DE-473 \|a DE-29T \|a DE-20 \|a DE-1051 \|a DE-1102 \|a DE-859 \|a DE-703 \|a DE-573 \|a DE-858 \|a DE-1043 \|a DE-898 \|a DE-11 \|a DE-384 \|a DE-1028
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|8 1\p \|a 004 \|2 sdnb
100	1		\|a Neubert, Stefan \|e Verfasser \|0 (DE-588)1133501486 \|4 aut
245	1	0	\|a Grundkurs theoretische Informatik \|c Stefan Neubert
250			\|a 1. Auflage
264		1	\|a Bonn \|b Rheinwerk Computing \|c 2021
300			\|a 416 Seiten \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Informatik verstehen
500			\|a Auf dem Umschlag: Intuitive Zugänge, praktische Anwendungen, formale Methoden ; Kreativ knobeln, Probleme lösen und Beweise finden ; Ideal zum Selbststudium und als Vorlesungsbegleiter
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
653			\|a Algorithmen
653			\|a Berechenbarkeit
653			\|a Komplexitäts-Theorie
653			\|a Formale Sprachen
653			\|a Kalküle
653			\|a Grundlagen
653			\|a Informatik Studium
653			\|a Buch Bücher Grundkurse Workshops Tutorials Seminare Vorlesung Studium Beruf Training Fach-Informatiker
653			\|a Wissen lernen verstehen begreifen
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		\|5 DE-604
710	2		\|a Rheinwerk Verlag \|0 (DE-588)1081738405 \|4 pbl
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=baeff54e4f2440f4a5f88aaa4fe35417&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032627716&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-032627716
883	1		\|8 1\p \|a vlb \|d 20201024 \|q DE-101 \|u https://d-nb.info/provenance/plan#vlb

Datensatz im Suchindex

_version_	1804182346230923264
adam_text	INHALT 1 EINFUEHRUNG 15 1.1 KOMPETENZEN FUER DIE THEORETISCHE ARBEIT ............................... 16 1.1.1 ABSTRAKTIONSVERMOEGEN ................................................. 16 1.1.2 PRAEZISES ARBEITEN .......................................................... 16 1.1.3 FRUSTRATIONSTOLERANZ UND KREATIVITAET ............................. 17 1.1.4 KOMMUNIKATIONSFAEHIGKEIT ........................................... 17 1.2 THEMEN DER THEORETISCHEN INFORMATIK .................................... 18 1.2.1 BERECHENBARKEITSTHEORIE ............................................... 18 1.2.2 ALGORITHMIK ................................................................... 19 1.2.3 KOMPLEXITAETSTHEORIE ..................................................... 19 1.3 ANLEITUNG FUERS BUCH ................................................................. 20 1.4 DANKSAGUNGEN ........................................................................ 21 2 MATHEMATISCHE NOTATION 23 2.1 LOGISCHE AUSSAGEN.................................................................. 24 2.1.1 VERKNUEPFUNG VON LOGISCHEN AUSSAGEN ......................... 24 2.1.2 VORRANGREGELN ............................................................... 25 2.1.3 VARIABLEN ...................................................................... 26 2.1.4 UMFORMUNGSREGELN ...................................................... 26 2.2 MENGEN ................................................................................... 27 2.2.1 MENGENOPERATIONEN ..................................................... 28 2.2.2 QUANTOREN UND PRAEDIKATE ............................................. 29 2.2.3 MENGENBEZIEHUNGEN ................................................... 30 2.2.4 TUPEL ............................................................................. 31 2.3 RELATIONEN UND FUNKTIONEN .................................................... 32 2.3.1 BINAERE RELATIONEN ......................................................... 32 2.3.2 FUNKTIONEN .................................................................... 33 2.3.3 BINAERE OPERATIONEN UEBER MENGEN ................................ 36 INHALT 2.4 GRAPHEN ................................................................................... 37 2.4.1 GRUNDBEGRIFFE ............................................................... 37 2.4.2 PFADE, KREISE UND BAEUME .............................................. 38 2.4.3 TEILGRAPHEN UND SPANNBAEUME ..................................... 39 2.4.4 GERICHTETE KANTEN ........................................................ 39 2.4.5 GEWICHTETE GRAPHEN .................................................... 39 2.5 UNENDLICHKEITEN UND ABZAEHLBARKEIT ....................................... 40 2.5.1 ABZAEHLBAR UNENDLICHE MENGEN .................................... 40 2.5.2 UEBERABZAEHLBAR UNENDLICHE MENGEN ............................. 41 2.6 BEWEISTECHNIKEN..................................................................... 42 2.6.1 GRUNDPRINZIPIEN DES BEWEISENS ................................... 42 2.6.2 DIREKTER BEWEIS ............................................................. 44 2.6.3 FALLUNTERSCHEIDUNGEN .................................................. 46 2.6.4 BEWEIS PER KONTRAPOSITION ............................................ 48 2.6.5 INDIREKTER BEWEIS / BEWEIS PER WIDERSPRUCH ............... 49 2.6.6 VOLLSTAENDIGE INDUKTION ................................................. 50 2.6.7 KONSTRUKTIVE UND NICHTKONSTRUKTIVE BEWEISE .............. 54 2.6.8 TYPISCHE SCHWIERIGKEITEN UND FEHLER BEIM BEWEISEN ... 54 2.7 AUFGABEN ................................................................................. 57 2.8 LOESUNGEN ................................................................................. 58 TEIL I BERECHENBARKEIT UND FORMALE SPRACHEN 3 EINFUEHRUNG IN DIE BERECHENBARKEITSTHEORIE 67 3.1 ALGORITHMUS ............................................................................. 68 3.2 ZU VIELE FUNKTIONEN ................................................................ 69 3.3 DAS HALTEPROBLEM ................................................................... 70 3.4 KONTROLLFRAGEN ......................................................................... 72 3.5 ANTWORTEN ............................................................................... 72 6 INHALT 4 PROBLEMTYPEN 73 4.1 FORMALISIERUNG VON PROBLEMEN ............................................... 73 4.2 FUNKTIONEN BERECHNEN ............................................................ 75 4.3 DATENCODIERUNG ....................................................................... 75 4.4 SPRACHEN ENTSCHEIDEN ............................................................. 78 4.5 PROBLEMKLASSEN DER BERECHENBARKEITSTHEORIE ........................ 79 4.6 AUFGABEN ................................................................................. 82 4.7 LOESUNGEN................................................................................. 83 5 EINFUEHRUNG IN FORMALE SPRACHEN 85 5.1 DEFINITION ................................................................................ 85 5.2 DIE CHOMSKY-HIERARCHIE .......................................................... 88 5.3 AUFGABEN ................................................................................. 89 5.4 LOESUNGEN ................................................................................. 90 6 REGULAERE SPRACHEN 91 6.1 DETERMINISTISCHE ENDLICHE AUTOMATEN ................................... 92 6.1.1 FORMALE DEFINITION ........................................................ 93 6.1.2 SPRACHBEWEISE .............................................................. 95 6.1.3 SIMULTANE STRUKTURELLE INDUKTION .................................. 98 6.1.4 AUTOMATENENTWURF ...................................................... 100 6.2 NICHTDETERMINISTISCHE ENDLICHE AUTOMATEN ........................... 103 6.2.1 FORMALE DEFINITION ........................................................ 105 6.2.2 ERWEITERUNG: EPSILONUEBERGAENGE ................................... 106 6.2.3 AEQUIVALENZ ZU DETERMINISTISCHEN AUTOMATEN .............. 108 6.3 GRAMMATIKEN .......................................................................... 111 6.3.1 FORMALE DEFINITION ........................................................ 113 6.3.2 REGULAERE GRAMMATIKEN ................................................ 114 7 INHALT 6.33 VARIANTEN REGULAERER GRAMMATIKEN ............................... 115 63.4 AEQUIVALENZ ZU ENDLICHEN AUTOMATEN ........................... 116 6.4 REGULAERE AUSDRUECKE................................................................ 120 6.4.1 FORMALE DEFINITION ....................................................... 120 6.4.2 AEQUIVALENZ ZU ENDLICHEN AUTOMATEN ........................... 121 6.5 ABSCHLUSSEIGENSCHAFTEN ......................................................... 127 6.5.1 ABGESCHLOSSENHEIT UNTER VEREINIGUNG, KONKATENATION UND KLEENESCHER HUELLE .................................................. 127 6.5.2 ABGESCHLOSSENHEIT UNTER SCHNITT UND DIFFERENZ .......... 128 6.53 ABGESCHLOSSENHEIT UNTER KOMPLEMENT ........................ 129 6.5.4 ABGESCHLOSSENHEIT UNTER SPIEGELUNG ........................... 130 6.5.5 ABGESCHLOSSENHEIT UNTER HOMOMORPHISMEN .............. 130 6.5.6 BEWEISE MIT ABSCHLUSSEIGENSCHAFTEN .......................... 131 6.6 ENTSCHEIDUNGSPROBLEME AUF REGULAEREN SPRACHEN................... 132 6.7 AEQUIVALENZKLASSENZERLEGUNG .................................................. 134 6.7.1 DIE NERODE-RELATION ..................................................... 135 6.7.2 MINIMALE AUTOMATEN ................................................... 136 6.7.3 DER TABLE-FILLING-ALGORITHMUS ...................................... 137 6.8 NICHTREGULAERE SPRACHEN .......................................................... 139 6.8.1 DER SATZ VON MYHILL-NERODE ......................................... 139 6.8.2 DAS PUMPING-LEMMA FUER REGULAERE SPRACHEN ............... 140 6.8.3 BEWEISE MIT ABSCHLUSSEIGENSCHAFTEN .......................... 143 6.9 AUSBLICK ................................................................................... 144 6.10 AUFGABEN ................................................................................ 144 6.11 LOESUNGEN ................................................................................. 149 7 KONTEXTFREIE SPRACHEN I6I 7.1 KONTEXTFREIE GRAMMATIKEN ..................................................... 162 7.2 EINDEUTIGE ABLEITUNGSBAEUME.................................................. 164 7.3 CHOMSKY-NORMALFORM............................................................ 166 7.4 EXKURS: KELLERAUTOMATEN ......................................................... 170 7.4.1 FORMALE DEFINITION ....................................................... 172 7.4.2 VARIANTEN ...................................................................... 174 8 INHALT 7.5 ABSCHLUSSEIGENSCHAFTEN .......................................................... 175 7.6 ENTSCHEIDUNGSPROBLEME AUF KONTEXTFREIEN SPRACHEN............ 176 7.6.1 WORTPROBLEM: DER COCKE-YOUNGER-KASAMI- ALGORITHMUS (CYK) ......................................................... 176 7.6.2 LEERHEITSPROBLEM .......................................................... 180 7.7 NICHT-KONTEXTFREIE SPRACHEN ................................................... 181 7.7.1 DAS PUMPING-LEMMA FUER KONTEXTFREIE SPRACHEN ......... 181 7.7.2 BEWEISE MIT ABSCHLUSSEIGENSCHAFTEN .......................... 183 7.8 AUSBLICK................................................................................... 183 7.9 AUFGABEN ................................................................................. 184 7.10 LOESUNGEN ................................................................................. 186 8 KONTEXTSENSITIVE SPRACHEN 193 8.1 KONTEXTSENSITIVE UND MONOTONE GRAMMATIKEN ..................... 194 8.2 DAS WORTPROBLEM AUF KONTEXTSENSITIVEN SPRACHEN ............... 195 9 AUFZAEHLBARE SPRACHEN 197 9.1 TURINGMASCHINEN ..................................................................... 199 9.1.1 BERECHNUNGEN MIT TURINGMASCHINEN ........................... 200 9.1.2 VARIANTEN UND AUSBLICK ................................................ 201 9.2 WHILE-PROGRAMME ................................................................... 202 9.2.1 SYNTAX UND SEMANTIK .................................................... 203 9.2.2 IDENTITAET UND KONSTANTE FUNKTIONEN ............................ 205 9.2.3 EINFACHE ARITHMETIK: ADDITION ...................................... 206 9.2.4 AUFRUFEN VON UNTERPROGRAMMEN ................................. 209 9.2.5 FALLUNTERSCHEIDUNGEN, LOGIK UND VERGLEICHE ............... 213 9.2.6 FOR-SCHLEIFEN ................................................................. 215 9.2.7 CANTORSCHE PAARUNGSFUNKTION ...................................... 215 9.2.8 DATENSTRUKTUREN ........................................................... 217 9.3 GOEDELNUMMERN ....................................................................... 218 9.4 DAS UNIVERSELLE WHILE-PROGRAMM ........................................... 220 9 INHALT 9.5 DAS SCHRITTBESCHRAENKTE UNIVERSELLE WHILE-PROGRAMM ............ 223 9.6 DIAGONALISIERUNG UND MIN-SUCHE ........................................... 224 9.7 PRAEDIKATE FUER SEMI-ENTSCHEIDBARE SPRACHEN .......................... 226 9.8 SEMI-ENTSCHEIDBARKEIT VS. AUFZAEHLBARKEIT ............................. 227 9.9 DAS S-M-N-THEOREM ................................................................ 228 9.10 DAS KLEENESCHE REKURSIONSTHEOREM ....................................... 230 9.11 WEITERE MODELLE UND CHARAKTERISIERUNGEN............................ 233 9.12 AUFGABEN ................................................................................. 233 9.13 LOESUNGEN ................................................................................. 235 10 NICHT BERECHENBARES 241 10.1 BEWEISE MIT KRT...................................................................... 243 10.2 DER SATZ VON RICE ..................................................................... 244 10.3 REDUKTIONEN ............................................................................ 246 10.4 RE-VOLLSTAENDIGKEIT ................................................................... 250 10.5 AUSBLICK: DIE ARITHMETISCHE HIERARCHIE................................... 251 10.6 AUFGABEN ................................................................................. 252 10.7 LOESUNGEN ................................................................................. 254 TEIL II ALGORITHMIK 11 EINFUEHRUNG IN ALGORITHMIK 26I 12 OBERE SCHRANKEN FUER LAUFZEITEN 263 12.1 DAS MASCHINENMODEIL ............................................................ 264 12.2 DIE LAUFZEIT EINES ALGORITHMUS ............................................... 267 10 INHALT 12.3 DIE GROESSE EINER EINGABE .......................................................... 268 12.4 DIE LANDAU-NOTATION .............................................................. 268 12.5 AUFGABEN ................................................................................. 271 12.6 LOESUNGEN ................................................................................. 272 13 LAUFZEITEN VON DATENSTRUKTUREN 275 13.1 ARRAYS ...................................................................................... 275 13.2 LISTEN ....................................................................................... 277 13.3 VERSCHACHTELTE DATENSTRUKTUREN UND GRAPHEN ...................... 279 13.4 AUFGABEN ................................................................................. 281 13.5 LOESUNGEN ................................................................................. 282 14 BRUTE-FORCE-ALGORITHMEN 285 14.1 LINEARE SUCHE ........................................................................... 286 14.2 BACKTRACKING/TIEFENSUCHE ....................................................... 288 14.3 AUFGABEN ................................................................................. 292 14.4 LOESUNGEN ................................................................................. 293 15 GREEDY-ALGORITHMEN 295 15.1 BEWEIS MIT AUSTAUSCHARGUMENT............................................. 296 15.1.1 FARBEIMER KAUFEN ......................................................... 296 15.1.2 MINIMALE SPANNBAEUME ................................................ 299 15.2 GREEDY STAYS AHEAD ................................................................. 302 15.3 AUFGABEN ................................................................................. 304 15.4 LOESUNGEN ................................................................................. 306 11 INHALT 16 DIVIDE AND CONQUER 313 16.1 MERGESORT ................................................................................ 314 16.1.1 ALGORITHMUS .................................................................. 314 16.1.2 KORREKTHEIT .................................................................... 316 16.1.3 LAUFZEIT ......................................................................... 317 16.2 BINAERE SUCHE............................................................................ 319 16.2.1 ALGORITHMUS .................................................................. 320 16.2.2 KORREKTHEIT .................................................................... 320 16.2.3 LAUFZEIT ......................................................................... 321 16.3 MULTIPLIKATION GROSSER ZAHLEN .................................................. 321 16.3.1 ALGORITHMUS .................................................................. 322 16.3.2 LAUFZEITANALYSE ............................................................. 323 16.3.3 DER ALGORITHMUS VON KARAZUBA .................................... 324 16.4 DAS MASTERTHEOREM ................................................................ 325 16.5 AUSBLICK ................................................................................... 326 16.6 AUFGABEN ................................................................................. 327 16.7 LOESUNGEN ................................................................................. 329 17 DYNAMISCHE PROGRAMMIERUNG 335 17.1 FIBONACCI-ZAHLEN ..................................................................... 336 17.2 RUECKGELD GEBEN ...................................................................... 337 17.3 DER ALGORITHMUS VON DIJKSTRA .................................................. 341 17.4 AUFGABEN ................................................................................. 344 17.5 LOESUNGEN ................................................................................. 346 18 AMORTISIERTE ANALYSE 351 18.1 DYNAMISCHE ARRAYS.................................................................. 351 18.2 GUTHABENMETHODE .................................................................. 353 18.3 AUSBLICK ................................................................................... 353 12 INHALT TEIL III KOMPLEXITAETSTHEORIE 19 EINFUEHRUNG IN DIE KOMPLEXITAETSTHEORIE 357 19.1 DIE KOMPLEXITAET EINES PROBLEMS ............................................... 358 19.2 BEDINGTE SCHRANKEN .................................................................. 358 19.3 AUSWEGE FUER SCHWIERIGE PROBLEME ............................................ 359 20 BEWEISTECHNIKEN FUER UNTERE SCHRANKEN 36I 20.1 DIE AUSGABEGROESSE ..................................................................... 362 20.2 DAS INFORMATIONSTHEORETISCHE ARGUMENT ................................. 363 20.2.1 ANALYSE DER ABLAUFPFADE ................................................. 364 20.2.2 ANALYSE DES INFORMATIONSGEWINNS PRO ANFRAGE ........... 366 20.3 DAS ADVERSARY-ARGUMENT .......................................................... 367 20.4 REDUKTIONEN ............................................................................. 370 20.5 AUFGABEN ................................................................................... 372 20.6 LOESUNGEN ................................................................................... 374 21 P VS. NP: BEDINGTE UNTERE SCHRANKEN 377 21.1 DIE KOMPLEXITAETSKLASSE P .......................................................... 378 21.2 DIE KOMPLEXITAETSKLASSE NP ....................................................... 380 21.2.1 EIN PRAXISBEISPIEL: INDEPENDENT SET ................................ 381 21.2.2 DIE DEFINITION VON (NICHT-)DETERMINISMUS ..................... 383 21.2.3 NICHTDETERMINISTISCH BERECHNEN UND DETERMINISTISCH VERIFIZIEREN ...................................................................... 386 21.3 POLYNOMIALZEITREDUKTIONEN...................................................... 388 21.3.1 DEFINITION ........................................................................ 389 21.3.2 BEISPIEL: INDEPENDENT SET UND VERTEX COVER ................... 390 21.4 NP-SCHWERE UND NP-VOLLSTAENDIGE PROBLEME ............................. 392 21.4.1 DER SATZ VON COOK ........................................................... 395 13 INHALT 21.4.2 VON CNF-SAT ZU 3-SAT .................................................. 396 21.4.3 VON 3-SAT ZU IS .............................................................. 398 21.4.4 VON 3-SAT ZU SUBSET-SUM ............................................. 401 21.5 AUSBLICK: MEHR NP-VOLLSTAENDIGE PROBLEME ............................. 404 21.6 AUFGABEN ................................................................................ 405 21.7 LOESUNGEN ................................................................................. 406 22 AUSBLICK: PARAMETRISIERTE ANALYSE 4OS INDEX ........................................................................................................... 410 14
adam_txt	INHALT 1 EINFUEHRUNG 15 1.1 KOMPETENZEN FUER DIE THEORETISCHE ARBEIT . 16 1.1.1 ABSTRAKTIONSVERMOEGEN . 16 1.1.2 PRAEZISES ARBEITEN . 16 1.1.3 FRUSTRATIONSTOLERANZ UND KREATIVITAET . 17 1.1.4 KOMMUNIKATIONSFAEHIGKEIT . 17 1.2 THEMEN DER THEORETISCHEN INFORMATIK . 18 1.2.1 BERECHENBARKEITSTHEORIE . 18 1.2.2 ALGORITHMIK . 19 1.2.3 KOMPLEXITAETSTHEORIE . 19 1.3 ANLEITUNG FUERS BUCH . 20 1.4 DANKSAGUNGEN . 21 2 MATHEMATISCHE NOTATION 23 2.1 LOGISCHE AUSSAGEN. 24 2.1.1 VERKNUEPFUNG VON LOGISCHEN AUSSAGEN . 24 2.1.2 VORRANGREGELN . 25 2.1.3 VARIABLEN . 26 2.1.4 UMFORMUNGSREGELN . 26 2.2 MENGEN . 27 2.2.1 MENGENOPERATIONEN . 28 2.2.2 QUANTOREN UND PRAEDIKATE . 29 2.2.3 MENGENBEZIEHUNGEN . 30 2.2.4 TUPEL . 31 2.3 RELATIONEN UND FUNKTIONEN . 32 2.3.1 BINAERE RELATIONEN . 32 2.3.2 FUNKTIONEN . 33 2.3.3 BINAERE OPERATIONEN UEBER MENGEN . 36 INHALT 2.4 GRAPHEN . 37 2.4.1 GRUNDBEGRIFFE . 37 2.4.2 PFADE, KREISE UND BAEUME . 38 2.4.3 TEILGRAPHEN UND SPANNBAEUME . 39 2.4.4 GERICHTETE KANTEN . 39 2.4.5 GEWICHTETE GRAPHEN . 39 2.5 UNENDLICHKEITEN UND ABZAEHLBARKEIT . 40 2.5.1 ABZAEHLBAR UNENDLICHE MENGEN . 40 2.5.2 UEBERABZAEHLBAR UNENDLICHE MENGEN . 41 2.6 BEWEISTECHNIKEN. 42 2.6.1 GRUNDPRINZIPIEN DES BEWEISENS . 42 2.6.2 DIREKTER BEWEIS . 44 2.6.3 FALLUNTERSCHEIDUNGEN . 46 2.6.4 BEWEIS PER KONTRAPOSITION . 48 2.6.5 INDIREKTER BEWEIS / BEWEIS PER WIDERSPRUCH . 49 2.6.6 VOLLSTAENDIGE INDUKTION . 50 2.6.7 KONSTRUKTIVE UND NICHTKONSTRUKTIVE BEWEISE . 54 2.6.8 TYPISCHE SCHWIERIGKEITEN UND FEHLER BEIM BEWEISEN . 54 2.7 AUFGABEN . 57 2.8 LOESUNGEN . 58 TEIL I BERECHENBARKEIT UND FORMALE SPRACHEN 3 EINFUEHRUNG IN DIE BERECHENBARKEITSTHEORIE 67 3.1 ALGORITHMUS . 68 3.2 ZU VIELE FUNKTIONEN . 69 3.3 DAS HALTEPROBLEM . 70 3.4 KONTROLLFRAGEN . 72 3.5 ANTWORTEN . 72 6 INHALT 4 PROBLEMTYPEN 73 4.1 FORMALISIERUNG VON PROBLEMEN . 73 4.2 FUNKTIONEN BERECHNEN . 75 4.3 DATENCODIERUNG . 75 4.4 SPRACHEN ENTSCHEIDEN . 78 4.5 PROBLEMKLASSEN DER BERECHENBARKEITSTHEORIE . 79 4.6 AUFGABEN . 82 4.7 LOESUNGEN. 83 5 EINFUEHRUNG IN FORMALE SPRACHEN 85 5.1 DEFINITION . 85 5.2 DIE CHOMSKY-HIERARCHIE . 88 5.3 AUFGABEN . 89 5.4 LOESUNGEN . 90 6 REGULAERE SPRACHEN 91 6.1 DETERMINISTISCHE ENDLICHE AUTOMATEN . 92 6.1.1 FORMALE DEFINITION . 93 6.1.2 SPRACHBEWEISE . 95 6.1.3 SIMULTANE STRUKTURELLE INDUKTION . 98 6.1.4 AUTOMATENENTWURF . 100 6.2 NICHTDETERMINISTISCHE ENDLICHE AUTOMATEN . 103 6.2.1 FORMALE DEFINITION . 105 6.2.2 ERWEITERUNG: EPSILONUEBERGAENGE . 106 6.2.3 AEQUIVALENZ ZU DETERMINISTISCHEN AUTOMATEN . 108 6.3 GRAMMATIKEN . 111 6.3.1 FORMALE DEFINITION . 113 6.3.2 REGULAERE GRAMMATIKEN . 114 7 INHALT 6.33 VARIANTEN REGULAERER GRAMMATIKEN . 115 63.4 AEQUIVALENZ ZU ENDLICHEN AUTOMATEN . 116 6.4 REGULAERE AUSDRUECKE. 120 6.4.1 FORMALE DEFINITION . 120 6.4.2 AEQUIVALENZ ZU ENDLICHEN AUTOMATEN . 121 6.5 ABSCHLUSSEIGENSCHAFTEN . 127 6.5.1 ABGESCHLOSSENHEIT UNTER VEREINIGUNG, KONKATENATION UND KLEENESCHER HUELLE . 127 6.5.2 ABGESCHLOSSENHEIT UNTER SCHNITT UND DIFFERENZ . 128 6.53 ABGESCHLOSSENHEIT UNTER KOMPLEMENT . 129 6.5.4 ABGESCHLOSSENHEIT UNTER SPIEGELUNG . 130 6.5.5 ABGESCHLOSSENHEIT UNTER HOMOMORPHISMEN . 130 6.5.6 BEWEISE MIT ABSCHLUSSEIGENSCHAFTEN . 131 6.6 ENTSCHEIDUNGSPROBLEME AUF REGULAEREN SPRACHEN. 132 6.7 AEQUIVALENZKLASSENZERLEGUNG . 134 6.7.1 DIE NERODE-RELATION . 135 6.7.2 MINIMALE AUTOMATEN . 136 6.7.3 DER TABLE-FILLING-ALGORITHMUS . 137 6.8 NICHTREGULAERE SPRACHEN . 139 6.8.1 DER SATZ VON MYHILL-NERODE . 139 6.8.2 DAS PUMPING-LEMMA FUER REGULAERE SPRACHEN . 140 6.8.3 BEWEISE MIT ABSCHLUSSEIGENSCHAFTEN . 143 6.9 AUSBLICK . 144 6.10 AUFGABEN . 144 6.11 LOESUNGEN . 149 7 KONTEXTFREIE SPRACHEN I6I 7.1 KONTEXTFREIE GRAMMATIKEN . 162 7.2 EINDEUTIGE ABLEITUNGSBAEUME. 164 7.3 CHOMSKY-NORMALFORM. 166 7.4 EXKURS: KELLERAUTOMATEN . 170 7.4.1 FORMALE DEFINITION . 172 7.4.2 VARIANTEN . 174 8 INHALT 7.5 ABSCHLUSSEIGENSCHAFTEN . 175 7.6 ENTSCHEIDUNGSPROBLEME AUF KONTEXTFREIEN SPRACHEN. 176 7.6.1 WORTPROBLEM: DER COCKE-YOUNGER-KASAMI- ALGORITHMUS (CYK) . 176 7.6.2 LEERHEITSPROBLEM . 180 7.7 NICHT-KONTEXTFREIE SPRACHEN . 181 7.7.1 DAS PUMPING-LEMMA FUER KONTEXTFREIE SPRACHEN . 181 7.7.2 BEWEISE MIT ABSCHLUSSEIGENSCHAFTEN . 183 7.8 AUSBLICK. 183 7.9 AUFGABEN . 184 7.10 LOESUNGEN . 186 8 KONTEXTSENSITIVE SPRACHEN 193 8.1 KONTEXTSENSITIVE UND MONOTONE GRAMMATIKEN . 194 8.2 DAS WORTPROBLEM AUF KONTEXTSENSITIVEN SPRACHEN . 195 9 AUFZAEHLBARE SPRACHEN 197 9.1 TURINGMASCHINEN . 199 9.1.1 BERECHNUNGEN MIT TURINGMASCHINEN . 200 9.1.2 VARIANTEN UND AUSBLICK . 201 9.2 WHILE-PROGRAMME . 202 9.2.1 SYNTAX UND SEMANTIK . 203 9.2.2 IDENTITAET UND KONSTANTE FUNKTIONEN . 205 9.2.3 EINFACHE ARITHMETIK: ADDITION . 206 9.2.4 AUFRUFEN VON UNTERPROGRAMMEN . 209 9.2.5 FALLUNTERSCHEIDUNGEN, LOGIK UND VERGLEICHE . 213 9.2.6 FOR-SCHLEIFEN . 215 9.2.7 CANTORSCHE PAARUNGSFUNKTION . 215 9.2.8 DATENSTRUKTUREN . 217 9.3 GOEDELNUMMERN . 218 9.4 DAS UNIVERSELLE WHILE-PROGRAMM . 220 9 INHALT 9.5 DAS SCHRITTBESCHRAENKTE UNIVERSELLE WHILE-PROGRAMM . 223 9.6 DIAGONALISIERUNG UND MIN-SUCHE . 224 9.7 PRAEDIKATE FUER SEMI-ENTSCHEIDBARE SPRACHEN . 226 9.8 SEMI-ENTSCHEIDBARKEIT VS. AUFZAEHLBARKEIT . 227 9.9 DAS S-M-N-THEOREM . 228 9.10 DAS KLEENESCHE REKURSIONSTHEOREM . 230 9.11 WEITERE MODELLE UND CHARAKTERISIERUNGEN. 233 9.12 AUFGABEN . 233 9.13 LOESUNGEN . 235 10 NICHT BERECHENBARES 241 10.1 BEWEISE MIT KRT. 243 10.2 DER SATZ VON RICE . 244 10.3 REDUKTIONEN . 246 10.4 RE-VOLLSTAENDIGKEIT . 250 10.5 AUSBLICK: DIE ARITHMETISCHE HIERARCHIE. 251 10.6 AUFGABEN . 252 10.7 LOESUNGEN . 254 TEIL II ALGORITHMIK 11 EINFUEHRUNG IN ALGORITHMIK 26I 12 OBERE SCHRANKEN FUER LAUFZEITEN 263 12.1 DAS MASCHINENMODEIL . 264 12.2 DIE LAUFZEIT EINES ALGORITHMUS . 267 10 INHALT 12.3 DIE GROESSE EINER EINGABE . 268 12.4 DIE LANDAU-NOTATION . 268 12.5 AUFGABEN . 271 12.6 LOESUNGEN . 272 13 LAUFZEITEN VON DATENSTRUKTUREN 275 13.1 ARRAYS . 275 13.2 LISTEN . 277 13.3 VERSCHACHTELTE DATENSTRUKTUREN UND GRAPHEN . 279 13.4 AUFGABEN . 281 13.5 LOESUNGEN . 282 14 BRUTE-FORCE-ALGORITHMEN 285 14.1 LINEARE SUCHE . 286 14.2 BACKTRACKING/TIEFENSUCHE . 288 14.3 AUFGABEN . 292 14.4 LOESUNGEN . 293 15 GREEDY-ALGORITHMEN 295 15.1 BEWEIS MIT AUSTAUSCHARGUMENT. 296 15.1.1 FARBEIMER KAUFEN . 296 15.1.2 MINIMALE SPANNBAEUME . 299 15.2 GREEDY STAYS AHEAD . 302 15.3 AUFGABEN . 304 15.4 LOESUNGEN . 306 11 INHALT 16 DIVIDE AND CONQUER 313 16.1 MERGESORT . 314 16.1.1 ALGORITHMUS . 314 16.1.2 KORREKTHEIT . 316 16.1.3 LAUFZEIT . 317 16.2 BINAERE SUCHE. 319 16.2.1 ALGORITHMUS . 320 16.2.2 KORREKTHEIT . 320 16.2.3 LAUFZEIT . 321 16.3 MULTIPLIKATION GROSSER ZAHLEN . 321 16.3.1 ALGORITHMUS . 322 16.3.2 LAUFZEITANALYSE . 323 16.3.3 DER ALGORITHMUS VON KARAZUBA . 324 16.4 DAS MASTERTHEOREM . 325 16.5 AUSBLICK . 326 16.6 AUFGABEN . 327 16.7 LOESUNGEN . 329 17 DYNAMISCHE PROGRAMMIERUNG 335 17.1 FIBONACCI-ZAHLEN . 336 17.2 RUECKGELD GEBEN . 337 17.3 DER ALGORITHMUS VON DIJKSTRA . 341 17.4 AUFGABEN . 344 17.5 LOESUNGEN . 346 18 AMORTISIERTE ANALYSE 351 18.1 DYNAMISCHE ARRAYS. 351 18.2 GUTHABENMETHODE . 353 18.3 AUSBLICK . 353 12 INHALT TEIL III KOMPLEXITAETSTHEORIE 19 EINFUEHRUNG IN DIE KOMPLEXITAETSTHEORIE 357 19.1 DIE KOMPLEXITAET EINES PROBLEMS . 358 19.2 BEDINGTE SCHRANKEN . 358 19.3 AUSWEGE FUER SCHWIERIGE PROBLEME . 359 20 BEWEISTECHNIKEN FUER UNTERE SCHRANKEN 36I 20.1 DIE AUSGABEGROESSE . 362 20.2 DAS INFORMATIONSTHEORETISCHE ARGUMENT . 363 20.2.1 ANALYSE DER ABLAUFPFADE . 364 20.2.2 ANALYSE DES INFORMATIONSGEWINNS PRO ANFRAGE . 366 20.3 DAS ADVERSARY-ARGUMENT . 367 20.4 REDUKTIONEN . 370 20.5 AUFGABEN . 372 20.6 LOESUNGEN . 374 21 P VS. NP: BEDINGTE UNTERE SCHRANKEN 377 21.1 DIE KOMPLEXITAETSKLASSE P . 378 21.2 DIE KOMPLEXITAETSKLASSE NP . 380 21.2.1 EIN PRAXISBEISPIEL: INDEPENDENT SET . 381 21.2.2 DIE DEFINITION VON (NICHT-)DETERMINISMUS . 383 21.2.3 NICHTDETERMINISTISCH BERECHNEN UND DETERMINISTISCH VERIFIZIEREN . 386 21.3 POLYNOMIALZEITREDUKTIONEN. 388 21.3.1 DEFINITION . 389 21.3.2 BEISPIEL: INDEPENDENT SET UND VERTEX COVER . 390 21.4 NP-SCHWERE UND NP-VOLLSTAENDIGE PROBLEME . 392 21.4.1 DER SATZ VON COOK . 395 13 INHALT 21.4.2 VON CNF-SAT ZU 3-SAT . 396 21.4.3 VON 3-SAT ZU IS . 398 21.4.4 VON 3-SAT ZU SUBSET-SUM . 401 21.5 AUSBLICK: MEHR NP-VOLLSTAENDIGE PROBLEME . 404 21.6 AUFGABEN . 405 21.7 LOESUNGEN . 406 22 AUSBLICK: PARAMETRISIERTE ANALYSE 4OS INDEX . 410 14
any_adam_object	1
any_adam_object_boolean	1
author	Neubert, Stefan
author_GND	(DE-588)1133501486
author_facet	Neubert, Stefan
author_role	aut
author_sort	Neubert, Stefan
author_variant	s n sn
building	Verbundindex
bvnumber	BV047223131
classification_rvk	ST 130
ctrlnum	(OCoLC)1245342260 (DE-599)DNB1220169382
discipline	Informatik
discipline_str_mv	Informatik
edition	1. Auflage
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02443nam a2200553 c 4500</leader><controlfield tag="001">BV047223131</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220802 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">210401s2021 gw a\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">20,N44</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1220169382</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783836275880</subfield><subfield code="9">978-3-8362-7588-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1245342260</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1220169382</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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-1050</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-1028</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="8">1\p</subfield><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Neubert, Stefan</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1133501486</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundkurs theoretische Informatik</subfield><subfield code="c">Stefan Neubert</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bonn</subfield><subfield code="b">Rheinwerk Computing</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">416 Seiten</subfield><subfield code="b">Illustrationen</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">Informatik verstehen</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Auf dem Umschlag: Intuitive Zugänge, praktische Anwendungen, formale Methoden ; Kreativ knobeln, Probleme lösen und Beweise finden ; Ideal zum Selbststudium und als Vorlesungsbegleiter</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="653" ind1=" " ind2=" "><subfield code="a">Algorithmen</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Berechenbarkeit</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Komplexitäts-Theorie</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formale Sprachen</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Kalküle</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Grundlagen</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Informatik Studium</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Buch Bücher Grundkurse Workshops Tutorials Seminare Vorlesung Studium Beruf Training Fach-Informatiker</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Wissen lernen verstehen begreifen</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Rheinwerk Verlag</subfield><subfield code="0">(DE-588)1081738405</subfield><subfield code="4">pbl</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=baeff54e4f2440f4a5f88aaa4fe35417&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=032627716&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032627716</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">vlb</subfield><subfield code="d">20201024</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#vlb</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV047223131
illustrated	Illustrated
index_date	2024-07-03T16:58:13Z
indexdate	2024-07-10T09:06:05Z
institution	BVB
institution_GND	(DE-588)1081738405
isbn	9783836275880
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032627716
oclc_num	1245342260
open_access_boolean
owner	DE-1050 DE-634 DE-19 DE-BY-UBM DE-706 DE-473 DE-BY-UBG DE-29T DE-20 DE-1051 DE-1102 DE-859 DE-703 DE-573 DE-858 DE-1043 DE-898 DE-BY-UBR DE-11 DE-384 DE-1028
owner_facet	DE-1050 DE-634 DE-19 DE-BY-UBM DE-706 DE-473 DE-BY-UBG DE-29T DE-20 DE-1051 DE-1102 DE-859 DE-703 DE-573 DE-858 DE-1043 DE-898 DE-BY-UBR DE-11 DE-384 DE-1028
physical	416 Seiten Illustrationen
publishDate	2021
publishDateSearch	2021
publishDateSort	2021
publisher	Rheinwerk Computing
record_format	marc
series2	Informatik verstehen
spelling	Neubert, Stefan Verfasser (DE-588)1133501486 aut Grundkurs theoretische Informatik Stefan Neubert 1. Auflage Bonn Rheinwerk Computing 2021 416 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Informatik verstehen Auf dem Umschlag: Intuitive Zugänge, praktische Anwendungen, formale Methoden ; Kreativ knobeln, Probleme lösen und Beweise finden ; Ideal zum Selbststudium und als Vorlesungsbegleiter Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Algorithmen Berechenbarkeit Komplexitäts-Theorie Formale Sprachen Kalküle Grundlagen Informatik Studium Buch Bücher Grundkurse Workshops Tutorials Seminare Vorlesung Studium Beruf Training Fach-Informatiker Wissen lernen verstehen begreifen (DE-588)4123623-3 Lehrbuch gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Rheinwerk Verlag (DE-588)1081738405 pbl X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=baeff54e4f2440f4a5f88aaa4fe35417&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032627716&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p vlb 20201024 DE-101 https://d-nb.info/provenance/plan#vlb
spellingShingle	Neubert, Stefan Grundkurs theoretische Informatik Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4123623-3
title	Grundkurs theoretische Informatik
title_auth	Grundkurs theoretische Informatik
title_exact_search	Grundkurs theoretische Informatik
title_exact_search_txtP	Grundkurs theoretische Informatik
title_full	Grundkurs theoretische Informatik Stefan Neubert
title_fullStr	Grundkurs theoretische Informatik Stefan Neubert
title_full_unstemmed	Grundkurs theoretische Informatik Stefan Neubert
title_short	Grundkurs theoretische Informatik
title_sort	grundkurs theoretische informatik
topic	Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet	Theoretische Informatik Lehrbuch
url	http://deposit.dnb.de/cgi-bin/dokserv?id=baeff54e4f2440f4a5f88aaa4fe35417&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=032627716&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT neubertstefan grundkurstheoretischeinformatik AT rheinwerkverlag grundkurstheoretischeinformatik

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge