CURSO DE LÓGICA PARA COMPUTAÇÃO

A interpretação de texto e o desenvolvimento do raciocínio lógico são habilidades fundamentais na aprendizagem (são importantes para o desenvolvimento cognitivo dos estudantes), pois estimulam a capacidade de análise, síntese e avaliação de informações e argumentos. No entanto, muitos estudantes enfrentam dificuldades nessas áreas, o que pode comprometer seu desempenho escolar e dificultar o seu ingresso em um curso superior. Pensando nisso, os discentes do curso de engenharia de computação da UEFS estão oferecendo, para aqueles do ensino médio baiano, um curso de lógica para computação, tendo como objetivo auxiliar o desenvolvimento do raciocínio lógico, e das habilidades e competências necessárias para os cursos de programação em Python e desenvolvimento móvel, que também são oferecidos pela UEFS.

Curso de lógica computacional voltado a estudantes do primeiro ano do ensino médio de escolas públicas da Bahia.

Competências:

• desenvolvimento do raciocínio lógico-matemático, baseado na observação da realidade pelo estudante;

• desenvolvimento de pensamento dedutivo;

Habilidades (lista de tópicos a ser tratados em cerca de 10 vídeos):

• resolver quebra-cabeças e charadas, para aquecimento;

• Doublets de Carroll;

• Formalizar linguagem natural em linguagem formal;

• Avaliar sentenças e argumentos da Lógica Proposicional quanto a sua validade;

• Sentido lógico-matemático convencional dos conectivos;

• Tabelas-verdade;


Material de apoio

Preâmbulo: Multiplicação e divisão - Slides    Videoaula

Introdução e aquecimento pt1 - Slides    Videoaula

Introdução e aquecimento pt2 - Slides   Videoaula

Sentido lógico-matemático convencional dos conectivos - Slides   Videoaula

Formalizando linguagem natural em linguagem formal - Slides   Videoaula

Tabelas-verdade - Slides   Videoaula

Avaliando sentenças e argumento da lógica proposicional pt1 - Slides   Videoaula
Avaliando sentenças e argumento da lógica proposicional pt2 - Slides   Videoaula

Material disponibilizado por:

Caio Bruno Santos Matos de Oliveira   Lattes

Thiago D'Martin Maia    Lattes