Para receber por e-mail novas publicações de Colóquio de Alunos, Clique Aqui!

Seminários do IMPA

Colóquio de Alunos

Título
A crash course on the theory of computation
Expositor
Marcel de Sena

IMPA
Data
Sexta-feira, 10 de maio de 2019, 15:30
Local
Sala 347
Resumo

This talk gives an overview of the basics and key results in the theory of computation: Turing machines and other models; the halting problem and its implication of Gödel's incompleteness theorem; computable numbers and functions; characterizations of NP, time/space complexity classes and inclusions among them.