AULA 01 – INFORMÁTICA TEÓRICA
Usaremos como livro principal de nossos estudos o primeiro livro da lista de referências básicas de nossa ementa.
 |
Esta obra apresenta a teoria da computação por meio de teoremas e provas, sempre com a preocupação do autor em mostrar a intuição por trás de cada resultado e em amenizar a leitura destas últimas, apresentando, para cada teorema, uma ideia da prova. Com este livro, através da prática de resolução de problemas, os alunos, nos exercícios, revisarão definições e conceitos da área e, nos problemas, irão se deparar com atividades que exigem maior engenhosidade. Os três últimos capítulos são novos, e está 2ª edição incorpora as sugestões de professores e alunos enviadas ao autor ao longo dos anos. Contém material para mais de um semestre de curso, propiciando flexibilidade para escolha de tópicos a serem mais ou menos explorados.
|
Esse livro é um clássico para o ensino de nossa disciplina, e está disponível em nossa biblioteca, mas pelo fato de a disciplina ser um assunto seminal, qualquer outro livro de Informática teórica ou computação teórica servirá para os propósitos de nossos estudos.
Aula 01 – Introdução a teoria da computação.
Apresentação – download
Sugestão para estudo: Prestar atenção a tudo que for dito em aula. O material principal será a apresentação utilizada na aula, eventualmente será indicado páginas no livro da disciplina que devem ser lidas e as dúvidas trazidas para a aula.
Aula 01