Universidade Federal de Pernambuco (UFPE)
Centro de Ciências Exatas e da Natureza (CCEN)
Departamento de Informática (DI)
Graduação em Ciência da Computação

IF312 - Lógica Aplicada a Computação

Segundo Semestre de 1998

Horário de Aulas
3a Feira, de 8h às 10h
6a Feira, de 10h às 12h

Local: Sala 7

Professor: Ruy José Guerra Barretto de Queiroz.

Nome, Horário e Local de Atendimento dos Monitores
Adalberto Cajueiro de Farias: 4a Feira, 16hs-18hs, no GRAD1.
Byron Leite Dantas Bezerra: 3a Feira, 13hs-14hs, e 6a Feira, 13hs-14hs, no GRAD1.
Paula Salgado Lucena: 3a Feira, 13hs-14hs, e 5a Feira, 9hs-10hs, no GRAD1.

Material sobre Máquina de Turing: aqui

Material sobre Compaccidade: aqui

Notas da Primeira Prova: aqui
Notas do Trabalho (Tarski's World, Parte I): aqui
Notas da Segunda Prova: aqui
Notas do Trabalho (Tarski's World, Parte II): aqui
Notas da Prova Final: aqui

Quadro Geral de Notas: aqui

Calendário de Provas (atualizado)
1a Prova: Sexta-Feira, 11/12/98, 10hs. (2a. Chamada: 22/12/98, 8hs)
2a Prova: Quinta-Feira 04/03/99, 14hs. (2a. Chamada: 06/03/99, 10hs)
Prova Final: Terça-Feira, 09/03/99, 8hs. (2a. Chamada: 10/03/99, 10hs)


ATENÇÃO: Newsgroup
Todas as mensagens relativas à disciplina são veiculadas no newsgroup depto.cursos.grad.if312.

Prêmio para o Melhor Aproveitamento na Disciplina

Premiado: Rodrigo Teixeira Ramos
Prêmio: A Metamorfose, de Franz Kafka

Última atualização: 9 de Março de 1999, 16:14:54hs