Oficina de Introdução à Lógica e suas Aplicações – Módulo I
A Oficina tem como objetivo principal fornecer aos participantes uma compreensão abrangente dos princípios fundamentais da Lógica, do pensamento dedutivo e indutivo, Lógica para Computação (Lógica Booleana), capacitando-os a analisar argumentos de maneira rigorosa, identificar falácias e desenvolver habilidades de pensamento crítico, além de ajudar na melhoria da leitura de textos acadêmicos. Por meio de aulas teóricas e atividades práticas, os alunos serão introduzidos aos conceitos básicos da lógica, como proposições, inferências, validade de sentenças, verdade e falsidade, Platôs lógicos, Lógica de Predicados, Silogismo lógicos dentre outros. O objetivo de introduzir conceitos gerais sobre Lógicas e suas aplicações práticas na Filosofia, na Ciência (Epistemologia), na Matemática e na Computação, além de serem familiarizados com métodos formais de análise, como tabelas verdade e regras de inferência.
Evento totalmente online e com certificação
Data do Evento: 08/07 à 30/09
Período de Inscrição: 02/05 ate 06/07/2024
Link para Inscrição: SIGAA-UFPI
Público alvo: Comunidade em geral interessado em aprender Lógica
Programação:
Primeiro momento: Profa. Dra. Evelyn Erickson e o Professor Me. Hudson Benevides dos Anjos
08/07: definindo dedução, vocabulário técnico, identificando argumentos em linguagem natural (Link da Aula 01)
09/07: sintaxe e semântica, traduções
11/07: dedução natural (negação, conjunção e disjunção)
12/07: dedução natural (implicação)
Segundo momento: Profa. Ma. Patrícia Medyna Lauritzen de Lucena Drumond
20/08: Lógica proposicional: revisão de conteúdos
22/08: Lógica de predicados: vocabulário técnico, sintaxe e semântica
27/08: Tableux semântico
29/08: Dedução natural e árvore semântica
Quatro momento: Prof. Me. Ivenilton Alexandre De Souza Moura
03/09: Lógica para computação – Sistemas numéricos
05/09: Funções e Portas lógicas
10/09: Expressões Booleanas e Tabelas Verdade
12/09: Simplificações em Álgebra de Boole.
Certificação: 44h