A disciplina de Lógica é fundamental para que o acadêmico trabalhe o raciocínio lógico-matemático, o ajude na verificação formal de programas e compreenda conceitos básicos aplicados a diversas disciplinas do currículo tais como: Algoritmos, Fundamentos da Computação, Lógica Digital, Banco de Dados e Inteligência Artificial.

Conduzir gradativamente o aluno, ao longo do curso, a:

1. Reconhecer os mecanismos lógicos necessários para poder realizar um processo dedutivo. 

2.  Identificar os procedimentos, conceitos, descrições e representações que podem ser úteis. 

3.  Reconhecer como a inferência lógica pode ser usada na computação e em outras áreas.

Aulas expositivas teóricas em sala de aula com a utilização de quadro e projetor multimídia.

Resolução de exercícios em sala de aula.

Aplicação de listas complementares a serem resolvidas fora dos horários das aulas.

Conteúdo EaD (30 hs - últimas unidades do conteúdo programático) utilizando o AVA da disciplina e organizado conforme Guia de Estudos.

Auxílio do monitor, se houver.

Durante o semestre o aluno será avaliado por meio de 4 provas, 1 trabalho ou listas de exercícios e participações em aula.

A média do semestre (MD) é calculada pela média ponderada conforme a fórmula:

MD = (P1*4,0 +  P2*4,0 + P3*4,0 +  P4*4,0 + Trabalhos*1,0 + Part*1,0)/(4,0+4,0+4,0+4,0+1,0+1,0)

A Prova Final (PF) vale 10 pontos e engloba todo o conteúdo ministrado no semestre.

A Média Final (MF) é calculada pela média aritmética  abaixo:

MF = (MD + PF)/2

Para ser Aprovado o aluno precisa obter Média Final (MF) >= 5,0

A atividade de Programação Lógica será realizado atividades via EAD.  Poderão ter como complementação para atividades via EAD resolução de exercícios para complementação de atividades. As horas de atividades EAD estão em conformidade com a Resolução CONSEPE 561/2025, para cumprimento dos 100 dias letivos requeridos, dentro do período de 85 dias letivos do calendário acadêmico de 2025.