Formal Languages Courses and Certifications

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

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

Language, Proof and Logic

3 reviews

Explore formal logic concepts, from basics to advanced theories, using FOL language. Develop skills in truth analysis, proof techniques, and logical reasoning.

• edX
• 15 weeks, 5-10 hours a week
• On-Demand
• Free Online Course (Audit)

Formal Languages and Automata Theory

156 ratings at Udemy

Introduction to Automata Theory, Languages and Computation

• Udemy
• 31 hours
• On-Demand
• Paid Course

Theory of Automata and Computation

59 ratings at Udemy

Theory of Automata/Computation, Formal Languages, DFA, NFA, CFG, CFL, Pushdown Automata, Turing Machine, Undecidability

• Udemy
• 3 hours 28 minutes
• On-Demand
• Paid Course

Teaching Reading to English Language Learners

Comprehensive strategies for teaching reading to ELL students, covering language acquisition, vocabulary development, interactive learning, and assessment techniques.

• Study.com
• 10 hours 16 minutes
• On-Demand
• Paid Course

NPTEL;  IIT Kanpur

Theory of Computation

4 reviews

Explore finite automata, regular languages, context-free grammars, and Turing machines. Learn about computational models, their properties, and fundamental concepts in theoretical computer science.

• YouTube
• 1 day 15 hours
• On-Demand
• Free Video

NPTEL;  IIT Madras

Theory of Automata, Formal Languages and Computation

1 review

Explore automata theory, formal languages, and computation through grammars, finite state automata, pushdown automata, Turing machines, and advanced topics in theoretical computer science.

• YouTube
• 1 day 15 hours
• On-Demand
• Free Video

Bridging the Divide Between Vectors and Symbols in Language Processing

Explore the intersection of vectors and symbols in language processing, focusing on innovative approaches to bridge computational and cognitive models of meaning.

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

ADVANCED CONVERSATION I

Develop advanced oral/aural skills, cultural competence, and critical thinking through authentic materials and diverse viewpoints in socio-linguistic contexts.

• California Community Colleges System
• 11 weeks, 4 hours a week
• 23rd Sep, 2024
• Paid Course

Logic: The Language of Truth

Learn how to use logic to evaluate arguments and discover more about philosophical concepts like truth-tables and logical form.

• FutureLearn
• 4 weeks, 4 hours a week
• On-Demand
• Free Online Course (Audit)

Explore computational learning theory, focusing on binary classification and incremental learning models, with insights into various AI approaches and research areas.

• openHPI
• 3 weeks
• On-Demand
• Free Online Course

Simons Institute

Formal Languages and Automata for Reward Function Specification and Efficient Reinforcement Learning

Explore formal languages and automata for specifying reward functions in reinforcement learning, focusing on Linear Temporal Logic and Reward Machines to address real-world RL challenges.

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