Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 13

Instituto de Matemática Pura e Aplicada via YouTube

Overview

Assista à décima terceira 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 fundamentais da computação teórica, lógica matemática e teoria dos conjuntos, incluindo 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 abrangente de quase duas horas de duração.

Syllabus

(08/02/2023) - Mestrado: Computação, Lógica e Teoria dos Conjuntos - Felipe Gonçalves - Aula 13

Taught by

Instituto de Matemática Pura e Aplicada

Reviews

Start your review of Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 13

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.