Olá,

Teremos a palestra de Valdemare Setzer nesta segunda ás 9h.

A Máquina de Turing e o que os computadores podem e não podem fazer, por
Valdemar W. Setzer
Resumo:
Histórico. O Problema da Decidibilidade de Hilbert. Surge Alan Turing. A
Máquina de Turing (MT). Exercícios. Características da MT. Tipos de
instruções e potência da MT. Tese de Church-Turing. A MT universal.
Máquinas podem ter sensações e sentimentos? Alan Turing e o Problema da
Decidibilidade. O Problema da Parada. Máquinas podem pensar e ser
inteligentes? O Teste de Turing. As questões da "singularidade" e da
"digitalização do cérebro". Transições não-deterministas na MT e em seres
vivos. O ser humano é uma máquina?

http://portal.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct/destaques/a-maquina-de-turing-e-o-que-os-computadores-podem-e-nao-podem-fazer-por-valdemar-w-setzer
Vai ser transmitida no YouTube
https://www.youtube.com/watch?v=jzMluV-h46k

<http://portal.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct/destaques/a-maquina-de-turing-e-o-que-os-computadores-podem-e-nao-podem-fazer-por-valdemar-w-setzer>Quem
quiser fazer perguntas ao vivo, basta responder este email (sem cópia para
a lista) que mando o link do Google Meet.

Abs.
Adolfo

-- 
==================================================================
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYV0meRrrFJyGXAAQwBRcHakrwZ5HWuF44apFsbr%3DifwbA%40mail.gmail.com.

Responder a