Disciplinas de Lógica no Brasil e no Mundo
De Wiki DAINF
(Diferença entre revisões)
Linha 1: | Linha 1: | ||
+ | == Em italiano == | ||
+ | |||
* Nome da disciplina: Logica | * Nome da disciplina: Logica | ||
** Professor: Marcello D'Agostino | ** Professor: Marcello D'Agostino | ||
Linha 5: | Linha 7: | ||
*** Obs.: Contém ''slides'' (''diapositive'') em italiano. | *** Obs.: Contém ''slides'' (''diapositive'') em italiano. | ||
+ | == Em inglês == | ||
* Nome da disciplina: Logic | * Nome da disciplina: Logic | ||
Linha 19: | Linha 22: | ||
*** Obs.: contém materiais e artigos em PS e PDF | *** Obs.: contém materiais e artigos em PS e PDF | ||
+ | * Nome da disciplina: Logic in Computer Science | ||
+ | ** Professor: [http://www.cs.rice.edu/~vardi/ Moshe Y. Vardi] | ||
+ | ** Local: Rice University | ||
+ | ** Sítio: http://www.cs.rice.edu/~vardi/comp409/index.html | ||
+ | *** Obs.: contém materiais e artigos em PS e PDF | ||
+ | |||
+ | |||
+ | == Em português == | ||
* Nome da disciplina: Lógica Aplicada | * Nome da disciplina: Lógica Aplicada |
Edição de 16h24min de 5 de maio de 2009
Em italiano
- 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.
Em inglês
- 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: Logic in Computer Science
- Professor: Moshe Y. Vardi
- Local: Rice University
- Sítio: http://www.cs.rice.edu/~vardi/comp409/index.html
- Obs.: contém materiais e artigos em PS e PDF
Em português
- 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