Este é o site da Monitoria de Lógica para Computação para a turma de Ciência da Computação do CIn/UFPE, disciplina ministrada pelo professor Ruy de Queiroz.
Nesta página vocês encontrarão informações sobre aulas, miniprovas, provas e projetos, e contarão com um cronograma atualizado.
Nesta seção estão disponíveis livros e apostilas, que podem ser úteis a você ao longo da disciplina.
Nesta seção estão disponíveis miniprovas passadas, que podem ser utilizadas para testar e exercitar seus conhecimentos na disciplina.
Nesta disciplina contamos com 3 projetos, um sobre Tabela Verdade, outro sobre o Método da Resolução e por último o Tarski World. Os dois primeiros relacionados à Lógica Proposicional e o último à Lógica de Predicados. Acesse os links abaixo para maiores informações sobre cada um.