Ver código-fonte

== 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: [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 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
** Professor: José Guimarães
** Local: UFSCAR
** Sítio: http://www2.dc.ufscar.br/~jose/courses/09-1/LC/index.htm
*** Apostila: http://www2.dc.ufscar.br/~jose/courses/09-1/LC/Logica%20para%20Computacao.pdf
*** Gabarito da apostila: http://www2.dc.ufscar.br/~jose/courses/09-1/LC/gabarito.pdf

* 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
*** Apostila: http://www2.dc.ufscar.br/~jose/courses/06-1/il/Introducao-a-logica.pdf

* 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: [http://www.marilia.unesp.br/index.php?CodigoMenu=2781&CodigoOpcao=2781 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
*** 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