Universidade Federal do Maranho

Curso de Cincia da Computao

Disciplina Teoria da Computao
Aluno: Stefano Walker Pereira Pontes 2011025843
24/03/2014

Resumo do Artigo A Teoria da Computao e o profissional de informtica de
autoria de Joo Jos Neto e publicado na Revista de Computao e Tecnologia da
PUC-SP Departamento de Computao.

O livro comea abordando a importncia de conhecer a teoria por trs da informtica,
visto que o uso cotidiano dela nos leva a us-la de forma mecnica. Neste meio surgem duas
formas de se posicionar, uma sugerindo que se busque resultados de esforos anteriores como
forma de obteno de recursos humanos produtivos e eficientes, e a segunda, priorizando o
cultivo da formao cientfica como meio de formao de profissionais centrados na
criatividade.
Parece um pouco fora de tempo, ultrapassado, tentar saber a teoria informtica e
percebe-se que pouca nfase se tem dado, por ocasio da formao acadmica do profissional,
a um srio trabalho explcito de conscientizao, tanto aos alunos como aos professores,
relativo a toda essa conjuntura.

Pode-se perceber que a importncia geral do texto apontar uma coleo significativa de
assuntos tratados na Teoria da Computao, identificando-se o interrelacionamento existente
entre diversos dos temas abrangidos, e realando-se, quando possvel, a importncia de seu
estudo mediante a indicao do uso que na prtica se tem feito de cada um dos grupos de
assuntos tericos.

(Computabilidade)
Para se entender o porqu de a teoria da computao surgiu antes de se haver inventar
um computador, necessrio compreender que o termo computao costuma ser empregado
para designar o uso de algoritmos para a resoluo de problemas.
A Teoria da Computabilidade investiga a possibilidade de mquinas computacionais e de
certos formalismos tericos adotados como modelos de computao apresentarem ou no a
capacidade de realizarem automaticamente determinados tipos de computao.
Um dos grandes motivos para o estudo da Teoria da computao, entender porque
alguns problemas so incomputveis.
Dos problemas computveis, alguns se mostram impraticveis por exigirem um tempo
abusivo ou uma quantidade de memria excessiva para sua operao. o caso da Aritmtica de
Presburger, que se mostra decidvel, porm duplamente exponencial em complexidade.

(Linguagens Formais)
Uma forma de avaliar o poder de expresso de um modelo computacional atravs do
estudo da classe das linguagens formais que esse modelo capaz de representar;
Este um assunto que vem sendo estudado desde a dcada de 1950, e tem destacada
importncia na Teoria da Computao, fundamentando muitos outros temas da rea e
oferecendo inmeros subsdios para aplicaes prticas. Ubquo em currculos acadmicos da
rea, por sua to grande importncia conceitual. Outro assunto, que se revela de imensa
importncia terica e prtica na vida do profissional de computao, refere-se s linguagens de
programao.

(Cincia da Computao)
A Cincia da Computao estuda os fundamentos e a prtica das computaes,
investigando e explorando, atravs de algoritmos computacionais, estruturas matemticas que
modelam fatos do mundo real, permitindo assim que processos computacionais sejam
formulados de maneira precisa para ento manipul-los devidamente, atendendo as
necessidades das aplicaes desejadas.

(Teoria da Computao)
A Teoria da Computao ocupa um merecido lugar de destaque, devido sua importncia
como sustentculo conceitual de todos os conhecimentos da rea, tanto dos mais
fundamentais e abrangentes como dos mais particulares e especficos.

Permeando todos os estudos relacionados com os aspectos tericos da Computao,
encontram-se os assuntos usualmente conhecidos como Matemtica Discreta e Lgica
Matemtica e dentro desta matemtica encontra-se: teoria dos grafos, teoria dos conjuntos e
teoria das funes recursivas; linguagens formais; mquinas universais; complexidade.

H uma resistncia mental quanto ao estudo da Teoria:
Muitas vezes, pessoas que desconhecem o assunto costumam colocar objees
injustificadas a seu uso, em funo da dificuldade que sentem em compreender e conviver com
notaes matemticas, alegando serem esses formalismos desnecessrios no dia-a-dia,
argumentam que, em vista do demorado e oneroso.
Assaf J. Kfoury, professor de cincia da computao em Boston, afirma que, por sua
importncia, a Teoria da Computabilidade pode e deve ser considerada como sendo, apesar de
tudo, o corao da Cincia da Computao.
apresentado quatro prticas que todo profissional de Computao deve ter:
programao, sistemas, modelagem, e inovao.
(Concluso)
Em lugar de simplesmente informar o interessado, preparando-o a produzir
rapidamente para consumo imediato no mercado de trabalho, a formao acadmica e
profissional baseada em fundamentos slidos capaz de conceder-lhe algo muito mais verstil
e perene: o embasamento de que necessita para dominar os assuntos que constituem as mais
profundas razes do conhecimento da rea, que resistam ao tempo, moda e tecnologia. Essa
a importncia da Teoria da Computao.