| CÓDIGO | Assuntos | DEDALUS | Produção (BDPI) | Teses (BDDT) | FAPESP | ASSUNTOS | |
|---|---|---|---|---|---|---|---|
| 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 |
|
|
|
|
|
|
| CE550.36.9 | LÓGICA PARACONSISTENTE |
|
|
|
|
|
|
| CE550.37 | MATEMÁTICA APLICADA |
|
|
|
|
|
|
| CE550.37.1 | ANÁLISE NUMÉRICA |
|
|
|
|
|
|
| CE550.37.1.1 | ACELERAÇÃO DE CONVERGÊNCIA |
|
|
|
|
|
|
| CE550.37.1.10 | APROXIMAÇÃO NUMÉRICA |
|
|
|
|
|
|
| CE550.37.1.10.1 | INTEGRAÇÃO NUMÉRICA |
|
|
|
|
|
|
| CE550.37.1.11 | APROXIMAÇÃO POR MÍNIMOS QUADRADOS |
|
|
|
|
|
|
| CE550.37.1.12 | AVALIAÇÃO DE FUNÇÕES ESPECIAIS |
|
|
|
|
|
|
| CE550.37.1.13 | CÁLCULO GRÁFICO |
|
|
|
|
|
|
| CE550.37.1.13.1 | RÉGUA DE CÁLCULO |
|
|
|
|
|
|
| CE550.37.1.14 | DESIGUALDADES VARIACIONAIS |
|
|
|
|
|
|
| CE550.37.1.15 | DIFERENÇAS FINITAS |
|
|
|
|
|
|
| CE550.37.1.15X | EQUAÇÕES DE DIFERENÇA FINITA ver DIFERENÇAS FINITAS |
|
|
|
|
|
|
| CE550.37.1.16 | EQUAÇÕES ALGÉBRICAS LINEARES |
|
|
|
|
|
|
| CE550.37.1.17 | MÉTODOS DE LIBERAÇÃO |
|
|
|
|
|
|