| CÓDIGO | Assuntos | DEDALUS | Produção (BDPI) | Teses (BDDT) | FAPESP | ASSUNTOS | |
|---|---|---|---|---|---|---|---|
| CE550.36.14 | MATEMÁTICA CONSTRUTIVA |
|
|
|
|
 |
|
| CE550.36.14.1 | METAMATEMÁTICA |
|
|
|
|
|
|
| CE550.36.15 | TEORIA DA DEMONSTRAÇÃO |
|
|
|
|
|
|
| CE550.36.15.1 | TEOREMA DE GODEL’S |
|
|
|
|
|
|
| CE550.36.15X | TEORIA DA PROVA ver TEORIA DA DEMONSTRAÇÃO |
|
|
|
|
|
|
| CE550.36.16 | LÓGICA ALGÉBRICA |
|
|
|
|
|
|
| CE550.36.16.1 | LÓGICA CATEGÓRICA |
|
|
|
|
|
|
| CE550.36.17 | MODELOS NÃO STANDARD |
|
|
|
|
|
|
| CE550.36.18 | ESTRUTURA DA RETA REAL |
|
|
|
|
|
|
| CE550.36.19 | LINGUAGENS INFINITÁRIAS |
|
|
|
|
|
|
| CE550.36.19X | MÉTODOS INFINITÁRIOS ver LINGUAGENS INFINITÁRIAS |
|
|
|
|
|
|
| CE550.36.1X | SISTEMAS DIFUSOS ver LÓGICA FUZZY |
|
|
|
|
|
|
| CE550.36.1X | FUZZY NEURAL ver LÓGICA FUZZY |
|
|
|
|
|
|
| CE550.36.1X | FUZZY SET ver LÓGICA FUZZY |
|
|
|
|
|
|
| CE550.36.1X | FUZZY SYSTEMS ver LÓGICA FUZZY |
|
|
|
|
|
|
| CE550.36.2 | LÓGICA COMBINATÓRIA |
|
|
|
|
|
|
| CE550.36.20 | LÓGICA POLIVALENTE |
|
|
|
|
|
|
| CE550.36.21 | LÓGICA SIMBÓLICA |
|
|
|
|
|
|
| CE550.36.21.1 | CÁLCULO PROPOSICIONAL |
|
|
|
|
|
|
| CE550.36.22 | SISTEMAS LÓGICOS CLÁSSICOS |
|
|
|
|
|
|
| CE550.36.23 | LÓGICA MATEMÁTICA APLICADA |
|
|
|
|
|
|
| CE550.36.3 | LÓGICA DE ORDEM SUPERIOR |
|
|
|
|
|
|
| CE550.36.4 | LÓGICA DE PRIMEIRA ORDEM |
|
|
|
|
|
|
| CE550.36.5 | LÓGICA INTUICIONISTA |
|
|
|
|
|
|
| CE550.36.6 | LÓGICA MODAL |
|
|
|
|
|
|
| CE550.36.6X | MODALIDADE ver LÓGICA MODAL |
|
|
|
|
|
|
| CE550.36.7 | METODOLOGIA DOS SISTEMAS DEDUTIVOS |
|
|
|
|
|
|
| CE550.36.7X | SISTEMAS DEDUTIVOS ver METODOLOGIA DOS SISTEMAS DEDUTIVOS |
|
|
|
|
|
|
| CE550.36.8 | SISTEMAS LÓGICOS NÃO CLÁSSICOS |
|
|
|
|
|
|
| CE550.36.8X | LÓGICA HETERODOXA ver SISTEMAS LÓGICOS NÃO CLÁSSICOS |
|
|
|
|
|
|