Mathematical Logic Webinar

A nonstandard model for linear systems with uncertainties

Transmissão através de Videoconferência

Speaker: Imme van den Berg (CIMA, Universidade de Évora).

Abstract: Uncertainties and imprecisions in measurement and calculation are modelled within nonstandard analysis. The approach is asymptotic, taking profit of the existence of infinitesimals and of a large hierarchy of orders of magnitude within the infinitesimals. We do not use groups of functions, like Oh’s and oh’s, but convex groups of real numbers, so-called (scalar) neutrices. They obey algebraic laws not unlike the laws of the real number system itself, modelling error propagation. We study systems of linear equations, treating imprecisions individually by neutrices, both in the coefficients and the right-hand side. The algebraic laws are strong enough for defining the usual concepts of linear algebra and applying general solution methods, like Gauss-Jordan elimination and Cramer’s rule. Solution sets are intermediate between points and linear subspaces, based on neutrices with a well-defined higher dimension.

Joint work with Nam Van Tran, Ho Chi Min City University of Technology and Education, Vietnam, and Júlia Justino, Instituto Politécnico de Setubal.


Zoom Meeting | ID da reunião: 890 8479 3299 - Senha de acesso: 409604

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Seminário de Lógica Matemática, por Paulo Firmino (Faculdade de Ciências da Universidade de Lisboa).

Paleontologia - jovem a examinar fóssil

O curso abordará o vasto registo fóssil de dinossáurios de Portugal, explorando os resultados das mais recentes investigações científicas, bem como a história da investigação paleontológica no nosso país, desde o século XIX até à atualidade. Será também destacada a importância da proteção e valorização do Património Paleontológico nacional.

Aula aberta de Práticas de Engenharia de Software, por Nuno Saavedra (Codeset e IST).

Iconografia relacionada com a temática do curso

O curso fornece uma exploração aprofundada de isótopos estáveis como uma ferramenta valiosa em Ecologia, usando assinaturas isotópicas para rastrear processos ecológicos e revelando insights sobre o ciclo de nutrientes e água, interações de espécies e condições ambientais em diversos ecossistemas e comunidades - candidaturas até 17 de outubro.

Composição de três imagens relativas à área da deteção remota

Este curso visa dar formação na área de Deteção Remota, abrangendo desde a Observação da Terra pelos satélites até à utilização de Drones - candidaturas até 02 de novembro.

Logótipo da Unite! e fotografia de estudante

A sessão apresentará a plataforma digital Agora, um espaço colaborativo que disponibiliza recursos, serviços de aceleração e oportunidades de investigação e inovação, ligando estudantes, docentes e investigadores das alianças Unite! e EPiCUR.

Fotografia do mar e parque eólico

O curso propõe uma imersão nos princípios, desafios e oportunidades da Economia Azul, explorando o papel crucial dos oceanos nas transições ecológica e climática - candidaturas até 13 de novembro.

Fábrica

O evento pretende reunir investigadores que trabalhem sobre temas ligados à indústria e sobre património técnico e industrial, para uma reflexão prospetiva sobre o património industrial e atuais vias de colaboração no seu estudo, salvaguarda e preservação.

Nesta sessão aberta, serão abordadas questões relacionadas com o diagnóstico, o modo como se manifesta, formas de tratamento, impacto no dia a dia e diversidade de manifestações da POC. Será um espaço informal para perguntas, partilha e desmistificação.

Earth Systems Seminar, por Shaghayegh Karimzadeh (University of Minho, Guimarães, Portugal).

Seminário em Biologia Humana e Ambiente, por Susana Lopes (cE3c, Faculdade de Ciências da Universidade de Lisboa).

Grupo de estudantes

O evento propõe um debate aberto sobre a linguagem inclusiva, reconhecendo-a como uma dimensão essencial da equidade e da participação plena de toda a comunidade académica.

Dois participantes em anterior edição da Feira da Matemática

A Feira da Matemática regressa ao MUHNAC e conta, um vez mais, com a participação de vários docentes de CIÊNCIAS!

Pessoa a observar as estrelas

Conheça os aventureiros que expandem os limites da descoberta em todo o mundo.

MISSÃO RAMbo: um percurso em caminhada de sensibilização para a Resistência aos Antimicrobianos (RAM), que decorrerá no Anfiteatro Keil do Amaral, com um percurso de 5,4 km e com possibilidade de trazer o seu melhor amigo (um cão por pessoa).

Logótipo da Semana da Ciência e da Tecnologia 2025

Na Semana da Ciência e da Tecnologia, entre 24 e 30 de novembro 2025, a ciência será novamente a grande protagonista.

Título "Turin Staff Week 2025", sobre fotografia da cidade de Turim

Uma oportunidade única para desenvolver competências, criar redes internacionais e conhecer de perto uma das instituições parceiras da aliança Unite! - inscrições até 21 de setembro.

Título do programa, fotografia de túnel e logótipo da Rede Alumni CIÊNCIAS

As candidaturas estão abertas de 24 de novembro de 2025 a 8 de janeiro de 2026.

Workshop no âmbito do Programa de Saúde e Bem-Estar da ULisboa.

Vista aérea de povoação

A conferência é subordinada ao tema “People and Planet: How the Environment Shapes Human Health”.

Quatro investigadores num laboratório

O curso visa capacitar investigadores, docentes e técnicos para integrar os princípios da economia circular em ambientes laboratoriais académicos - candidaturas até 22 de novembro.

Três investigadores num laboratório

O curso visa capacitar profissionais para aplicar os princípios da economia circular em ambientes laboratoriais industriais, promovendo práticas sustentáveis e eficientes - candidaturas até 22 de novembro.

O evento tem como objetivo aproximar a ciência da sociedade, promovendo o diálogo aberto e a reflexão conjunta sobre temas ligados à mente, cérebro e cognição.

Título "Gostarias de realizar uma mobilidade Erasmus+?" e fotografia de estudante

Candidaturas de 01 a 31 de dezembro - as sessões informativas têm início a 19 de novembro.

Cesto com legumes

O curso tem como principal objetivo capacitar para a implementação e gestão sustentável de espaços de cultivo nas cidades, promovendo a segurança alimentar e a autonomia na produção de alimentos - candidaturas até 02 de novembro.

Páginas