Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 10
Instituto de Matemática Pura e Aplicada via YouTube
Overview
Assista à décima aula do curso de mestrado sobre 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 e teoria dos conjuntos. 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 teoria dos conjuntos ZFC. Utilize referências de renomados autores como Sipser, Papadimitriou e Enderton para complementar seu aprendizado. Esta aula faz parte da Escola de Verão 2023 do IMPA e oferece uma visão abrangente e rigorosa dos fundamentos teóricos da computação e matemática.
Syllabus
(25/01/2023) - Mestrado: Computação, Lógica e Teoria dos Conjuntos - Felipe Gonçalves - Aula 10
Taught by
Instituto de Matemática Pura e Aplicada