Disciplinas de Lógica no Brasil e no Mundo

De Wiki DAINF

(Diferença entre revisões)

Edição de 15h12min de 26 de junho de 2009

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: 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: Introdução à Lógica
- Professor: José Guimarães
- Local: UFSCAR
- Sítio: http://www2.dc.ufscar.br/~jose/courses/06-1/il/index.htm
  - Apostila: http://www2.dc.ufscar.br/~jose/courses/06-1/il/Introducao-a-logica.pdf (pode estar desatualizada...)

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

@@ Linha 35: / Linha 35: @@
 *** Apostila: http://www2.dc.ufscar.br/~jose/courses/09-1/LC/Logica%20para%20Computacao.pdf
 *** Gabarito da apostila: http://www2.dc.ufscar.br/~jose/courses/09-1/LC/gabarito.pdf
+* Nome da disciplina: Introdução à Lógica
+** Professor: José Guimarães
+** Local: UFSCAR
+** Sítio: http://www2.dc.ufscar.br/~jose/courses/06-1/il/index.htm
+*** Apostila: http://www2.dc.ufscar.br/~jose/courses/06-1/il/Introducao-a-logica.pdf (pode estar desatualizada...)
 * Nome da disciplina: Lógica Aplicada