Disciplinas de Lógica no Brasil e no Mundo

De Wiki DAINF

(Diferença entre revisões)

Edição de 15h07min de 15 de abril de 2011

Nome da disciplina: Logica
- Professor: Marcello D'Agostino
- Local: Università di Ferrara
- Sítio: http://web.unife.it/utenti/marcello.dagostino/didattica.htm
  - Obs.: Contém slides (diapositive) em italiano.

Nome da disciplina: Lógica Informática
- Professor: José A. Alonso
- Local: Universidad de Sevilla
- Sítio: http://www.cs.us.es/~jalonso/cursos/li-10/
- Blog: http://www.glc.us.es/~jalonso/vestigium/tag/li2011/

Nome da disciplina: Logic in Computer Science
- Professor: Sungwoo Park
- Local: Pohang University of Science and Technology
- Sítio: http://www.postech.ac.kr/~gla/cs433/index.html
  - Obs.: contém materiais e artigos em PS e PDF

Nome da disciplina: Logic in Computer Science
- Professor: Moshe Y. Vardi
- Local: Rice University
- Sítio: http://www.cs.rice.edu/~vardi/comp409/index.html
  - Obs.: contém materiais e artigos em PS e PDF

Nome da disciplina: Lógica para Computação
- Professor: Jomi Fred Hübner (obs.: em 2009, o prof. Jomi foi para a UFSC: http://www.das.ufsc.br/~jomi/)
- Local: FURB
- Sítio: http://www.inf.furb.br/~jomi/logica/
  - Slides: http://www.inf.furb.br/~jomi/logica/slides/

Nome da disciplina: Lógica Computacional: demonstração assistida e semi-automática de teoremas
- Professor: João Marcos
- Local: UFRN
- Sítio: http://www.dimap.ufrn.br/~jmarcos/courses/LC/Ementa.htm

Nome da disciplina: Lógica Aplicada
- Professor: Cesar Tacla
- Local: UTFPR
- Sítio: http://www.dainf.ct.utfpr.edu.br/~tacla/Logica/

@@ Linha 6: / Linha 6: @@
 ** Sítio: http://web.unife.it/utenti/marcello.dagostino/didattica.htm
 *** Obs.: Contém ''slides'' (''diapositive'') em italiano.
+== Em espanhol ==
+* Nome da disciplina: Lógica Informática
+** Professor: José A. Alonso
+** Local: Universidad de Sevilla
+** Sítio: http://www.cs.us.es/~jalonso/cursos/li-10/
+** Blog: http://www.glc.us.es/~jalonso/vestigium/tag/li2011/
 == Em inglês ==