Formal Languages Courses and Certifications

Stony Brook Mathematics

Mathematical Structures in Generative Linguistics

Explore mathematical structures in generative linguistics, from formal languages to Hopf algebras and geometric spaces for modeling semantics and syntactic variation across languages.

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

Wolfram

Exploring Formal-Language Syntax with Multiway Systems

Explore computational dynamics of formal-language syntax using multiway systems, focusing on substitution rules and visualization of various grammar types.

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

University of Electronic Science and Technology of China

有限自动机理论

Delve into finite automata theory, exploring mathematical models of computation, formal languages, automata types, and Turing machines while developing abstract thinking and computational reasoning skills.

• XuetangX
• On-Demand
• Free Online Course

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

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

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

• YouTube
• 1 hour 34 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

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

Instituto de Matemática Pura e Aplicada

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

Explore computação, lógica e teoria dos conjuntos em nível de mestrado. Aprofunde-se em linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.

• YouTube
• 1 hour 50 minutes
• 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