Disciplinas de Lógica no Brasil e no Mundo
De Wiki DAINF
(Diferença entre revisões)
(→Em português) |
|||
(7 edições intermediárias de um usuário não apresentadas) | |||
Linha 6: | Linha 6: | ||
** Sítio: http://web.unife.it/utenti/marcello.dagostino/didattica.htm | ** Sítio: http://web.unife.it/utenti/marcello.dagostino/didattica.htm | ||
*** Obs.: Contém ''slides'' (''diapositive'') em italiano. | *** Obs.: Contém ''slides'' (''diapositive'') em italiano. | ||
+ | |||
+ | == Em espanhol == | ||
+ | |||
+ | * Nome da disciplina: Lógica Informática | ||
+ | ** Professor: José A. Alonso | ||
+ | ** Local: Universidad de Sevilla | ||
+ | ** Sítio: http://www.cs.us.es/~jalonso/cursos/li-10/ | ||
+ | ** Blog: http://www.glc.us.es/~jalonso/vestigium/tag/li2011/ | ||
== Em inglês == | == Em inglês == | ||
Linha 28: | Linha 36: | ||
== Em português == | == Em português == | ||
+ | |||
+ | * Nome da disciplina: Lógica para Computação | ||
+ | ** Professor: Jomi Fred Hübner (obs.: em 2009, o prof. Jomi foi para a UFSC: http://www.das.ufsc.br/~jomi/) | ||
+ | ** Local: FURB | ||
+ | ** Sítio: http://www.inf.furb.br/~jomi/logica/ | ||
+ | *** Slides: http://www.inf.furb.br/~jomi/logica/slides/ | ||
+ | |||
+ | * Nome da disciplina: Lógica Computacional: demonstração assistida e semi-automática de teoremas | ||
+ | ** Professor: João Marcos | ||
+ | ** Local: UFRN | ||
+ | ** Sítio: http://www.dimap.ufrn.br/~jmarcos/courses/LC/Ementa.htm | ||
* Nome da disciplina: Lógica para Computação | * Nome da disciplina: Lógica para Computação | ||
Linha 40: | Linha 59: | ||
** Local: UFSCAR | ** Local: UFSCAR | ||
** Sítio: http://www2.dc.ufscar.br/~jose/courses/06-1/il/index.htm | ** Sítio: http://www2.dc.ufscar.br/~jose/courses/06-1/il/index.htm | ||
− | *** Apostila: http://www2.dc.ufscar.br/~jose/courses/06-1/il/Introducao-a-logica.pdf | + | *** Apostila: http://www2.dc.ufscar.br/~jose/courses/06-1/il/Introducao-a-logica.pdf |
− | + | ||
* Nome da disciplina: Lógica Aplicada | * Nome da disciplina: Lógica Aplicada | ||
Linha 52: | Linha 70: | ||
** Local: UNESP | ** Local: UNESP | ||
** Sítio: http://www.marilia.unesp.br/index.php?CodigoMenu=2781&CodigoOpcao=2841&Opcao=2833 | ** Sítio: http://www.marilia.unesp.br/index.php?CodigoMenu=2781&CodigoOpcao=2841&Opcao=2833 | ||
+ | |||
+ | * Nome da disciplina: Lógica para Computação | ||
+ | ** Professor: Marcus Ritt | ||
+ | ** Local: UFRGS | ||
+ | ** Sítio: http://www.inf.ufrgs.br/~mrpritt/doku.php?id=inf05508:homepage | ||
+ | *** Apostila: http://www.inf.ufrgs.br/~mrpritt/lib/exe/fetch.php?media=inf05508:lpc-notas-3014.pdf | ||
+ | |||
+ | * Nome da disciplina: Lógica para Computação | ||
+ | ** Professor: Daniel Callegari | ||
+ | ** Local: PUC-RS | ||
+ | ** Sítio: http://www.inf.pucrs.br/~danielc/logica_material/ | ||
+ | *** Apostila: http://www.inf.pucrs.br/~danielc/logica_material/Logica%20para%20Computacao%20-%20Anterior.pdf | ||
+ | |||
+ | * Nome da disciplina: INE5381 - FundAMENTOS MatemÁTICOS da Informática | ||
+ | ** Professor: Mauro Roisenberg | ||
+ | ** Local: UFSC | ||
+ | ** Sítio: http://www.inf.ufsc.br/~mauro/ine5381/5381.html | ||
+ | *** Apostila: http://www.inf.ufsc.br/~mauro/ine5381/leituras/apostila.pdf | ||
+ | |||
+ | * Nome da disciplina: Lógica para Computação - INF1009 | ||
+ | ** Professor: Bruno Lopes e Manuela Cruz | ||
+ | ** Local: PUC-RIO | ||
+ | ** Sítio: http://www.tecmf.inf.puc-rio.br/LGRAD |
Edição atual tal como 13h21min de 19 de junho de 2012
Tabela de conteúdo |
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 espanhol
- Nome da disciplina: Lógica Informática
- Professor: José A. Alonso
- Local: Universidad de Sevilla
- Sítio: http://www.cs.us.es/~jalonso/cursos/li-10/
- Blog: http://www.glc.us.es/~jalonso/vestigium/tag/li2011/
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 para Computação
- Professor: Jomi Fred Hübner (obs.: em 2009, o prof. Jomi foi para a UFSC: http://www.das.ufsc.br/~jomi/)
- Local: FURB
- Sítio: http://www.inf.furb.br/~jomi/logica/
- Nome da disciplina: Lógica Computacional: demonstração assistida e semi-automática de teoremas
- Professor: João Marcos
- Local: UFRN
- Sítio: http://www.dimap.ufrn.br/~jmarcos/courses/LC/Ementa.htm
- Nome da disciplina: Lógica para Computação
- Professor: José Guimarães
- Local: UFSCAR
- Sítio: http://www2.dc.ufscar.br/~jose/courses/09-1/LC/index.htm
- Nome da disciplina: Introdução à Lógica
- Professor: José Guimarães
- Local: UFSCAR
- Sítio: http://www2.dc.ufscar.br/~jose/courses/06-1/il/index.htm
- 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
- Nome da disciplina: Lógica para Computação
- Professor: Marcus Ritt
- Local: UFRGS
- Sítio: http://www.inf.ufrgs.br/~mrpritt/doku.php?id=inf05508:homepage
- Nome da disciplina: Lógica para Computação
- Professor: Daniel Callegari
- Local: PUC-RS
- Sítio: http://www.inf.pucrs.br/~danielc/logica_material/
- Nome da disciplina: INE5381 - FundAMENTOS MatemÁTICOS da Informática
- Professor: Mauro Roisenberg
- Local: UFSC
- Sítio: http://www.inf.ufsc.br/~mauro/ine5381/5381.html
- Nome da disciplina: Lógica para Computação - INF1009
- Professor: Bruno Lopes e Manuela Cruz
- Local: PUC-RIO
- Sítio: http://www.tecmf.inf.puc-rio.br/LGRAD