Disciplinas de Lógica no Brasil e no Mundo
De Wiki DAINF
(Diferença entre revisões)
Linha 1: | Linha 1: | ||
− | * Disciplina: | + | * Nome da Disciplina: Logica |
− | ** Professor Marcello D'Agostino | + | ** Professor: Marcello D'Agostino |
− | ** Università di Ferrara | + | ** Local: Università di Ferrara |
− | ** http://web.unife.it/utenti/marcello.dagostino/didattica.htm | + | ** Sítio: http://web.unife.it/utenti/marcello.dagostino/didattica.htm |
− | *** Contém ''slides'' (''diapositive'') em italiano. | + | *** Obs.: Contém ''slides'' (''diapositive'') em italiano. |
− | * | + | * Disciplina: Logic |
− | ** Professor Ian Hodkinson | + | ** Professor: Ian Hodkinson |
− | ** Imperial College, London | + | ** Local: Imperial College, London |
− | ** http://www.doc.ic.ac.uk/~imh/teaching/140_logic/logic.html | + | ** Sítio: http://www.doc.ic.ac.uk/~imh/teaching/140_logic/logic.html |
− | ** http://www.doc.ic.ac.uk/teaching/coursedetails/140 | + | ** 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 |
Edição de 11h38min de 13 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.
- 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