Disciplinas de Lógica no Brasil e no Mundo
De Wiki DAINF
(Diferença entre revisões)
(→Em português) |
(→Em português) |
||
Linha 40: | Linha 40: | ||
** Local: UFSCAR | ** Local: UFSCAR | ||
** Sítio: http://www2.dc.ufscar.br/~jose/courses/06-1/il/index.htm | ** 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 | + | *** Apostila: http://www2.dc.ufscar.br/~jose/courses/06-1/il/Introducao-a-logica.pdf |
− | + | ||
* Nome da disciplina: Lógica Aplicada | * Nome da disciplina: Lógica Aplicada |
Edição de 15h13min de 26 de junho de 2009
Em italiano
- 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.
Em inglês
- Nome da disciplina: Logic
- Professor: Ian Hodkinson
- Local: Imperial College, London
- Sítio: http://www.doc.ic.ac.uk/~imh/teaching/140_logic/logic.html
- Sítio: http://www.doc.ic.ac.uk/teaching/coursedetails/140
- 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
Em português
- Nome da disciplina: Lógica para Computação
- Professor: José Guimarães
- Local: UFSCAR
- Sítio: http://www2.dc.ufscar.br/~jose/courses/09-1/LC/index.htm
- 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
- Nome da disciplina: Lógica Aplicada
- Professor: Cesar Tacla
- Local: UTFPR
- Sítio: http://www.dainf.ct.utfpr.edu.br/~tacla/Logica/
- Nome das disciplinas: Lógica I e Lógica II
- Professor: Ricardo Tassinari
- Local: UNESP
- Sítio: http://www.marilia.unesp.br/index.php?CodigoMenu=2781&CodigoOpcao=2841&Opcao=2833