Vorträge zu Theoretische Informatik / Logik


Datum

Thema

Referent

PDF

Unterlagen


20.11.06

Scanner- und Parsergeneratoren Lex und Yacc

A. Koll

PDF

Unterlagen

11.12.06

Einführung in PROLOG

C. Stocker

PDF

Unterlagen

18.12.06

Turingmaschinensimulatoren mit Beispielen

W. Belkin

PDF

Unterlagen

18.12.06

Aussagenlogisches Beweisen mit der Davis Putnam Prozedur

D. Honisch

PDF

Unterlagen

18.12.06

Grenzen der Logik

M. Biggel

PDF

Unterlagen

08.01.07

Constraint Logic Programming

E. Wagner

PDF

Unterlagen

08.01.07

LeanCop, ein einfacher Beweiser für PL1

M. Merk

PDF

Unterlagen

15.01.07

Komplexitšatsklassen

E. Drotleff

PDF

Unterlagen

15.01.07

Defaultlogik

B. Rana

PDF

Unterlagen

15.01.07

Anwendung des Situationskalküls in PROLOG
am Beispiel eines Geschichtenerzeugungsprogramms

M. Baumann

PDF

Unterlagen

22.01.07

Fuzzy Logic

F. Krapp

PDF

Unterlagen

22.01.07

Modallogik

A. Usadel

PDF

Unterlagen

22.01.07

Ackermannfunktion

A. Eyertas

PDF

Unterlagen


Dirk Honisch, 13.2.07