tecnologia da informação

Visão geral

Apresentação da disciplina:

A disciplina visa abordar o estudo dos princípios e fundamentos da lógica clássica, como o cálculo proporcional, as proposições, as principais operações lógicas e argumentos válidos; e alguns tópicos da matemática discreta, como a álgebra dos conjuntos, as principais operações com conjuntos e as relações entre álgebra de conjuntos e a álgebra de proposições. São discutidos os fundamentos teóricos e também a aplicação em exercícios.

Objetivos:

1. Apresentar uma introdução ao estudo da lógica clássica.
2. Expor os principais conceitos da lógica clássica.
3. Transitar entre a linguagem usual e a linguagem lógica, utilizando os símbolos adequados.
4. Construir tabelas-verdade.
5. Compreender as equivalências lógicas principais.
6. Compreender a relação entre a álgebra dos conjuntos e a álgebra das proposições.

Conteúdo Programático:

Classificação da Lógica.
Introdução à Lógica Clássica.
Desafios lógicos e tipos de problemas.
Conceito de proposição.
Princípios fundamentais da lógica clássica.
Conectivos lógicos.
Valores lógicos das proposições.
Uso da linguagem lógica.
Construção de tabelas-verdade.
Tautologias, contigências e contradições.
Resolução de problemas utilizando a tabela-verdade.
Equivalência lógicas principais utilizando a tabela-verdade.
Principais operações envolvendo conjuntos.
Relação entre álgebra dos conjuntos e álgebra das proposições.

Metodologia:

Os conteúdos programáticos ofertados nessa disciplina serão desenvolvidos por meio das Tele-Aula de forma expositiva e interativa (chat – tira dúvidas em tempo real), Aula Atividade por Chat para aprofundamento e reflexão e Web Aulas que estarão disponíveis no Ambiente Colaborar, compostas de conteúdos de aprofundamento, reflexão e atividades de aplicação dos conteúdos e avaliação. Serão também realizadas atividades de acompanhamento tutorial, participação em Fórum, atividades práticas e estudos independentes (auto