Sobre a compacidade lógica e topológica

Os ambientes da L´ogica e da Topologia tˆem a compacidade como uma propriedade importante. Nos dois diferentes contextos as no¸c˜oes de compacidade s˜ao diversas. Na l´ogica, dizemos que um conjunto de f´ormulas ∆ ´e compacto quando a existˆencia de modelo para todo subconjunto finito de ∆ implica que tamb´em ∆ tem modelo. A l´ogica ´e compacta, se o conjunto de suas f´ormulas v´alidas ´e compacto. Na topologia, um conjunto A ´e compacto, caso qualquer cobertura de A por abertos admita uma subcobertura finita. Neste trabalho, mostramos uma maneira de relacionar tais no¸c˜oes de compacidade.

Existência e concentração de soluções para uma equação de schrödinger estacionária

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Regra de Sinais de Descartes para polinômios ortogonais

Pós-graduação em Matematica Aplicada e Computacional - FCT

Uma contribuição a teoria dos números e reticulados

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Um estudo sobre limites duais para o problema integrado de dimensionamento de lotes e sequenciamento da produção

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Aprendizado de máquina baseado em tensores e suas aplicacções para floresta de caminhos ótimos

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Detecção de impressões digitais fraudulentas utilizando padrões mapeados localmente em multiescala

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Formalização do conjunto dos números racionais e alguns jogos com frações

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Modelagem matemática para otimização de um potencial hidráulico utilizando turbinas Francis e Kaplan

Pós-graduação em Engenharia Mecânica - FEG

Framework para integração semântica de dados geoespaciais: integração de dados geológicos

Pós-graduação em Ciência da Computação - IBILCE

Movimentos que permeiam o devir professor de matemática de alguns licenciandos

Pós-graduação em Educação Matemática - IGCE

Modelagem matemática: uma abordagem do método gráfico e do método simplex na resolução de problemas de otimização

Pós-graduação em Matemática em Rede Nacional - IBILCE

Estudos de técnicas de reinicialização em métodos level-set e suas aplicações em escoamentos bifásicos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Modelos lineares generalizados bayesianos para dados longitudinais

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Modelo de Fisher-Kolmogorov em dinâmica populacional com capacidade de suporte espacialmente dependente

Pós-graduação em Física - IFT