TP14_22 (por videoconferência no Zoom)
14 Janeiro 2022, 11:30 • Mário Jorge Edmundo
Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 152 (1, 2, 3, 8) e 156.
14 Janeiro 2022, 11:30 • Mário Jorge Edmundo
Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 152 (1, 2, 3, 8) e 156.