Avançar para o conteúdo principal

Bruno Miguel Antunes Dinis

Prof. Auxiliar (Departamento de Matemática)

Contrato Trabalho Funções Públicas por tempo indeterminado

Fotografia
Doutoramento: Matemática e Aplicações (Universidade de Évora - 2013)
Licenciatura: Matemática e Ciências da Computação (Universidade de Évora - 2005)
CIMA - Centro de Investigação em Matemática e Aplicações (Membro Integrado Doutorado)
Matemática
Lógica Matemática; Teoria da Demonstração; Proof Mining; Análise Não-standard; Filosofia da Matemática

CMAFcIO

DINIS, Bruno. Equality and Near-Equality in a Nonstandard World. Logic and Logical Philosophy [online]. 21 May 2022, s. 1-14. DOI 10.12775/LLP.2022.018.
Bruno Dinis, Imme van den Berg, Characterization of distributivity in a solid, Indagationes Mathematicae, Volume 29, Issue 2, April 2018, Pages 580-600 https://doi.org/10.1016/j.indag.2017.10.008.
Bruno Dinis, Imme van den Berg, On the quotient class of non-archimedean fields, Indagationes Mathematicae, 28 (4) (2017, 784-795
Bruno Dinis, Axiomatics for the externa lnumbers of nonstandardanalysis Imme van den Berg, Journal of Logic & Analysis 9:7 (2017) 1-47 ISSN 1759-9008

* Principais publicações selecionadas pelo autor. Para obter mais publicações realize uma pesquisa por nome de autor no Repositório Digital de Publicações Científicas da UÉ.



Eu Sou
Espaço onde poderá selecionar o perfil de acesso que mais se adequa à sua situação.
Candidato UÉ
Oferta Formativa, Conhecer a UÉ, Candidaturas, Apoios Sociais e Documentação Útil
Estudante UÉ
Calendário Escolar, Oportunidades a não perder, Programas de Mobilidade e Atividades Académicas
Docente e Investigador
Unidades de I&D, Notícias em Destaque, Projetos de Investigação, Atividades em desenvolvimento e Conferências
Alumnus
Família UÉ, Atividades Alumni, Testemunhos, Prémios Carreira e Eventos de interesse
Empresa
Submissão de Ofertas de Estágios e Emprego, Prestação de Serviços e Eventos no âmbito empresarial
Eu Quero
Espaço onde poderá selecionar um link rápido, de uma ação que pretende realizar