Mathematical Logic, Lecture 14 (Presburger Arithmetic)

preview_player
Показать описание
These are video lectures for the Mathematical Logic course (Math 220A) taught by Artem Chernikov at UCLA in the Fall quarter of 2021.
  1. Artem Chernikov
  2. mathematical logic
  3. first-order logic
  4. logic
  5. model theory
  6. Tarski
Рекомендации по теме
Mathematical Logic, Lecture 0:49:19

Mathematical Logic, Lecture 14 (Presburger Arithmetic)

Presburger arithmetic 0:06:27

Presburger arithmetic

What does Presburger 0:00:45

What does Presburger arithmetic mean?

Regular Languages and 0:27:22

Regular Languages and Model Theory 24: Nonstandard Models of Presburger Arithmetic

Regular Languages and 0:35:33

Regular Languages and Model Theory 22: Quantifier Elimination in Presburger Arithmetic

Sixth Webinar on 1:19:27

Sixth Webinar on CA: Presburger arithmetic, automatic sequences and linear cellular automata

Math 557 – 0:11:19

Math 557 – Deciding Theories

Erik Demaine - 0:35:38

Erik Demaine - Presburger Lecture

Decidability bounds for 0:46:00

Decidability bounds for Presburger arithmetic extended by sine

FPL: Fast Presburger 0:14:16

FPL: Fast Presburger Arithmetic through Transprecision

Regular Languages and 0:27:14

Regular Languages and Model Theory 10: Büchi Arithmetic

The trick used 0:02:13

The trick used in the proof of the doubly exponential complexity of Presburger arithmetics

Regular Languages and 0:49:15

Regular Languages and Model Theory 21: Quantifier Elimination on Fields

Presburger Award 2013 0:35:38

Presburger Award 2013 presentation

TM - Tema 0:23:37

TM - Tema 7: La Aritmética de Presburger (1)

Logic in Computer 1:26:49

Logic in Computer Science with a Strong Bias Towards Automata 1

2021 LLVM Dev 0:26:44

2021 LLVM Dev Mtg “FPL: A Presburger Library in MLIR”

Fast Linear Programming 0:13:35

Fast Linear Programming through Transprecision Computing on Small and Sparse Data

Adventures in Automata 1:07:09

Adventures in Automata with a Theorem-Prover

Regular Languages and 0:38:04

Regular Languages and Model Theory 13: Undecidable Extensions of Regular Logics

Regular Languages and 0:33:19

Regular Languages and Model Theory 23: Semilinear Sets

Regular Languages and 0:55:14

Regular Languages and Model Theory 30: Axiomatizing WS1S

Solving String Constraints, 0:47:36

Solving String Constraints, Starting From the Beginning and From the End

Émilie Charlier: Logic, 1:07:31

Émilie Charlier: Logic, decidability and numeration systems - Lecture 1