Fundamentos de Lógica e Teoria da Computação

Projeto bastante chato, não muito interessante e com instruções/enunciado vagos. Professor com voz baixa e que fala bastante lento, tornando as aulas teóricas difíceis de utrapassar. Não ajuda muito nas aulas laboratoriais, onde se é suposto aprender a utilizar o Lean. Testes, exames e projetos anteriores foram fornecidos