Tecnologia
PUC GOIAS
DEPARTAMENTO DE COMPUTACAO
¸˜
CMP1031 L´gica Computacional Algor´ o ıtmica I
Marco A. F. Menezes
AULA 1
Professor
• Marco Antonio Figueiredo Menezes
• marco@pucgoias.edu.br
• http://professor.ucg.br/SiteDocente/home/professor.asp?key=6285
Plano de ensino (senha): cmp1031
Bibliografia
1. A. Cappi. L´gica, os caminhos da raz˜o. Goiˆnia: editora Hagaprint, o a a 2002, 261p.
2. W. Carnielli e R. L. Epstein. Computabilidade, fun¸˜es comput´veis, co a l´gica e os fundamentos da matem´tica. 2a. edi¸˜o. S˜o Paulo: editora o a ca a
UNESP, 2009.
3. C. A. Mortari. Introdu¸˜o ` l´gica. S˜o Paulo: editora UNESP: Imca a o a prensa Oficial do Estado, 2001.
4. F. S. C. da Silva, M. Finger e A. C. V. de Melo. L´gica para como puta¸˜o. S˜o Paulo: editora Thomson, 2006. ca a
5. J. N. de Souza. L´gica para ciˆncia da computa¸˜o: uma introdu¸˜o o e ca ca concisa. 2.ed. Rio de Janeiro: Elsevier, 2008.
1
6. Notas de aula.
Avalia¸˜o
ca
N1 =
P3 + P4
P1 + P2 e N2 =
.
2
2
S´ ıtios (sites)
´
• http://www.cnpq.br - Do que vocˆ precisa? Areas do conhecimento. e • http://www.cos.ufrj.br
• http://www.puc-rio.br/ensinopesq/ccg/cursos.html
• http://www2.ufmg.br/prograd/prograd/Pro-Reitoria-de-Graduacao/Cursos
Vis˜o geral de l´gica em Computa¸˜o. a o ca Pr´xima aula: Unidade 1 - Preliminares. o 2