Bem-vindo à Disciplina de Dependência em Matemática Discreta e Lógica!
Nesta disciplina, você revisitará e aprofundará os conceitos fundamentais de Matemática Discreta e Lógica, que são essenciais para o desenvolvimento de soluções computacionais e algoritmos eficientes na área de Engenharia de Software. A disciplina oferece a base teórica necessária para áreas como estruturas de dados, algoritmos, e criptografia, elementos indispensáveis para o desenvolvimento de software de qualidade.
Ao longo deste curso, você terá contato com os seguintes tópicos principais:
- Lógica Formal: Proposições, conectivos lógicos, tabelas-verdade, tautologias, contradições, regras de inferência, cálculo proposicional e quantificadores.
- Álgebra Booleana: Estrutura de álgebras de Boole e sua aplicação em circuitos lógicos.
- Indução e Recursão: Princípio da indução matemática, algoritmos recursivos, e comparações entre recursão e iteração.
- Teoria dos Conjuntos e Combinatória: Operações com conjuntos, identidades envolvendo conjuntos, princípios de contagem, permutações e combinações.
- Relações, Funções e Matrizes: Propriedades de relações e funções, matrizes booleanas e operações matriciais.
- Teoria dos Grafos: Definição de grafos, representações, grafos Eulerianos e árvores de decisão.
- Teacher: AZUAITE SCHNEIDER
.png){kind=logo}