Categorie: Tutti - tecnologia - algoritmos - engenharia - matemática

da Luciano Souza mancano 12 anni

147

mapa aula Tolfo

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.

mapa aula Tolfo

Engenharia de Software

Matemática discreta

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