• comissaodeextensao_cead@ufpi.edu.br
Em andamento
Oficina de Introdução à Lógica e suas Aplicações – Módulo I

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

Deixe um comentário

O seu endereço de email não será publicado. Campos obrigatórios marcados com *