CONTEDO PROGRAMTICO E BIBLIOGRFIA

A prova conter 40 questes abrangendo 4 disciplinas listadas abaixo:

Algoritmos I:
EMENTA:
Caractersticas bsicas de organizao de um computador. Conceito de
algoritmos e programao. Tipos de dados: conceituao, representao e
manipulao Algoritmos: representao, tcnicas e estruturas de controle e
repetio. Soluo de problemas numricos e no numricos atravs de
algoritmos. Variveis Compostas Homogneas. Variveis Compostas
Heterogneas. Mtodos simples de ordenao e pesquisa de dados.
BIBLIOGRAFIA BSICA:
ASCENCIO, Ana F. G.; CAMPOS, Edilene A. V. Fundamentos da Programao de
Computadores (algoritmos, pascal, c/c++, java). Pearson, 2a. Edio, 2007.
FORBELLONE, Andr L. V.; EBERSPACHER, Henri F. Lgica de programao.
So Paulo: Makron Books, 2000.
TREMBLAY, J. P.; BUNT, R. B. Cincia dos computadores: uma abordagem
algortmica. Rio de Janeiro: McGraw-Hill, 1983.
Algoritmos II:
EMENTA:
Mtodos bsicos de ordenao e pesquisa de dados. Refinamento de algoritmos.
Modularizao: Blocos e sub-programas. Parmetros e formas de passagem.
Escopo de variveis: tempo de vida e visibilidade. Operaes com arquivos.
Recursividade. Variveis dinmicas. Abstrao de dados. Estruturas de dados
dinmicas: listas lineares.
BIBLIOGRAFIA BSICA:
FORBELLONE, Andr L. V.; EBERSPACHER, Henri F. Lgica de programao.
So Paulo: Makron Books, 2000.
MEDINA, Marco; FERTIG, Cristina. Algoritmos e programao teoria e prtica.
So Paulo: Novatec, 2006.
Fundamentos da Computao:
EMENTA:
Breve histrico dos computadores. Um modelo de computadores: memria,
registradores, perifricos. Sistemas de Numerao. Linguagem de Programao
de alto nvel e de montagem (exemplos). O uso de computadores, impacto social.
reas de aplicaes de informtica. Familiarizao com o uso de sistemas e
ambientes operacionais. Instalao e configurao de sistemas operacionais.
Noes de Redes de computadores.
BIBLIOGRAFIA BSICA: 47
BROOKSHEAR, J. G. Cincia da computao uma viso abrangente. Porto
Alegre: Bookman, 2000.
VIEIRA, N. J. Introduo aos fundamentos da computao linguagens de
mquinas. So Paulo: Thomson Pioneira, 2006.
CAPRON, H. L.; Johnson, J. A. Introduo Informtica. 8 Ed. So Paulo:
Pearson Prentice Hall, 2004.
Lgica:
EMENTA:
Sentido lgico-matemtico convencional dos conectivos. Argumentos. Lgica
sentencial. Regras de formao de frmulas. Sistemas dedutivos. Decidibilidade
da lgica sentencial. A lgica de predicados de primeira ordem. Valores-verdade.
Funes de avaliao.
BIBLIOGRAFIA BSICA:
ALENCAR FILHO, E. Iniciao Lgica Matemtica. Nobel, So Paulo, 2003.
SOUZA, J. N. Lgica para Cincia da Computao. Campus, 2002.
GERSTING, J. L. Fundamentos de Matemtica para a cincia de computao