Lógica Aplicada à Computação

Identificação

Descrição: disciplina do 3° período do Bacharelado em Ciência da Computação do Campus Arapiraca. Envolve o estudo de sistemas lógico-formais (cálculo proposicional, cálculo de 1ª ordem, lógica modal).
Carga horária: 60 horas.
Horário: sexta-feira - 15:20 às 17:50

Avaliações

1° bimestre
Média de duas provas

2° bimestre
Média de duas provas

Reposição: prova com conteúdo dos trabalhos do bimestre a ser reposto.
Final: prova com todo o conteúdo do semestre

Notas

clique aqui

Monitores

Os monitores poderão ser encontrados na biblioteca do Campus Arapiraca no horário de 8:00 às 12:00.

Exercícios

exercício 1
exercício 2
exercício 3
exercício 4
exercício 5
exercício 6
exercício 7