Disciplinas de Lógica no Brasil e no Mundo

De Wiki DAINF

(Diferença entre revisões)

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.

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

@@ Linha 1: / Linha 1: @@
-* Disciplina: Lógica
+* 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.
-* Disciplinas: Lógica
+* 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