Aula Teórica 14

6 dezembro 2007, 11:00 • Maria Paula Antunes Abrantes Gouveia

Computabilidade: motivação; postulado de Church-Turing. O Mathematica como modelo de computação; expessões irredutíveis; função computável; conjunto decidível. Exemplos. Prova de que a classe dos conjuntos decidíveis com a mesma aridade é fechada para a reunião e para a intersecção.

Aula Teórica 13

4 dezembro 2007, 11:00 • Maria Paula Antunes Abrantes Gouveia

Desenvolvimento de pequenos programas imperativos em Mathematica com ciclos encaixados.

Aula prática 10

3 dezembro 2007, 13:30 • Ricardo Joao Rodrigues Goncalves

Lógica proposicional

Semântica: exercícios 1.4 c) (i) e (ii), 1.5 c)(i) e c)(ii)

Sistema T: exercícios 2.3 relativo a 1.4 c)(i), 1.4 h)(iv), 1.5 c)(ii), 1.5 p).

Aula Prática 7

29 novembro 2007, 13:30 • Maria Paula Antunes Abrantes Gouveia

Desenvolvimento de pequenos programas imperativos em Mathematica. Exercícios 1.1.b) d) e) f).

Aula Prática 7

29 novembro 2007, 13:30 • Ricardo Joao Rodrigues Goncalves

Desenvolvimento de pequenos programas imperativos em Mathematica. Exercícios 1.1.c) d) e) f) e g).