Teoria da Computao

Agenda
     

Contedo programtico Metodologia da disciplina Recursos Avaliao Introduo Teoria da Computao Bibliografia sugerida

Metodologia e Recursos


Metodologia
  

Aulas expositivas Atividades individuais e em grupo Apresentao de seminrio Quadro branco Data show (PC-TV).

Recursos
 

Contedo Programtico
 

Introduo Teoria da Computao  O que Teoria da Computao  Histrico  Conceitos e propsitos fundamentais da Teoria da Computao Reviso  Conjuntos  Funes Programas e funes computveis  Linguagem  Instrues  Exemplos de programas  Funes computveis  Funes recursivas

Contedo Programtico


Modelo formal de algoritmos Mquina de Turing (MT)

    

Modelo bsico: definio formal Descrio instantnea, movimento de uma MT Linguagem aceita por uma MT Generalidades Propriedades e problemas de deciso Introduo Computabilidade, computabilidade parcial Decibilidade Problemas de deciso Tese de Church-Turing. O problema da parada Reducibilidade. Teorema de Rice Reduo de classes Complexidade polinomial Complexidade recursiva.

Computabilidade e Decibilidade
    

Complexidade
  

Avaliao


Prova 1
  

Introduo a Teoria da Computao Reviso (Conjuntos e funes) Programas e funes computveis Modelo Formal de Algoritmos (Mquina de Turing) Introduo a computabilidade e decibilidade (talvez) Apresentao de seminrio em grupos de 4 ou 5 pessoas Entrega de relatrio das apresentaes.

Prova 2
 

Prova 3
 

Afinal, o que COMPUTAR e COMPUTAO??

Definies


De acordo com Michaelis COMPUTAR (verbo), vem do latin computare e significa: calcular, avaliar, orar COMPUTAO: Conjunto de operaes matemticas ou lgicas que se executam por meio de regras prticas previamente estabelecidas ou simplesmente clculo.

O que Computao?
Problema

COMPUTAO
(ALGORITMO)

Soluo

O que Teoria da Computao?

Cincia da Computao

Matemtica

Teoria da Computao

Matemtica


A nfase no est nos nmeros reais e nas variveis contnuas, e sim em conjuntos finitos e seqncias (discreta). Tem como objeto de estudo os mtodos e tcnicas destinadas a modelar, analisar e resolver problemas atravs da utilizao de recursos computacionais. Busca determinar quais problemas podem ser computados em um dado modelo de computao.

Cincia da Computao


Teoria da Computao


Histrico


Cincia da Computao


Origem remota  Antiga Grcia



Sculo III A.C., no desenho de algoritmos por Euclides Estudos sobre complexidade e reducibilidade de problemas

Babilnia


Status atual


nfase terica: idias fundamentais e modelos computacionais nfase prtica: projeto de sistemas computacionais.

Histrico


Teoria da Computao


Incio do sculo XX (antes da inveno dos computadores modernos) A poca...

 

Quais problemas matemticos poderiam ser resolvidos por um mtodo simples, e quais no poderiam? Buscou-se um modelo computacional suficientemente genrico, capaz de implementar qualquer funo computvel.  Modelo formal.

Histrico (continuao)


matemticos como Kurt Gdel, Alan Turing e Alonzo Church descobriram que certos problemas bsicos no poderiam ser resolvidos pelos computadores (Ser???)


um exemplo desse fenmeno o problema da determinao da veracidade de uma expresso matemtica Os computadores podem parecer capazes de resolver este problema, mas nenhum algoritmo de computador pode realizar essa tarefa!
X+1=Y+2

Referncias


Dalcdio M., Divedrio, Tiaraju e Toscani. Fundamentos de Matemtica Computacional. Porto Alegre, RS: D. C. Luzzatto, 1987 Divedrio, Tiaraju e Menezes, Paulo Fernando. Introduo Teoria da Computao. Porto Alegre, RS: UFRGS, 1997. Papadimitriou. Computational Complexity, Addison Wesley, 1994 Richard Bird. Programs and Machines - An Introduction to the Theory of Computation. John Wiley & Sons, London, 1976 Sernadas, C. Introduo Teoria da Computao. Lisboa: Editorial Presena, 1993 Sipser, Michael. Introduo Teoria da Computao. Thomson, So Paulo, 2007.