YoVDO

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

Offered By: Instituto de Matemática Pura e Aplicada via YouTube

Tags

Theoretical Computer Science Courses Mathematical logic Courses Set Theory Courses Automata Theory Courses Turing Machines Courses Formal Languages Courses Complexity Theory Courses Algorithmic Complexity Courses First-Order Logic Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Assista à primeira 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 fundamentais como 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 nesta abrangente introdução aos fundamentos teóricos da computação e matemática.

Syllabus

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


Taught by

Instituto de Matemática Pura e Aplicada

Related Courses

Introduction to Logic
Stanford University via Coursera
Logic: Language and Information 1
University of Melbourne via Coursera
Logic: Language and Information 2
University of Melbourne via Coursera
Information Service Engineering
openHPI
Language, Proof and Logic
Stanford University via edX