theoretische informatik

[stark]

hallo leute,

hat hier jemand ahnung von theoretischer informatik? kennt vllt ein paar buch tipps oder kann einem das ein oder andere erklären...?
ich studiere informatik und habe keinen peil was der prof in theo. inf. von mir will. vllt kann mir jemand erklären wie ich soetwas vllt in ein pb programm umsetzten kann, einen endlichen automaten oder der gleichen.
freu mich über jede hilfe


gruß
der stark

[Zaphod]

also wenn du das grade im grundstudium machst, dann ist "theoretische informatik kurzgefaßt" von uwe schöning ganz gut.

[Danilo]

kennt vllt ein paar buch tipps

Goos, Gerhard, Bd.1 : Grundlagen und funktionales Programmieren
Goos, Gerhard, Bd.2 : Objektorientiertes Programmieren und Algorithmen
Goos, Gerhard, Bd.3 : Berechenbarkeit, formale Sprachen, Spezifikationen
Goos, Gerhard, Bd.4 : Paralleles Rechnen und nicht-analytische Lösungsverfahren


-------------------------------------




Struktur und Interpretation von Computerprogrammen

[freedimension]

Damit hab ich lernen dürfen:



Achja, welche Themenbereiche werden in der Vorlesung angesprochen, jetzt mal abgesehen von endlichen Automaten?

[benny]

Damit schlage ich mich rum:

http://www.fhnon.de/fbw/Mitarbeiter/Hau ... nde/ho.htm

[Rob]

@freedimension: das hab ich auch ^^

zwar nie richtig benutzt, aber alles recht gut verständlich, soweit ich es gelesen hab.
Ansonsten findest du im Netz massig dazu, ein guter Startpunkt ist die Wikipedia-Seite: http://de.wikipedia.org/wiki/Theoretische_Informatik

Die Literaturliste aus dem Artikel:

Erk, Priese: Theoretische Informatik. Springer, 2002, ISBN 3-540-42624-8
Schöning: Theoretische Informatik - kurzgefasst. Spectrum, 2001, ISBN 3-8274-1099-1
Winter: Theoretische Informatik. Grundlagen mit Übungsaufgaben und Lösungen. Oldenbourg, 2002, ISBN 3-486-25808-7
Hopcroft, Motwani, Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Pearson, 2002, ISBN 3-8273-7020-5
Asteroth, Baier: Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen. Pearson, 2002, ISBN 3-8273-7033-7
Heinemann, Weihrauch: Logik für Informatiker. Teubner, ISBN 3-519-12248-0
Kelly: Logik im Klartext. Pearson, 2002, ISBN 3-8273-7070-1
Weihrauch: Computability. Springer, 1987, ISBN 3-540-13721-1

[Froggerprogger]

Das schon zweimal erwähnte Buch von Schöning fand ich ebenfalls gut. Insbesondere, da es sehr knapp, aber prägnant und verständlich beschrieben ist.
Ansonsten gibt es auch gute Skripte im Netz, z.B. hier:

http://wwwcs.upb.de/cs/ag-madh/WWW/Teac ... kript.html
(unter Skript Teil 1-4)

[FloHimself]

Damit schlage ich mich rum:

http://www.fhnon.de/fbw/Mitarbeiter/Hau ... nde/ho.htm

Komisch, ich freue mich auf Hoffmann!!

[benny]

@Flo:

Kannst Dich auch drauf freuen. Hatte Hoffmann jetzt in Theoretischer Informatik
und in Einführung in die Kryptologie. Menschlich scheint er wirklich in
Ordnung zu sein und macht keinen Streß.

Und die Themen ... naja ... entweder man mag's oder nicht

[Froggerprogger]

Ich hab hier den Beweis, dass NP=P. Aber ich verrats keinem, damit das anderwertige Glaubensgerüst nicht zusammenbricht.

@stark
Bei konkreten Fragen: Her damit ! Ich finde das Thema grandios ! (Mir geht eher sowas wie 'Techniken des Softwareentwurfs' auf den Senkel.)

Noch ein Tipp:
Sämtliche Fragen zu Mathe und Informatik gehören hierhin:
http://www.matheplanet.com

Egal, wie abgefahren einem ein Thema vorkommt, da sind Leute, die machen das als Fingerübung, aber bemühen sich ebenso mit Elan auch z.B. um Schülerfragen, solange es keine plumpen Lösungsaufforderungen sind.