Este curso tem o objetivo de apresentar conceitos básicos da Matemática
Discreta que são relevantes para o aprendizado da Computação e de
justificar a importância de um raciocínio rigoroso e habilidades
analíticas, ao longo do aprendizado da Matemática Discreta Elementar.
- Professor: Luiz Fernando Legore do Nascimento
Lógica para Computação é o estudo das lógicas proposicional e predicativa do ponto de vista da verificação de propriedades por elas expressas, permitindo que o aluno seja capaz de identificar o tipo de lógica que pode ser usada para especificar um sistema ou propriedade, bem como realizar a modelagem de sistemas e propriedades por meio da lógica escolhida.
- Professor: Luiz Fernando Legore do Nascimento