Cursos
Diese Seite auf deutsch. 
This page in English.
Voltar à página inicial.
- Primeiro semestre de
2004/2005
- Segundo semestre de
2003/2004
- Algoritmos e Estruturas de Dados II
(aulas teóricas)
- Programação orientada para Objectos
(curso)
- Primeiro semestre de
2003/2004
- Especificação e Verificação
(curso)
- Bases de Dados
(curso)
- Primeiro semestre de
2001/2002
- Applicative theories and explicit mathematics
(curso)
- Segundo semestre de
2000/2001
- Techniques of logic programming
(curso)
- Aulas práticas de
Computer Science II
(aulas teóricas dadas por Prof. Ohlbach),
together with
Norbert Eisinger, Slim Abdennadhar e Bertram Fronhöfer
- Primeiro semestre de
2000/2001
- Synonymy and intensionality
(seminário),
together with Dr. Hans Leiß, Centrum für
Informations- und Sprachverarbeitung.
- Aulas práticas de
Computer Science I
(aulas teóricas dadas por Prof. Bry),
together with
Norbert Eisinger, Slim Abdennadhar e
Bertram Fronhöfer
- Organisation des Kolloquiums Sprache, Information, Logik
(Graduiertenkolleg SIL)
- Segundo semestre de
1999/2000
- Segundo semestre de
2000/2001
- Logiken für Programme (seminário)
- Primeiro semestre de
2000/2001
- Segundo semestre de
1999/2000
- Intensionalität, gemeinsam mit PD Dr. Fritz Hamm,
Institut für Sprachwissenschaften.
- Organisation des Kolloquiums Logik und Sprachtheorie
- Primeiro semestre de
1999/2000
- Einführung in die funktionale Programmierung (curso)
- Quantenlogik und Quantencomputing (seminário), gemeinsam mit
Prof. Klaus-Jörn Lange und Dr. Andreas Weber.
- Organisation des Kolloquiums Logik und Sprachtheorie
- Segundo semestre de
1998/1999
- Einführung in die Logikprogrammierung (curso)
- Aulas práticas de Kombinatorische Logik und Lambda-Kalkül
(aulas teóricas dadas por Prof. Schroeder-Heister)
- Organisation des Kolloquiums Logik und Sprachtheorie
- Primeiro semestre de
1998/99
- Logik für Quantoren (seminário), gemeinsam mit Dr. Fritz Hamm,
Institut für Sprachwissenschaften.
- Organisation des Kolloquiums Logik und Sprachtheorie
- Segundo semestre de
1997/1998
- Automatisches Beweisen (Vorlesung)
- Segundo semestre de
1996/1997
- Aulas práticas de Kombinatorische Logik und Lambda-Kalkül
(aulas teóricas dadas por Prof. Schroeder-Heister)
- Primeiro semestre de
2001/2002
- Introdução à Lógica
(aulas teóricas)
- Primeiro semestre de
1993/94
- Aulas práticas de Formale Methoden des Reasoning -
Logik-Programmierung
(aulas teóricas dadas por Prof. Jäger)
Diese Seite auf deutsch. This page in English.
Voltar à página inicial.
Reinhard Kahle, 14.09.04