Ementa
|
Arquivo |
|
In Raymond Smullyan, "Eternamente Indeciso", trad. João Marcos
|
Link |
|
Slides do Prof. Diego Nascimento sobre Lógica
|
Link |
|
Cap. Lógica Clássica Proposicional do prof. João Marcos
|
Link |
|
Curso LÓGICA COMPUTACIONAL: demonstração assistida e semi-automática de teoremas do Prof. João Marcos
|
Link |
|
Projeto Logicamente
|
Link |
|
Exercício: Lógica e Representação do Conhecimento Expresso na Linguagem Natural
|
Link |
|
Lógica Proposicional: Linguagem e Semântica
|
Link |
|
Lógica Proposicional: Consequência Semântica
|
Link |
|
Uma breve historia da Lógica
|
Link |
|
Lógica Proposicional: Consequência Semântica II
|
Arquivo |
