Vorlesungen über Informatik: 1 Grundlagen und funktionales Programmieren
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1997
|
| Ausgabe: | 2., überarb. Aufl. |
| Schriftenreihe: | Springer-Lehrbuch
eXamen.press |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 394 S. graph. Darst. |
| ISBN: | 3540628800 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV011558008 | ||
| 003 | DE-604 | ||
| 005 | 20051128 | ||
| 007 | t | ||
| 008 | 971001s1997 gw d||| |||| 00||| ger d | ||
| 020 | |a 3540628800 |9 3-540-62880-0 | ||
| 035 | |a (OCoLC)312860927 | ||
| 035 | |a (DE-599)BVBBV011558008 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-19 |a DE-739 |a DE-91 |a DE-91G |a DE-860 |a DE-706 |a DE-83 |a DE-522 | ||
| 084 | |a ST 110 |0 (DE-625)143583: |2 rvk | ||
| 100 | 1 | |a Goos, Gerhard |d 1937-2020 |e Verfasser |0 (DE-588)106035894 |4 aut | |
| 245 | 1 | 0 | |a Vorlesungen über Informatik |n 1 |p Grundlagen und funktionales Programmieren |c Gerhard Goos ; Wolf Zimmermann |
| 250 | |a 2., überarb. Aufl. | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1997 | |
| 300 | |a XII, 394 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer-Lehrbuch | |
| 490 | 0 | |a eXamen.press | |
| 700 | 1 | |a Zimmermann, Wolf |e Verfasser |4 aut | |
| 773 | 0 | 8 | |w (DE-604)BV010443927 |g 1 |
| 856 | 4 | 2 | |m OEBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007782460&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007782460 | ||
Datensatz im Suchindex
| _version_ | 1804126083610574848 |
|---|---|
| adam_text | INHALTSVERZEICHNIS VORWORT IX 1 GRUNDBEGRIFFE 1 1.1 SIGNAL, DATUM,
INFORMATION 1 1.1.1 WISSEN 4 1.1.2 ANALOGE UND DIGITALE SIGNALE 6 1.1.3
CODIERUNG VON DATEN 8 1.1.4 VON DER SIGNAL- ZUR INFORMATIONSVERARBEITUNG
10 1.1.5 SEMIOTIK: SYNTAX, SEMANTIK UND PRAGMATIK 12 1.2 WIRKLICHKEIT
UND MODELL 13 1.2.1 DIE VERANTWORTUNG DES INFORMATIKERS 16 1.3 SYSTEME
18 1.3.1 DIE AUFGABEN VON INFORMATIK-SYSTEMEN 20 1.3.2 KONSTRUKTION VON
INFORMATIK-SYSTEMEN 21 1.4 ALGORITHMEN 23 1.5 VON-NEUMANN-RECHNER 26 1.6
SEMI-THUE-SYSTEME 28 1.6.1 MARKOV-ALGORITHMEN 31 1.6.2 FORMALE SYSTEME
32 1.6.3 CHOMSKY-GRAMMATIKEN 33 1.7 ANMERKUNGEN UND VERWEISE 41 2
HALBGRUPPEN, RELATIONEN 43 2.1 HALBGRUPPEN UND MONOIDE 43 2.2 RELATIONEN
UND GRAPHEN 48 2.2.1 GERICHTETE UND UNGERICHTETE GRAPHEN 49 2.2.2
REPRAESENTATION VON RELATIONEN UND GRAPHEN 57 2.3 ORDNUNGSRELATIONEN,
HALBVERBAENDE, VERBAENDE 62 2.3.1 QUASIORDNUNGEN 62 2.3.2 HASSE-DIAGRAMME
63 2.3.3 UNTERE UND OBERE SCHRANKEN 67 2.3.4 NORMALFORMEN UND KONFLUENZ
70 2.3.5 VOLLSTAENDIGE HALBORDNUNGEN 74 2.3.6 HALBVERBAENDE 78 2.3.7
DUALISIERUNG 79 2.3.8 VERBAENDE 80 2.4 ENDLICHE AUTOMATEN 84 2.5
PETRINETZE 97 2.6 RELATIONALE ALGEBRA 104 2.6.1 MENGENOPERATIONEN AUF
RELATIONEN 105 2.6.2 DATENBANKOPERATIONEN 106 2.6.3 SQL 108 2.7
ANMERKUNGEN UND VERWEISE 112 3 ALGEBREN UND TERMALGEBREN 113 3.1 FORMELN
114 3.2 BOOLESCHE ALGEBRA 117 3.3 ALGEBRAISCHE STRUKTUREN UND ALGEBREN
120 3.4 ABBILDUNGEN ZWISCHEN ALGEBREN 123 3.5 TERMALGEBREN 127 3.5.1
STRUKTURELLE INDUKTION 130 3.6 TERMALGEBREN MIT VARIABLEN 131 3.7
TERMERSETZUNGSSYSTEME 135 3.8 ABSTRAKTE DATENTYPEN 138 3.9 ANMERKUNGEN
UND VERWEISE 139 4 FORMALE LOGIK 141 4.1 AUSSAGENLOGIK 142 4.1.1
GRUNDBEGRIFFE 142 4.1.2 FOLGERUNGEN UND KALKUELE 147 4.1.3 EIN KALKUEL FUER
DIE AUSSAGENLOGIK 150 4.1.4 NORMALFORMEN 156 4.1.5 HORNKLAUSELN UND
RESOLUTION 158 4.1.6 JUNKTOREN 160 4.1.7 SCHALTFUNKTIONEN 163 4.1.8
GEORDNETE BINAERE ENTSCHEIDUNGSDIAGRAMME 172 4.1.9 SCHALTWERKE 180 4.2
PRAEDIKATENLOGIK 188 4.2.1 SYNTAX UND SEMANTIK DER PRAEDIKATENLOGIK 189
4.2.2 EIN KALKUEL FUER DIE PRAEDIKATENLOGIK 194 4.2.3 NORMALFORMEN 198
4.2.4 RESOLUTION 202 4.3 ANMERKUNGEN UND VERWEISE 208 5 FUNKTIONALES
PROGRAMMIEREN 209 5.1 ELEMENTARER LAMBDA-KALKUEL 210 5.1.1 BEDINGTE
LAMBDA-AUSDRUECKE 213 5.1.2 REKURSION 214 5.1.3 FAULE AUSWERTUNG 216
5.1.4 OPERATIONELLE SEMANTIK DES LAMBDA-KALKUELS 217 5.1.5 DIE
PROGRAMMIERSPRACHE LISP 219 5.1.6 EIN INTERPRETIERER FUER LISP 223 5.2
GRUNDELEMENTE FUNKTIONALER PROGRAMMIERSPRACHEN 226 5.2.1 ELEMENTARE
SPRACHEIGENSCHAFTEN 227 5.2.2 BEZEICHNER, OPERATOREN, AUSDRUECKE 231 5.3
DATEN UND ELEMENTARE DATENTYPEN 235 5.3.1 BOOLESCHE WERTE 236 5.3.2
GANZE ZAHLEN, GLEITPUNKTZAHLEN 238 5.3.3 ZEICHEN 243 5.3.4 LISTEN 244
5.3.5 TEXTE 254 5.3.6 TUPEL 257 5.3.7 FUNKTIONEN ALS WERTE 259 5.3.8
MUSTER 261 5.4 ALLGEMEINES UEBER DATENTYPEN 262 5.4.1 TYPINFERENZ UND
POLYMORPHIE 263 5.4.2 UEBERLADEN VON DEFINITIONEN 266 5.5 GRUNDLEGENDE
PROGRAMMIERMETHODEN 269 5.5.1 REKURSION 270 5.5.2 DURCHREICHEN VON
ZWISCHENERGEBNISSEN 277 5.5.3 UNBESCHRAENKTE LISTEN 279 5.5.4 HINWEISE
ZUR DOKUMENTATION VON PROGRAMMEN 283 5.6 ANMERKUNGEN UND VERWEISE 285 6
ABSTRAKTE DATENTYPEN 287 6.1 DIE NATUERLICHEN ZAHLEN 288 6.2 LINEARE
DATENSTRUKTUREN 290 6.2.1 LISTEN 291 6.2.2 REIHUNGEN 291 6.2.3 KELLER
293 6.2.4 SCHLANGEN 295 6.2.5 SEQUENZEN UND DATEIEN 298 6.3 BINAERBAEUME
302 6.4 MENGEN UND MEHRFACHMENGEN 307 6.5 ANMERKUNGEN UND VERWEISE 310 7
ALGORITHMENKONSTRUKTION I 311 7.1 AUFWAND VON ALGORITHMEN 311 7.1.1 DER
O-KALKUEL 313 7.1.2 ANWENDUNGEN 314 7.2 TEILE UND HERRSCHE 318 7.2.1
ZEITOPTIMALES SEQUENTIELLES SORTIEREN 320 7.2.2 EINSEITIGES
TEILE-UND-HERRSCHE 325 7.2.3 MATRIXMULTIPLIKATION NACH STRASSEN 326 7.3
GIERIGE ALGORITHMEN 327 7.3.1 ZEITPLANERSTELLUNG 329 7.3.2 MINIMALE
SPANNENDE BAEUME 330 7.3.3 MATROIDE 333 7.3.4 ZEITPLANUNG MIT ENDTERMINEN
336 7.4 ANMERKUNGEN UND VERWEISE 337 LITERATURVERZEICHNIS 339 A MENGEN,
RELATIONEN, FUNKTIONEN, ZAHLEN 343 A.1 MENGEN 343 A.2 RELATIONEN UND
FUNKTIONEN 346 A.3 NATUERLICHE ZAHLEN 351 A.4 MEHRFACHMENGEN 353 A.5
ANMERKUNGEN 354 B CODIERUNG 355 B.L ZEICHENVORRAETE 356 B.2 CODIERUNG VON
ZAHLEN 359 B.2.1 BINAERDARSTELLUNG GANZER ZAHLEN 359 B.2.2 DARSTELLUNG
VON GLEITPUNKTZAHLEN 362 B.3 PRAEFIXCODES UND SHANNONSCHE
INFORMATIONSTHEORIE 366 B.3.1 SHANNONSCHE INFORMATIONSTHEORIE 367 B.4
FEHLERERKENNUNG UND -KORREKTUR 372 B.4.1 ZYKLISCHE CODES UND
SCHIEBEREGISTER 377 B.5 ANMERKUNGEN UND VERWEISE 380
STICHWORTVERZEICHNIS 381
|
| any_adam_object | 1 |
| author | Goos, Gerhard 1937-2020 Zimmermann, Wolf |
| author_GND | (DE-588)106035894 |
| author_facet | Goos, Gerhard 1937-2020 Zimmermann, Wolf |
| author_role | aut aut |
| author_sort | Goos, Gerhard 1937-2020 |
| author_variant | g g gg w z wz |
| building | Verbundindex |
| bvnumber | BV011558008 |
| classification_rvk | ST 110 |
| ctrlnum | (OCoLC)312860927 (DE-599)BVBBV011558008 |
| discipline | Informatik |
| edition | 2., überarb. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01344nam a2200349 cc4500</leader><controlfield tag="001">BV011558008</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051128 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971001s1997 gw d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540628800</subfield><subfield code="9">3-540-62880-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)312860927</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011558008</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-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-522</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 110</subfield><subfield code="0">(DE-625)143583:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goos, Gerhard</subfield><subfield code="d">1937-2020</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)106035894</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Vorlesungen über Informatik</subfield><subfield code="n">1</subfield><subfield code="p">Grundlagen und funktionales Programmieren</subfield><subfield code="c">Gerhard Goos ; Wolf Zimmermann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., überarb. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 394 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">Springer-Lehrbuch</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">eXamen.press</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zimmermann, Wolf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV010443927</subfield><subfield code="g">1</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">OEBV 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=007782460&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-007782460</subfield></datafield></record></collection> |
| id | DE-604.BV011558008 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:11:49Z |
| institution | BVB |
| isbn | 3540628800 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007782460 |
| oclc_num | 312860927 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-739 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-860 DE-706 DE-83 DE-522 |
| owner_facet | DE-19 DE-BY-UBM DE-739 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-860 DE-706 DE-83 DE-522 |
| physical | XII, 394 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer-Lehrbuch eXamen.press |
| spelling | Goos, Gerhard 1937-2020 Verfasser (DE-588)106035894 aut Vorlesungen über Informatik 1 Grundlagen und funktionales Programmieren Gerhard Goos ; Wolf Zimmermann 2., überarb. Aufl. Berlin [u.a.] Springer 1997 XII, 394 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Springer-Lehrbuch eXamen.press Zimmermann, Wolf Verfasser aut (DE-604)BV010443927 1 OEBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007782460&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Goos, Gerhard 1937-2020 Zimmermann, Wolf Vorlesungen über Informatik |
| title | Vorlesungen über Informatik |
| title_auth | Vorlesungen über Informatik |
| title_exact_search | Vorlesungen über Informatik |
| title_full | Vorlesungen über Informatik 1 Grundlagen und funktionales Programmieren Gerhard Goos ; Wolf Zimmermann |
| title_fullStr | Vorlesungen über Informatik 1 Grundlagen und funktionales Programmieren Gerhard Goos ; Wolf Zimmermann |
| title_full_unstemmed | Vorlesungen über Informatik 1 Grundlagen und funktionales Programmieren Gerhard Goos ; Wolf Zimmermann |
| title_short | Vorlesungen über Informatik |
| title_sort | vorlesungen uber informatik grundlagen und funktionales programmieren |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007782460&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV010443927 |
| work_keys_str_mv | AT goosgerhard vorlesungenuberinformatik1 AT zimmermannwolf vorlesungenuberinformatik1 |