A disciplina de Lógica Matemática é a base do pensamento computacional, ou seja, a forma como os computadores realizam tarefas. Apesar de ter origem na filosofia há muitos anos, com o desenvolvimento da computação, a Lógica tem evoluído muito. Nesta disciplina, abordaremos a lógica proposicional e de predicados que são fundamentais para o entendimento de diversas outras matérias na área de Ciência da Computação. Também versaremos sobre lógicas não clássicas, que serão vistas novamente em disciplinas mais avançadas do curso, como Inteligência Artificial.
- Professor: Cristiano Bertolini
- Professor: Elena Maria Mallmann
- Professor: Cláudia Smaniotto Barin
Inscrição: Em breve
Público: Geral