Lógica Aplicada à Computação

Identificação

Descrição: disciplina do 1° 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, e noções de verificação de software).Carga horária: 60 horas.Horário: segundas, das 15:20 às 17:50Grupo de e-mail: https://groups.google.com/d/forum/logica-l

Provas

Prova 1 - okProva 2 - okProva 3 - okProva 4 - okReposição - 26/08Final - 02/09

>>>Prova<<<

Monitores

Os monitores podem ser encontrados na biblioteca.

Exercícios (atualizado em 10/07/2018)

Notas

Trabalhos

  1. Logic Java (Luenda)

  2. Kripke + LTL (Dawid)

  3. Linguagem Flix Logic Java (Iago)

  4. Kripke + LTL (Jorge)

  5. JML (Danilo)

  6. Prolog (Jam)

  7. OCL (Livia)

  8. Prolog (Isac)

  9. Portas lógicas + Mapas de Karnaugh (Luis Eduardo) - ok