O Centro de Matemática e Aplicações e o Departamento de Matemática da FCT associam-se às várias instituições científicas, universidades, museus e centros de ciência nas comemorações da Semana da Ciência e Tecnologia que decorre de 20 a 26 de novembro.

11-11-2017

16/10/2017, 14h (Seminário): "Mechanical procedures - What is the concept of computation?"

17/10/2017, 14h: "Natural deduction in bi-directional ways"

20/10/2017, 13h: "Natural formalization - The Cantor-Bernstein Theorem derived in ZF"

23/10/2017, 14h: "Automated search for Gödel's Theorems"

16-10-2017

The Workshop on Computational Algebra - Autumn 2017 is part of a series of workshops of which this is the first.

It will take place on December the 2nd at the Faculty of Science and Technology of the NOVA University Lisbon.

13-10-2017

Affiliation: Department of Philosophy, Carnegie Mellon University

Venue: Office 2, 3rd floor of the Mathematics Department Building

Dates: 9/10/2017 to 25/10/2017

03-10-2017

Orador: Professor ALBERT N. SHIRYAEV - Steklov Mathematical Institute of the Russian Academy of Sciences and Lomonosov Moscow State University

Data: 20/9/2017

Hora: 13h30

Local: Sala de Seminários, Edifício VII, FCT NOVA

18-09-2017
Syndicate content