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)
- O ser humano é uma máquina?
- O que é a "essência" de um objeto?
- O que faz um computador? Comparação com outras máquinas.
- O que são dados?
- O que é informação?
- O que é conhecimento?
- O que é competência?
- Qual o computador mais simples? Um critério de simplicidade.
- A Máquina de Turing.
- Exemplo de MT: verificar se um número binário é par.
- 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.
- Quantos tipos de instruções tem uma MT?
- Tese de Church-Turing.
- Por que Alan Turing desenvolveu a MT? O Entscheidungsproblem de Hilbert.
- A MT universal.
- Máquinas podem ser inteligentes? O Teste de Turing.
- Inteligência e pensamento. A liberdade do pensamento. Hipótese
vs. crença.
- Transições não-deterministas na MT e em seres vivos.
- O ser humano é uma máquina?
Realizadas, em ordem cronológica inversa:
- 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.
- 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)
- 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>)
- 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>)
- Em 3/10/12, na UNISA, campus II, Santo Amaro, São Paulo,
SP (info: Prof. Eugenio Nassu <eanassu@gmail.com>)
- 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>)
- 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),
- Em 18 e 19/11/09, no curso Terranova
Euritmia 2009, Clínica Tobias, R. Regina Badra 576, São
Paulo (Sto. Amaro)
- 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>),
- 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)
- 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
- 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.
- 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: