1. Compreensão e manipulação das noções básicas de lógica proposicional, inferência, predicados, quantificadores, teoria de conjuntos, relações binárias, fecho transitivo, relações de equivalência, relações de ordem, indução e recorrência, aritmética modular, linguagens regulares, expressões regulares, gramáticas regulares e autómatos finitos.
2. Utilização da linguagem de programação Python para desenvolver uma aplicação simples, tipicamente um jogo simples, usando, quando adequado, as noções básicas do ponto 1.
3. Compreensão da importância da aritmética modular em dígitos de controlo, criptografia e criptomoedas.

Ficha de Unidade Curricular