Últimos anúncios

Funcionamento da disciplina

8 Setembro 2019, 08:19 João Rasga

A disciplina funciona em regime tutorial.

O método de avaliação consiste na realização de 3 apresentações pelos alunos ao longo do semestre, e por um projecto final. Nota final: 50% média apresentações + 50% projecto.

As apresentações têm sido sobretudo sobre os diversos capítulos do livro:
Modal Logic: P. Blackburn, M. de Rijke e Y. Venema 2001 Cambridge University Press.

Dependendo do conhecimento que o aluno já tenha da lógica modal e dependendo do interesse que tenha sobre alguma área particular da lógica modal, podemos considerar e propor outros temas e referências.

A disciplina não tem pré-requisitos embora ajude se o aluno já tenha frequentado uma disciplina de lógica.

Reunião inicial: quarta-feira, 18 de Setembro, às 13h, no gabinete 5.30 do Departamento de Matemática.

Corpo Docente

João Rasga

Responsável

joao.rasga@tecnico.ulisboa.pt