Tecnologia

Disponível somente no TrabalhosFeitos
  • Páginas : 2 (253 palavras )
  • Download(s) : 0
  • Publicado : 11 de abril de 2012
Ler documento completo
Amostra do texto
´
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 deensino (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. deSouza. 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 deaula.
Avalia¸˜o
ca
N1 =

P3 + P4
P1 + P2
e N2 =
.
2
2


ıtios (sites)
´
• http://www.cnpq.br - Do que vocˆ precisa? Areasdo 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

tracking img