Главная
Study mode:
on
1
Introduction
2
Finite words
3
Algebraic words
4
What is a language
5
Low universal algebra
6
Starfree expressions
7
Greens relation
8
Logician
9
First Order Logic
10
Second Order Logic
11
Binary Tree
12
Sheila
13
Pan Pera
14
Algebraic point of view
15
Open questions
16
First order
17
Conclusion
Description:
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it Explore a conference talk on the relationship between algebra and logic in the context of generalized words. Delve into finite and algebraic words, language definitions, and universal algebra concepts. Examine starfree expressions, Green's relations, and logical perspectives including First Order and Second Order Logic. Investigate binary trees, Sheila-Pan Pera, and algebraic viewpoints. Consider open questions in first-order logic and draw insights from this comprehensive discussion on discrete mathematics and logic, bridging mathematical and computer science domains.

Algebra vs Logic over Generalized Words

Centre International de Rencontres Mathématiques
Add to list
0:00 / 0:00