A lógica proposicional é um sistema formal que representa proposições por meio de combinações de proposições atômicas utilizando conectivos lógicos. Este sistema permite derivar teoremas a partir de regras específicas.
É o estudo das estruturas matemáticas que são fundamentalmente discretas, no sentido de não suportarem ou requererem a noção de continuidade. Grande parte (não todos), dos objetos estudados na matemática discreta são conjuntos contáveis, como os inteiros.
Resolução de problemas 1
objetiva introduzir as principais atividades no contexto de desenvolvimento de software e preparar preliminarmente para a resolução de problemas contextualizados no processo de desenvolvimento de software.
Algorítimos e Programação
Um algoritmo é uma sequência finita de instruções bem definidas e não ambíguas, cada uma das quais pode ser executada mecanicamente num período de tempo finito e com uma quantidade de esforço finita
Lógica proposicional
É um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como "teoremas" do sistema formal
Práticas em ambientes computacionais
Permitir uma visão das ferramentas de desenvolvimento de software. Introduzir conceitos técnicos fundamentais da área de computação.
Ciência e tecnologia
Apresentar um panorama geral sobre os cursos da área da tecnologia, as áreas de atuação, carreira profissional e oportunidades de desenvolvimento.