Anexo II - Ementas e Bibliografia - Udesc

Linguagens formais e autômatos: Alfabetos e Linguagens. Linguagens, gramáticas e
expressões regulares, autômatos finitos. Linguagens e gramáticas livres de contexto e
autômatos de pilha. Linguagens sensíveis ao contexto. Implementação dos conceitos
para a solução de problemas básicos.
Métodos formais: Estudo de técnicas formais. Classificação de modelos formais.
Concepção de sistemas: especificação, verificação e validação. Apresentação e
aplicação de métodos e linguagens de especificação formal.
Máquina de Turing. Formalização do conceito de algoritmo. Problema da parada. A
existência de problemas indecidíveis. Lambda Calculus. Teoria das funções recursivas.
Relações entre os modelos de computabilidade. Tese de Church; Gödel e a
incompletude
Bibliografia:
DE OLIVEIRA, Jayr Figueiredo; MANZANO, José Augusto N. G. Algoritmos:
Lógica para Desenvolvimento de Programação de Computadores. Editora Érica, 16 a
edição, 2004. ISBN 857194718X.
DE SOUZA, Marco Antonio Furlan; GOMES, Marcelo Marques; SOARES, Marcio
Vieira; CONCILIO, Ricardo. Algoritmos e Lógica de Programação. Editora Thomson
Learning, 2004. ISBN 8522104646.
MEDINA, Marco; FERTIG, Cristina. Algoritmos e Programação Teoria e Prática.
Editora Novatec, 2005. ISBN 857522073X.
ARAÚJO, Everton C. Algoritmos: Fundamentos e Prática. Visual Books, 2 a edição,
2005. ISBN 857502163X
FARRER, Harry; BECKER, Christiano Gonçalves; FARIA, Eduardo Chaves; DE
MATOS, Helton Fábio; DOS SANTOS, Marcos Augusto; MAIA, Miriam Lourenço.
Algoritmos Estruturados. Rio de Janeiro: Editora Guanabara Koogan, 2 a edição, 1989.
ISBN 85-226-0331-6.
HOLLOWAY, James Paul. Introdução à Programação para Engenharia. Editora LTC,
2005. ISBN 8521614535.
LOPES, Anita; GARCIA, Guto. Introdução à Programação: 500 Algoritmos
Resolvidos. Editora Campus, 2002. ISBN 8535210199.
PILGRIM, Mark. Mergulhando no Python O Guia Rápido e Prático para Dominar o
Python. Alta Books, 2004. ISBN 8576080931.