Navegando por Assunto Logic, Symbolic and mathematical
Mostrando resultados 1 a 5 de 5
| Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
|---|---|---|---|---|
| Pato Branco | - | 2013 | Calculadora proposicional | Martins, Carlos Alexandre Ribeiro; Klein, Adriano Luiz Colago; Garcia, Marlon Fernando |
| Curitiba | - | Set-1991 | As leis lógicas do pensar coerente | Dias, Carlos Magno Corrêa |
| Curitiba | - | Mar-1991 | Lógica matemática: uma introdução ao cálculo proposicional | Dias, Carlos Magno Corrêa |
| Curitiba | Programa de Pós-Graduação em Matemática em Rede Nacional | 10-Fev-2017 | Paradoxos geométricos em sala de aula | Sentone, Francielle Gonçalves |
| Curitiba | - | Mar-1993 | Teoria da argumentação e análise inferencial em lógica matemática | Dias, Carlos Magno Corrêa |