Assista à décima segunda aula do curso de mestrado em Computação, Lógica e Teoria dos Conjuntos, ministrada pelo Professor Felipe Gonçalves no Instituto de Matemática Pura e Aplicada (IMPA). Explore tópicos avançados como Linguagens Formais, Máquinas de Registro, Decidibilidade, Complexidade Algorítmica, Lógica de Primeira Ordem, Teoria dos Conjuntos e os Teoremas da Incompletude de Gödel. Aprofunde-se em conceitos como autômatos, gramáticas livres de contexto, máquinas de Turing, funções recursivas parciais, o Problema da Parada, P vs NP, NP-completude, teoria dos modelos, axiomas ZFC e a Hipótese do Contínuo. Utilize referências de renomados autores como Sipser, Papadimitriou e Enderton para complementar seu aprendizado nesta aula de 2 horas que faz parte da Escola de Verão 2023 do IMPA.