Disciplinas de Lógica no Brasil e no Mundo
De Wiki DAINF
(Diferença entre revisões)
Linha 1: | Linha 1: | ||
− | * Nome da | + | * Nome da disciplina: Logica |
** Professor: Marcello D'Agostino | ** Professor: Marcello D'Agostino | ||
** Local: Università di Ferrara | ** Local: Università di Ferrara | ||
Linha 5: | Linha 5: | ||
*** Obs.: Contém ''slides'' (''diapositive'') em italiano. | *** Obs.: Contém ''slides'' (''diapositive'') em italiano. | ||
− | * | + | |
+ | * Nome da disciplina: Logic | ||
** Professor: Ian Hodkinson | ** Professor: Ian Hodkinson | ||
** Local: Imperial College, London | ** Local: Imperial College, London | ||
Linha 17: | Linha 18: | ||
** Sítio: http://www.postech.ac.kr/~gla/cs433/index.html | ** Sítio: http://www.postech.ac.kr/~gla/cs433/index.html | ||
*** Obs.: contém materiais e artigos em PS e PDF | *** 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/ |
Edição de 10h33min de 20 de fevereiro 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/