YoVDO

Buchi Automata and Fractals on R

Offered By: Fields Institute via YouTube

Tags

Fractals Courses Mathematics Courses Regular Languages Courses Theoretical Computer Science Courses First-Order Logic Courses

Course Description

Overview

Explore the fascinating intersection of Buchi automata and fractals on R in this 25-minute lecture by Alexi Block Gorman from The Fields Institute. Delve into the Thematic Program on Tame Geometry, Transseries and Applications to Analysis and Geometry as you learn about regular languages, model theory, and Buchi automata. Discover the connections between regular omega languages, first-order logic, and sparse sets, gaining valuable insights into this complex mathematical topic.

Syllabus

Introduction
Regular Languages
Model Theory
Buchi Automata
Regular Omega Languages
First Order Logic
Sparse Sets


Taught by

Fields Institute

Related Courses

Language, Proof and Logic
Stanford University via edX Artificial Intelligence: Knowledge Representation And Reasoning
Indian Institute of Technology Madras via Swayam AI:Knowledge Representation and Reasoning
Indian Institute of Technology Madras via Swayam 人工智慧：搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)
National Taiwan University via Coursera Semantics of First-Order Logic
Stanford University via edX