Zoom link para eventuais aulas remotas durante todo o semestre

AVISOS:

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

Material 2022-1

• Plano de Ensino 2023-1, 28 Mar - 25 Jul 2023

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

• Material a ser disponibilizado na plataforma Aprender 3 (LoCo1) e nesta página

Material semestres anteriores

• Projeto de Verificação 2019 II
• Especificação do projeto em PVS 6.0 Verificação de radixsort sobre um tipo não interpretado
• Enunciado do projeto
• Projeto de Verificação 2019 I
• Especificação do projeto em PVS 6.0 Verificação de propriedades de radixsort
• Enunciado do projeto
• Projeto de Verificação 2018 II
• Especificação do projeto em PVS 6.0 Estabilidade de mergesort por dígitos aplicado em radixsort
• Enunciado do projeto
• Projeto de Verificação 2018 I
• Especificação do projeto em PVS 6.0 Contem diretório com arquivos de especificação e prova da primera fase do algoritmo de Ford-Johnson (merge-insertion sort)
• Enunciado do projeto
• Projeto de Verificação 2017 II
• Especificação do projeto em PVS 6.0
• Enunciado do projeto
• Projeto de Verificação 2017 I
  • Especificação do projeto em PVS 6.0 Contem diretório com arquivos .pvs e .prf de especificação e prova para insertionsort em PVS 6.0.
  • Enunciado do projeto
• Projeto de Verificação 2016 II
  • Arquivos especificação (gcd). Contem diretório com arquivos gcd.pvs e gcd.prf de especificação e prova para máximo divisor comum em PVS 6.0.
  • Enunciado do projeto
• Projeto de Verificação 2016 I
  • Arquivos especificação (unicity). Contem diretório com arquivos sorting e sorting_seq e unicity de prova (.prf) e especificação (.pvs) em PVS 6.0.
  • Enunciado do projeto
• Projeto de Verificação 2015 II:
• Arquivos especificação (heapsort.tgz). Contem diretório com arquivos sorting e heapsort, de prova (.prf) e especificação (.pvs) em PVS 6.0.
• Enunciado do projeto
• Projeto de Verificação 2015 I:
• Arquivos especificação (bubblesort.tgz). Contem diretório com arquivos sorting e bubblesort, de prova (.prf) e especificação (.pvs) em PVS 6.0.
• Enunciado do projeto
• Projeto de Verificação 2014 II
• Arquivos especificação em PVS 6.0 do projeto.
• Enunciado do projeto
• Projeto de Verificação 2013 II
• Especificação do projeto em PVS 6.0
• Enunciado do projeto
• Projeto de Verificação 2013 I
• Especificação do projeto em PVS 6.0
• Enunciado do projeto
• Projeto de Verificação 2011 I
• Projeto Descrição
• Especificação em PVS Teoria sorting
  
• Projeto de Verificação 2010 II
• Projeto Descrição
• Especificação em PVS Teoria gcd
  
• Projeto de Verificação 2009 II
• Descrição do Projeto 2009/II(pdf)
• Teoria trs com unification (tgz)
• Exemplo GCD (tgz)
• Provas
• Segunda prova, 27.11.2019gabarito
• Primeira prova, 18.09.2019gabarito
• Segunda prova, 01.07.2019gabarito
• Primeira prova, 24.04.2019gabarito
• Primeira prova, 19.09.2018gabarito
• Segunda prova, 25.06.2018gabarito
• Primeira prova, 18.04.2018gabarito
• Segunda prova, 29.11.2017gabarito
• Primeira prova, 20.09.2017gabarito
• Segunda prova, 28.06.2017gabarito
• Primeira prova, 17.04.2017gabarito
• Segunda prova, 07.12.2016gabarito
• Primeira prova, 19.09.2016gabarito
• Primeira prova, 11.04.2016gabarito
• Segunda prova, 29.06.2016gabarito
• Primeira prova, 16.09.2015gabarito
• Segunda prova, 02.12.2015gabarito
• Primeira prova, 15.04.2015gabarito
• Segunda prova, 01.07.2015gabarito
• Primeira prova, 18.09.2014gabarito
• Segunda prova, 02.07.2014gabarito
• Primeira prova, 16.04.2014gabarito
• Segunda prova, 11.12.2013gabarito
• Primeira prova, 18.09.2013gabarito
• Segunda prova, 01.07.2013gabarito
• Primeira prova, 06.05.2013gabarito
• Segunda prova, 27.02.2013gabarito
• Primeira prova, 03.12.2012gabarito
• Segunda prova, 18.06.2012 gabarito
• Primeira prova, 07.05.2012 gabarito
• Primeira prova, 17.10.2011 gabarito
• Segunda prova, 28.11.2011 gabarito
• Primeira prova, 09.05.2011 gabarito
• Segunda prova, 15.06.2011 gabarito
• Primeira prova, 24.11.2010 gabarito
• Segunda prova, 12.01.2011 gabarito
• Primeira prova, 23.06.2010 gabarito
• Segunda prova, 21.07.2010 gabarito
• Primeira prova, 05.10.2009 gabarito
• Segunda prova, 25.11.2009 gabarito