Introdução à Lógica Matemática e suas Aplicações Tecnológicas – Parte I

Em breve

20H/A

  FAÇA SUA INSCRIÇÃO

Objetivos

Introduzir o aluno ao estudo da Lógica Matemática e suas aplicações tecnológicas. O assunto será estudado em duas partes: Na primeira, serão apresentadas as noções de uma linguagem formal e os conceitos centrais de consistência, validade, modelos e provas. Na segunda parte será mostrado como as técnicas da LPC são hoje comumente utilizadas na engenharia de circuitos digitais e na linguagem de programação PROLOG a qual é empregada atualmente em sistemas de “raciocínio automatizado”. Pretende-se também preparar o estudante para outro curso de extensão a ser ministrado futuramente com tópicos mais avançados no tema em questão.

Qual a demanda para Profissionais com essa Capacitação?

Existe demanda pela capacitação oferecida pelo curso nas seguintes áreas: Análise de problemas em cadeias de produção, gerenciamento de processos, automação industrial, eletrônica digital e a engenharia da computação.

Ementa

Introdução à Lógica Proposicional Clássica (LPC)
Proposições
Tabelas de verdade
Argumentos
Validade de argumentos
Prova de argumentos
O método dos tablôs
Aplicações da lógica proposicional na eletrônica digital e na Ciência da Computação

Benefícios do Curso

– Capacidade de reconhecer e estruturar argumentos construídos a partir de sentenças declarativas.
– Técnicas para formalizar argumentos em uma linguagem artificial que pode ser processada em circuitos digitais e/ou em programas de computador declarativos.
– Habilidade para construir e interpretar diagramas de circuitos digitais combinatórios para o processamento lógico de informações.
– Conhecimento básico de programação na linguagem declarativa PROLOG.