Computabilidade e Lógica

28 novembro 2006, 08:30 • Ricardo Joao Rodrigues Goncalves

Computabilidade: Exercícios 6.13 a), b) e c) [Nota: o exercícios 6.13 aparece na versão mais actual da lista de exercícios].

Lógica: Exercícios 1.3 e) e h), 1.5 t) e 2.3 relativo a 1.5 t) e relativo a 1.5 v).

Computabilidade e Lógica

28 novembro 2006, 08:30 • Maria Paula Antunes Abrantes Gouveia

Computabilidade: Exercícios 6.13 a) e c). Lógica: Exercícios 1.3 e) e h), 1.5 t) e 2.3 relativo a 1.5 t) e relativo a 1.5 v).

Computabilidade

27 novembro 2006, 11:00 • Ricardo Joao Rodrigues Goncalves

Exercícios 4.6, 4.17 e 6.13 a), b) e c) [Nota: o exercícios 6.13 aparece na versão mais actual da lista de exercícios].

Computabilidade e Teste 3

24 novembro 2006, 11:00 • Maria Paula Antunes Abrantes Gouveia

Exercícios 4.1 h), 4.3. Realização do teste 3.

Aula Teórica 16

23 novembro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia

Lógica: motivação. Linguagem de 1a ordem. Fragmento proposicional.