Engenharia de Software

Apresentar um panorama geral sobre os cursos da área da tecnologia, as áreas de atuação, carreira profissional e oportunidades de desenvolvimento.

Permitir uma visão das ferramentas de desenvolvimento de software. Introduzir conceitos técnicos fundamentais da área de computação.

É 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

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

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.

É 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.