Por Diogo Caetano (Mestrando em Matemática, CMAF-CIO, FCUL).
This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project UID/MAT/04561/2013.
Em 2016 o Relógio de Sol foi o recurso educativo galardoado com o Prémio de Excelência da Casa das Ciências. Relógio de Sol é uma aplicação interativa centrada no funcionamento dos relógios de Sol, reúne informação sobre os fenómenos astronómicos ligados à medição do tempo.
Por Pedro Pinto (Universidade de Lisboa, CMAF-CIO).
Abstract: In [2], Kohlenbach did an analysis of the proof of Browder's theorem (in [1]) via the monotone functional interpretation. I will be following the same outline but guided by the bounded functional interpretation ([3], [4]). Although the bounds obtained are the same, this example provides a first look at how the bounded functional interpretation works in practice.
Por Manuel Martins (Universidade de Aveiro).
O encontro, a decorrer nos dias 30 de junho e 01 de julho de 2017, contará com um núcleo de comunicações que incidirá sobre o tema "Os Militares e a Matemática". Em particular, o 30.º SNHM contará com a conferencista convidada, Liliane Alfonsi (Université Paris Sud, Laboratoire EST-GHDSO) que apresentará a comunicação “La guerre de sept ans (1756-1763) et ses conséquences pour les écoles militaires françaises”.
Por Stefano Negro (Ecole Normale Supérieure de Paris).
A visita do orador é financiada pelo projeto PTDC/MAT-STA/0975/2014.
Ezgi Su
CMAFCIO, Universidade de Lisboa
Por Rui Alberto Pimenta Rodrigues (Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa).
Abstract: (Deep) Neural networks seem to be achieving the targets drawn for Artificial Intelligence in the early 60's. We will present the practical accomplishments. The underlying mathematical models will be discussed:
Por João Gouveia (Universidade de Coimbra).
