Disciplinas de Lógica no Brasil e no Mundo
De Wiki DAINF
(Diferença entre revisões)
Linha 24: | Linha 24: | ||
** Local: UTFPR | ** Local: UTFPR | ||
** Sítio: http://www.dainf.ct.utfpr.edu.br/~tacla/Logica/ | ** Sítio: http://www.dainf.ct.utfpr.edu.br/~tacla/Logica/ | ||
+ | |||
+ | * Nome das disciplinas: Lógica I e Lógica II | ||
+ | ** Professor: [http://www.marilia.unesp.br/index.php?CodigoMenu=2781&CodigoOpcao=2781 Ricardo Tassinari] | ||
+ | ** Local: UNESP | ||
+ | ** Sítio: http://www.marilia.unesp.br/index.php?CodigoMenu=2781&CodigoOpcao=2841&Opcao=2833 |
Edição de 12h27min de 27 de março 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
- 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: 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