Mestrado Bolonha em Matemática

O curso oferecerá uma introdução à teoria matemática da computação, com enfoque na compreensão da sua relação com as demonstrações matemáticas. Os objetivos do curso são três: 1. Explicar o que é um computador, por que e como os computadores foram inventados, promovendo no estudante a capacidade de pensar de forma computacional e algorítmica. 2. Introduzir os fundamentos da complexidade computacional: como classificar problemas matemáticos de acordo com a sua dificuldade de resolução? Por exemplo, em jogos e quebracabeças, em que sentido preciso podemos dizer que o xadrez é mais difícil do que o sudoku? Que o sudoku é mais difícil do que um puzzle de deslizamento de peças? Que um tal puzzle é mais difícil do que resolver uma equação linear?... 3. Compreender por que os computadores estão intimamente relacionados com as demonstrações matemáticas. Desenvolver a capacidade de refletir sobre as provas como um objeto de estudo: o que são, quais são as suas limitações e capacidades surpreendentes.