Disciplinas de Lógica no Brasil e no Mundo

Edição atual tal como 13h21min de 19 de junho de 2012

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/
    • 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: 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