Nonlinear higher-order eigenvalue problems: positivity of first eigenfunctions and validity of the Faber-Krahn inequality
Por Enea Parini (Institut de Mathématiques de Marseille, Aix-Marseille Université).
Por Enea Parini (Institut de Mathématiques de Marseille, Aix-Marseille Université).
An introduction to Constructive Zermelo-Frankel set theory / A calculus for worms
15h00
An introduction to Constructive Zermelo-Frankel set theory
Nicola Gambino (University of Leeds)
Por Eric Carlen (Department of Mathematics - Rutgers University, CMAF-CIO).
A sessão de 60 Minutos de Ciência do mês de dezembro de 2017 integra esta iniciativa ocorrida a 14 de dezembro de 2017, no Caleidoscópio.
A palestra integrada no ciclo Matemática às Terças ocorreu no dia 12 de dezembro de 2017, no campus de Ciências.
Carlos Albuquerque, professor do DM Ciências, apresentou a palestra.
A palestra integrada no ciclo Matemática às Terças ocorreu no dia 21 de novembro de 2017, no campus de Ciências.
António Machiavelo (DM – FCUP) apresentou a palestra.
Beatriz Ferraz Marreiros defende o trabalho de projeto "Uma visão sobre uma forma de retenção de clientes nos seguros automóveis".
Por Imme Van Den Berg (Universidade de Évora).
Por Jean-Éric Pin (Institut de Recherche en Informatique Fondamentale, CNRS et University Paris-Diderot).
Abstract: Difference hierarchies were originally introduced by Hausdorff and they play an important role in descriptive set theory. In this lecture, I will review standard techniques on difference hierarchies, mostly due to Hausdorff. These techniques will be illustrated by some decidability results on difference hierarchies based on shuffle ideals and polynomials of group languages.