Faculdade Anhanguera de Taubaté – Ciência da Computação
Teoria
da
Computação
Prof. Fabiano Sabha
1
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Apresentação da Disciplina
 Professor
 Nossa disciplina: importância e motivação
 Ementa
 Bibliografia Básica e Complementar
 Avaliações
 Nossas aulas e metodologia
 Datas importantes
 Nosso Contrato…
Prof. Fabiano Sabha
2
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Professor
 Fabiano Sabha
Graduado em Administração de Redes de Computadores
Pós-graduado em Segurança da Informação
Pós-graduando em Met. e Didática no Ensino Superior
Profissional de TI desde 1991.
Professor (FAPI / FATEC / Anhanguera):
 Segurança da Informação
 Sistema Operacional Linux
 Sistemas de Informações Gerenciais
 Segurança e Auditoria de Sistemas
 Gerência de Centro de informática
 Gestão da Qualidade
 Tópicos Avançados de Redes de Computadores
 Sistemas Operacionais
 Sistemas Operacionais de Rede
Prof. Fabiano Sabha
3
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Professor
 Fabiano Sabha – Contatos
www.fabianosabha.com.br
 Divulgação de materiais utilizados em sala de aula
blog.fabianosabha.com.br
 Fóruns das disciplinas ministradas
 Recados e comentários
[email protected]
 Principal meio de contato
Prof. Fabiano Sabha
4
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Nossa disciplina
 Teoria da Computação
 Uma das definições para o termo “Ciência da Computação”
é o de “conhecimento sistematizado relativo à
computação” . Isto pode ser entendido como o estudo das
bases e modelos que fundamentam o funcionamento de
processamentos computacionais.
Prof. Fabiano Sabha
5
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Nossa disciplina
Interesse atual possui duas ênfases:
 ênfase teórica - idéias fundamentais e modelos
computacionais: da biologia (modelos para redes de
neurônios), da eletrônica (teoria do chaveamento), da
matemática (lógica), da lingüística (gramáticas para
linguagens naturais).
 ênfase prática - projeto de sistemas computacionais
aplicando a teoria à prática.
Prof. Fabiano Sabha
6
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Ementa
 Programas,
 Máquinas e computações.
 Máquinas Universais.
 Funções recursivas.
 Computabilidade.
 Noção intuitiva.
 Modelos computacionais.
 Equivalência entre modelos e tese de Church.
 Funções não computáveis e o problema da parada.
 Enumerabilidade, decidibilidade.
 Problemas não decidíveis e semi-decidíveis.
Prof. Fabiano Sabha
7
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Bibliografia Básica
Livro Texto:
 SIPSER, Michael. Introdução a Teoria da Computação.
2ª ed. : Thompson Pioneira, 2007.
 LEWIS, Harry R; PAPADIMITRIOU, Christos H. Elementos
de Teoria da Computação. 2ª ed. Porto Alegre:
Bookman, 2000.
Complementar:
 1) HOPCROFT, John E; ULLMAN, Jeffrey D; MOTWANI,
Rajeev, SOUZA. Introdução à Teoria de Autômatos,
Linguagens e Computação. 2ª ed. Rio de Janeiro:
Editora Campus, 2003.
Prof. Fabiano Sabha
8
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Avaliações
 Primeiro Bimestre
 Prova Escrita: Valor 8,0
 ATPS: Valor 2,0
 Segundo Bimestre
 Prova Escrita: Valor 7,0
 ATPS: Valor 3,0
 Prova Substitutiva: Valor 10,0
 IMPORTANTE: Prova Sub, somente para 2º bimestre
Prof. Fabiano Sabha
9
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Média Final
(Primeiro Bimestre*4) + (Segundo Bimestre*6)
10
 PRA e PDR
 Média Final < 4,0  PRA (20 horas/aula + Avaliação)
 Média Final >=4,0 e <=4,5  PDR (Orientação + Avaliação)
 IMPORTANTE: as situações acima consideram
frequência do aluno >= 75%.
Frequências diferentes devem ser consultadas.
Prof. Fabiano Sabha
10
a
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Nossas Aulas
 Carga Horária : 60 horas
 Aulas Teóricas
 Toda Quarta-Feira
 Primeiro Tempo: 19h20 às 21h00
 Segundo Tempo:21h10 às 22h00
Prof. Fabiano Sabha
11
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Metodologia
 Aula expositiva
 Seminários
 Debates
 Leituras
 Exercícios em classe
Prof. Fabiano Sabha
12
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Nosso Contrato
Para uma melhor compreensão e aproveitamento, alguns pontos
devem ser observados e seguidos:
 Atenção às aulas
 Cuidado com as Ausências
 Participar das aulas e fazer exercícios propostos
 Em caso de dúvidas sempre perguntar
 O professor é seu parceiro no conhecimento, procure-o.
 Aulas de reposição aos sábados
Prof. Fabiano Sabha
13
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
Nosso Contrato
Continuação...
 Não CONVERSAR durante as aulas
 Lista de chamada SEM RASURAS!
 Celular desligado ou no modo “vibra” (MP”x” idem)
 Início das aulas SEMPRE 19h20
 Datas marcadas para entrega de trabalho não ALTERAM.
Prof. Fabiano Sabha
14
Teoria da Computação
Faculdade Anhanguera de Taubaté – Ciência da Computação
O que esperar do professor
 Dedicação
 Rigor
 Justiça
 Compromisso
 Total INTOLERÂNCIA a conversa durante as aulas
Prof. Fabiano Sabha
15
Teoria da Computação