Collection in Proof Mining: a general principle
Por Pedro Pinto (Universidade de Lisboa).
Por Pedro Pinto (Universidade de Lisboa).
Por Eugénio Rocha (CIDMA, Universidade de Aveiro).
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".