Lá nao tem universidade de gracas , pagar uma taxa por mês, mas tem passar o dia todo estudando, e as pessas nao trabalhar por contar disso.
Tem varios cursos, tem cusro que nunca ouvi falar aqui.
http://www.universia.com.br/materia/materia.jsp?materia=6874
http://www.expo-studyabroad.com/pt/Conteudo.asp?CodigoConteudo=20080611080108&CodigoSecao=18
In Münche
Universidade de Tübingen
Segundo semestre de 2000/2001
Logiken für Programme (seminário)
Primeiro semestre de 2000/2001
Einführung in die Logikprogrammierung (curso)
Organisation des Kolloquiums Logik und Sprachtheorie
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)
http://centria.fct.unl.pt/~kahle/lehre.pt.html#m
QUALQUER COISA TOU AREA: