Partial Recursive Functions Courses and Certifications

Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos (2023)

Explore linguagens formais, máquinas de Turing, decidibilidade, complexidade algorítmica, lógica de primeira ordem, teoremas de Gödel e teoria dos conjuntos ZFC.

• YouTube
• 1 day 9 hours 19 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

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

Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.

• YouTube
• 1 hour 41 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 19

Explore advanced topics in computation, logic, and set theory, including formal languages, register machines, decidability, algorithmic complexity, first-order logic, and ZFC set theory.

• YouTube
• 2 hours 2 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

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

Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.

• YouTube
• 2 hours 1 minute
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

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

Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.

• YouTube
• 1 hour 43 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

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

Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.

• YouTube
• 2 hours 2 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

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

Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture series.

• YouTube
• 1 hour 39 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

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

Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture series.

• YouTube
• 1 hour 31 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

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

Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.

• YouTube
• 1 hour 57 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

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

Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.

• YouTube
• 1 hour 50 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 15

Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.

• YouTube
• 56 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

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

Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.

• YouTube
• 2 hours 2 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

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

Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture series.

• YouTube
• 1 hour 56 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 18

Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.

• YouTube
• 2 hours 4 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 17

Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.

• YouTube
• 1 hour 27 minutes
• On-Demand
• Free Video