QUAL É A ESSÊNCIA DOS COMPUTADORES?

Valdemar W. Setzer
Depto. de Ciência da Computação - Instituto de Matemática e Estatística da USP
www.ime.usp.br/~vwsetzer; ver a apresentação em ppt

Tópicos da palestra (duração: 2 h)

  1. O ser humano é uma máquina?
  2. O que é a "essência" de um objeto?
  3. O que faz um computador? Comparação com outras máquinas.
  4. O que são dados?
  5. O que é informação?
  6. O que é conhecimento?
  7. O que é competência?
  8. Qual o computador mais simples? Um critério de simplicidade.
  9. A Máquina de Turing.
  10. Exemplo de MT: verificar se um número binário é par.
  11. Exercícios: multiplicar um número binário por dois, soma de dois números unários, verificar se uma cadeia de x's e y's tem o mesmo número de x's e de y's.
  12. Quantos tipos de instruções tem uma MT?
  13. Tese de Church-Turing.
  14. Por que Alan Turing desenvolveu a MT? O Entscheidungsproblem de Hilbert.
  15. A MT universal.
  16. Máquinas podem ser inteligentes? O Teste de Turing.
  17. Inteligência e pensamento. A liberdade do pensamento. Hipótese vs. crença.
  18. Transições não-deterministas na MT e em seres vivos.
  19. O ser humano é uma máquina?

Realizadas, em ordem cronológica inversa:

  1. Em 19/6/08, para os alunos da disciplina MAC-110 do Bacharelado em Ciência da Computação do IME-USP (turma do Prof. Roberto Hirata) -- o item 18 acima não foi abordado.
  2. Em 18/8/08, na Semana de Estudos da Faculdade de Computação, Universidade de Santo Amaro (UNISA), campus II, Santo Amaro, São Paulo (info: Prof. Eugênio Nassu)
  3. Em 30/10/13, gravação de aula para cursos de educação a distância e para os alunos do curso de Licenciatura em Computação e de Sistemas de Informação do Instituto de Ciências Exatas, Campus Universitário, Universidade Federal de Juiz de Fora (UFJF), Juiz de Fora, MG (info: João Batista M. Tavares <jbmtavares.dapp@gmail.com>)
  4. Em 10/10/12, no Centro de Aperfeiçoamento do Ensino de Matemática, , do IME-USP, Cidade Universitária, São Paulo, SP (info: Profa. Cristina Cerri <cerri@ime.usp.br>)
  5. Em 3/10/12, na UNISA, campus II, Santo Amaro, São Paulo, SP (info: Prof. Eugenio Nassu <eanassu@gmail.com>)
  6. Em 14/10/10, no I SECOMP, para alunos do Bacharelado em Ciência da Computação da Universidade Federal Rural de Pernambuco, Recife, PE (info: Prof. Rodrigo de Souza <rsouza@deinfo.ufrpe.br>)
  7. Em 2/9/10 , na disciplina MAC-0110 "Introdução à Ciência da Computação" para o curso de Licenciatura em Matemática do Instituto de Matemática e Estatística da USP, Cidade Universitária, São Paulo (info: Prof. Roberto Hirata Jr, hirata@ime.usp.br),
  8. Em 18 e 19/11/09, no curso Terranova Euritmia 2009, Clínica Tobias, R. Regina Badra 576, São Paulo (Sto. Amaro)
  9. Em 7/10/09, para alunos e professores do curso de Ciência da Computação Universidade do Oeste Paulista, Presidente Prudente, SP (info: Prof. Haroldo César Alessi <haroldo@unoeste.br>),
  10. Em 12/5/09, no Instituto de Fisica da USP, na disciplina MAC-0115 para o curso de Licenciatura em Física, Cidade Universitária, São Paulo (info: Prof. Roberto Hirata Jr, hirata@ime.usp.br)
  11. Em 4/3/09, no IME-USP, para os alunos de MAC-0110 do curso de Licenciatura em Matemática do IME-USP, São Paulo
  12. Em 19/6/08, para os alunos da disciplina MAC-110 do Bacharelado em Ciência da Computação do IME-USP (turma do Prof. Roberto Hirata) -- o item 18 acima não foi abordado.
  13. Em 18/8/08, na Semana de Estudos da Faculdade de Computação, Universidade de Santo Amaro (UNISA), campus II, Santo Amaro, São Paulo (info: Prof. Eugênio Nassu)

Última atualização: 2/11/13

 

 

 

Programadas: