Sumários

Teórico-Prática 13

15 Dezembro 2023, 13:30 • Alcides Fonseca

Raciocínio sobre programas.

Exercícios 1ce, 3bc, 5d, 8a, 9a da ficha 12.

Teórico-Prática 13

14 Dezembro 2023, 17:00 • Diogo Miguel Ferreira Poças

Raciocínio sobre programas.

Exercícios 1ce, 3bc, 5d, 8a, 9a da ficha 12.

Teórica 24

14 Dezembro 2023, 16:00 • Diogo Miguel Ferreira Poças

Raciocínio sobre programas.

Provas por indução natural, princípio da extensionalidade, provas usando resultados auxiliares.

Teórico-Prática 13

14 Dezembro 2023, 13:30 • Alcides Fonseca

Raciocínio sobre programas.

Exercícios 1ce, 3bc, 5d, 8a, 9a da ficha 12.

Teórico-Prática 13

14 Dezembro 2023, 13:30 • Diogo Miguel Ferreira Poças

Raciocínio sobre programas.

Exercícios 1ce, 3bc, 5d, 8a, 9a da ficha 12.