Assista à décima oitava 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 em linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica, lógica de primeira ordem, teoria dos conjuntos e muito mais. 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, teoremas de incompletude de Gödel e a hipótese do contínuo. Beneficie-se de referências bibliográficas cuidadosamente selecionadas e aproveite esta oportunidade de aprendizado oferecida pelo renomado IMPA como parte da Escola de Verão 2023.