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/
