fbpx
skip to Main Content

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.

Datas

Em breve, novas turmas para 2019.

Valor

R$186,00
(2x R$93,00)

Público Alvo

Estudantes de nível superior em ciências exatas e interessados pelo tema que gostem de lógica e de matemática.

Professor

Elon Martins de Sá

Lato Senso

 

Presencial

 

Em breve

 

2x R$93,00

 

Em breve


 

 


Cadastro de interesse

[recaptcha]

Informações

Coordenação de Extensão

(21) 2128-4938
extensao@souzamarques.br

Horário de atendimento:
de 2ª a 6ª das 08h às 21h
ou aos sábados das 07:45h às 14h

Back To Top
Pesquisar