| CÓDIGO | Assuntos | DEDALUS | Produção (BDPI) | Teses (BDDT) | FAPESP | ASSUNTOS | |
|---|---|---|---|---|---|---|---|
| CE550.36.11 | TEORIA DOS MODELOS |
|
|
|
|
 |
|
| CE550.36.11.1 | TEORIA DOS TIPOS |
|
|
|
|
|
|
| CE550.36.12 | TEORIA DA RECURSÃO |
|
|
|
|
|
|
| CE550.36.12.1 | INDECIDIBILIDADE |
|
|
|
|
|
|
| CE550.36.12X | FUNÇÃO RECURSIVA ver TEORIA DA RECURSÃO |
|
|
|
|
|
|
| CE550.36.12X | TEORIA DA FUNÇÃO RECURSIVA ver TEORIA DA RECURSÃO |
|
|
|
|
|
|
| CE550.36.13 | TEORIA DOS CONJUNTOS |
|
|
|
|
|
|
| CE550.36.13.1 | TEORIA DESCRITIVA DOS CONJUNTOS |
|
|
|
|
|
|
| CE550.36.13.2 | INDEPENDÊNCIA E CONSISTÊNCIA |
|
|
|
|
|
|
| CE550.36.13.3 | TEOREMA DE ZORN |
|
|
|
|
|
|
| CE550.36.13.3X | LEMA DE ZORN ver TEOREMA DE ZORN |
|
|
|
|
|
|
| CE550.36.13.4 | NÚMEROS ORDINAIS E CARDINAIS |
|
|
|
|
|
|
| CE550.36.13.5 | TEORIA COMBINATÓRIA DOS CONJUNTOS |
|
|
|
|
|
|
| CE550.36.13.6 | HIPÓTESE DO CONTÍNUO |
|
|
|
|
|
|
| CE550.36.13X | TEORIA AXIOMÁTICA DOS CONJUNTOS ver TEORIA DOS CONJUNTOS |
|
|
|
|
|
|
| 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 |
|
|
|
|
|
|