Rogério, Em alguns minutos o vídeo estará disponível em https://www.youtube.com/watch?v=gMk7Apz1yUs . Todas as palestras gravadas estão listadas na página dos seminários ( http://lq.sbl.org.br ) e na playlist dos seminários ( https://www.youtube.com/playlist?list=PLFURnt5EmcO0CJ4JIpHhUVJC0Qztsnygi ) no canal YouTube da SBL ( http://www.youtube.com/c/SociedadeBrasileiradeLógica ).
Abraços, Bruno. Em ter., 6 de out. de 2020 às 17:05, Rogério Braga < [email protected]> escreveu: > Meu caro, boa tarde. > > A palestra ficou gravada em alguma plataforma? > > Abraços, > > Rogério Braga. > > Em segunda-feira, 5 de outubro de 2020 às 09:50:34 UTC-3, Adolfo Neto > escreveu: > >> Novo link https://meet.google.com/uvb-buox-djm?authuser=3 >> >> On Sun, Oct 4, 2020 at 1:33 PM Adolfo Neto <[email protected]> wrote: >> >>> 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 >>> ================================================================== >>> >> >> >> -- >> ================================================================== >> 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ê recebeu essa mensagem porque está inscrito 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 [email protected]. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1b4f37aa-ac22-4911-9afc-7de3ee5af777n%40dimap.ufrn.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1b4f37aa-ac22-4911-9afc-7de3ee5af777n%40dimap.ufrn.br?utm_medium=email&utm_source=footer> > . > -- Bruno Lopes Professor Adjunto Instituto de Computação Universidade Federal Fluminense http://www.ic.uff.br/~bruno -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq09HcGowMWZNZJzt%2B8pvd%2BrNTCQEQLf09m3iSAzkCmpzdQ%40mail.gmail.com.
