Assista à décima quinta 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. 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 56 minutos, parte da Escola de Verão 2023 do IMPA.