Lógica Computacional 1

Mauricio Ayala-Rincón


AULAS PRESENCIAIS a partir da quarta 29 de Março de 2023, 16h

  • Primeira aula - Motivação: 29 de Março de 2023, 16h

    Zoom link para eventuais aulas remotas durante todo o semestre


    Meeting ID: 814 1398 4380
    Passcode: LogiComp

    AVISOS:

  • Será utilizada a plataforma Aprender 3 - Busque e registre-se na disciplina:

    CIC0182 Lógica Computacional 1, Turma 1 (LogComp2023-1)


    Material 2022-1

    Textbook: M. Ayala-Rincón & Flávio L.C. de Moura, Springer, 2017

    Material semestres anteriores

    Menções Segunda Prova e Final Revisão: 04/12, 9h