Curso de Raciocínio Lógico - 2019
Objetivos:
Gerais: Proporcionar competências e habilidades para que o aluno:
- Desenvolva o raciocínio lógico-matemático.
- Desenvolva uma mentalidade alicerçada no rigor e na observação.
- Adquira uma formação dedutiva e indutiva para efetuar pesquisas, relacionadas à sua área de atuação.
- Expressar-se com objetividade, clareza e precisão.
Específicos:
Conduzir gradativamente o aluno, ao longo do curso, a:
- Reconhecer os mecanismos lógicos necessários para poder realizar um processo dedutivo.
- Identificar os procedimentos, conceitos, descrições e representações que podem ser úteis.
- Reconhecer como a inferência lógica pode ser usada em Matemática e em outras ciências empíricas.
Público Alvo: Servidores da UFES
Período de realização: 11/11/2019 a 29/11/2019
Horário: das 8h às 11h
Local de realização: Sala 01 do DDP
Período de inscrições: até 07/11/2019
Modalidade: Presencial
Carga Horária: 40h
Vagas: 30
Ementa: Construção do conhecimento por meio da argumentação e raciocínio lógico. Pensamento indutivo e dedutivo. Proposições e Conectivos. Tabela verdade. Equivalência lógica e negação de proposições. Diagramas lógicos. Lógica da argumentação. Implicação lógica. Associação lógica. Introdução ao pensamento crítico e a lógica analítica.
Conteúdo Programático:
- Introdução à Lógica
1.1. O que é e para que serve a lógica?
1.2. Utilidade do raciocínio lógico: noções de verdade, validade, semântica e sintaxe dos formalismos lógicos tradicionais.
- Proposições Simples e Compostas
2.1. Conectivos, Valores e Verdades;
2.2. Tautologia, Contradição e contingência;
2.3. Negações, Equivalência e Implicação Lógicas.
- Diagramas lógicos e Quantificadores lógicos
3.1. Sentenças categóricas;
3.2. Uso de diagramas e quantificadores para representar enunciados de questões, facilitando sua resolução.
- Argumentos
4.1. Diferença entre raciocínios dedutivos e Indutivos;
4.2. Análise de um argumento, Validade ou verdade;
- Introdução à Lógica Analítica
5.1. Resolução de problemas relacionados à lógica analítica, utilizando métodos de resolução, como o método da suposição, o método da exclusão e outros.
Instrutor: Paulo Martinelli
Inscrições online em inscricao.ufes.br
