Theoretische Informatik

diplinf schrieb:

wenn man nen leichten hang zur mathematik hat, ist formale (theoretische) informatik echt spannend

Oder wenn man sich für Programmiersprachen und Interpreter-/Compilerbau interessiert.

GPC

Gregor schrieb:

Abgesehen davon halte ich die Aufteilung in theoretische und praktische Informatik für sehr künstlich und unklar. Was einige zur praktischen Informatik zählen, zählen andere schon wieder zur theoretischen Informatik.

Bei mir beginnt die Theoretische Info da, wo ich mit Try & Error nicht mehr weiterkomme

Is ja alles schön und gut Leute. Aber ich suche nach wie vor nach einem VERSTÄNDLICHEM Buch zur theo. Inf., dass sich zum Selbststudium eignet. Könnt wer das Buch von "Schöning"?

Gregor

theoInf schrieb:

Is ja alles schön und gut Leute. Aber ich suche nach wie vor nach einem VERSTÄNDLICHEM Buch zur theo. Inf., dass sich zum Selbststudium eignet. Könnt wer das Buch von "Schöning"?

Welches meinst Du? "Logik für Informatiker"? "Büchlein" ist da wohl die passendere Bezeichnung, aber natürlich ist das verständlich. Habe ich damals im ersten Semester genutzt, sollte also ohne besonderen Background lesbar sein. Dir sollte aber natürlich klar sein, dass dieses Buch nicht die theoretische Informatik abdeckt, sondern nur einen kleinen Bereich der theoretischen Informatik anschneidet. Natürlich eignet sich das Buch auch zum Selbststudium, wobei ich allerdings noch kein Buch gefunden habe, für das das nicht gilt. Genauso eignet sich auch das Buch von Hopcroft und Ullman zum Selbststudium. Dieses schneidet einen anderen Bereich der theoretischen Informatik an.

Das Buch meine ich:
Theoretische Informatik - kurzgefasst.
von Uwe Schöning
Darauf wird in einigen Uni Skripten verwiesen und die Leseprobe bei Amazon sah ganz gut und verständlich aus.

Nicht gerade einfach, aber dafür imho Standardwerk:

Introduction to Automata Theory, Languages, and Computation | ISBN: 0201441241

Relativ einfach(mir fehlte aber die Tiefe): http://www.vieweg.de/index.php;do=show/sid=1651025502440b03124dcdb868791097/site=v/book_id=7353

Compilerschrauber schrieb:

Nicht gerade einfach, aber dafür imho Standardwerk:

Introduction to Automata Theory, Languages, and Computation | ISBN: 0201441241

Relativ einfach(mir fehlte aber die Tiefe): http://www.vieweg.de/index.php;do=show/sid=1651025502440b03124dcdb868791097/site=v/book_id=7353

Also die Rezensionen sind ja nicht gerade gut:

An vielen Stellen geht die Lesbarkeit durch den Formalismus und die unübersichtlichen Beweise verloren. Ohne praktische Übungen und Erklärungen im Tutorium hätte ich wahrscheinlich überhaupt nichts kapiert. Für das reine Selbststudium ist das Buch m.E. ungeeignet.

Deshalb kann ich vorbereitend/ergänzend zu diesem Buch K.U. Witts Buch "Algebraische Grundlagen der Informatik" (erschienen ebenfalls im Vieweg-Verlag) einem jeden ans Herz legen, der vorhat sich dieses Buch zu kaufen. Die Themengebiete - endliche Automaten und reguläre Sprachen, kontextfreie Sprachen und Kellerautomaten, Berechenbarkeit und Komplexität - sind successiv aufgebaut und strotzen vor allem an Text und Beispielen, leider zum Teil auf Kosten der Lesbarkeit und Einfachheit.

Ich glaub ich muss mir echt 2-3 Bücher bestellen, um die ganze Materie zu verstehen. Das wird dann aber verdammt teuer

sarfuan

Nur eine Idee - ohne jetzt einen konkreten Buchtipp zu haben - aber wenn dir zu kompliziert ist, was die Informatiker daraus gemacht haben, versteif dich nicht auf den Begriff "Theoretische Informatik". Begriffe wie "(Formale) Sprache", "Syntax", "Semantik" und "Grammatik" kommen nicht von ungefähr. Chomsky war Professor für Linguistik. Schau also doch einfach mal, ob du etwas zu theoretischer Linguistik findest. Da ist der Einstieg vielleicht einfacher.

Jester

theoInf schrieb:

Das Buch meine ich:
Theoretische Informatik - kurzgefasst.
von Uwe Schöning
Darauf wird in einigen Uni Skripten verwiesen und die Leseprobe bei Amazon sah ganz gut und verständlich aus.

Auch dieser Schöning ist eher ein Büchlein. Das absolute Minimum für einen Informatiker. Eignet sich aber sehr gut um nen kleinen Überblick über die Thematik zu kriegen.

Korbinian

...und es ist (aus eigener erfahrung) sehr gut zum selbststudium geeignet. wirklich sehr verständlich erklärt, und wenn du den drauf hast, dann hast du zumindest einen guten grundstock für die theoretische info