|
|
|
| Apostila desenvolvida por Ilan Chamovitz (orientado da Professora Sueli Mendes) | |
| Apostila da Professora Marisa Gaspar | http://sites.uol.com.br/mjgaspar/logica/logica |
| Tutorial de de Lógica - Jorge Nuno Silva (Portugal) | http://www.lmc.fc.ul.pt/~jnsilva/logica97/logica97.html |
| Fontini – Apostila sobre Lógica | http://www.angelfire.com/bc/fontini/logica.html |
| Uma Introdução ao Aprendizado Simbólico de Máquina por Exemplos (USP) | http://labic.icmc.sc.usp.br/didatico/PostScript/ML.html |
| Universidade de Oxford - Introduction to Logic | http://logic.philosophy.ox.ac.uk |
| Logic Tutor - by Michael K. Green An interactive tutorial program | http://www.wwnorton.com/college/phil/logic3/welcome.htm |
| Tutorial: The Power of Logic Web Tutor is a free tutoria | http://www.poweroflogic.com/cgi/menu.cgi |
| Lógica: Os fundamentos da Lógica Proposicional, Projeto Open To Europe | http://www.informatik.htw-dresden.de/~nestleri/main.html |
| Recursos para la enseñanza-aprendizaje de la lògica - Seleccion por Moris Polanco | http://www.economia.ufm.edu.gt/mpolanco/logica/enlaces.htm |
| Laboratório de Inteligência Computacional da Universidade de São Paulo | http://labic.icmsc.sc.usp.br/portugues/courses.htm |
| Apostila com noções de Lógica Fuzzy, Lógica Proposicional e de Predicados (PCS/USP) | Apostila em PDF |
| Sociedade Brasileira De Lógica | http://www.cle.unicamp.br/sbl/BoletimSBL2002.htm |
1. Logicola (programa muito bom com lógica proposicional e de predicados): Programa Logicola
2. The Logic Daemon is a proof checker designed to accompany Logic Primer ©2001 MIT
Press.
http://logic.tamu.edu/daemon.html
3. PropositionApplet
http://www.oursland.net/aima/propositionApplet.html
4. Programas sobre Lógica da Universidade de Oxford - Paul Tomassi´s Logic@ (applet java)
http://www.oxford-virtual.com/Philosophy/Tomassi/index.html