Zpět na vyhledávání

Bc. Radoslav Habarda

Bachelor's thesis

Eliminace kvantifikátorů v logice komplexních čísel

Quantifier elimination in the logic of complex numbers
Abstract:
In this work, we will study elimination of quantifiers in the first-order theory of algebraically closed fields. Our goal will be to develop a new method for the elimination of quantifiers and use it to prove that this theory trully admits elimination of quantifiers. We will also implement streamlined version of this method in the Python programming language and will use it throughout the thesis for …viac
Abstract:
V této práci se budeme zabývat eliminací kvantifikátorů v prvořádové teorii algebraicky uzavřených těles. Naším cílem bude vyvinout novou metodu pro eliminaci kvantifikátorů a použít ji k důkazu, že tato teorie eliminaci kvantifikátorů opravdu připouští. Zefektivněnou metodu také stručně implementujeme v programovacím jazyce Python a budeme ji v průběhu práce využívat k demonstraci při příkladech v …viac
 

Kľúčové slová

Eliminace kvantifikátorů Matematická logika Komplexní čísla Algebraicky uzavřená telesa Polynómy Teorie modelů Elimination of quantifiers Mathematical logic Complex numbers Algebraically closed field Polynomials Model theory
 
Jazyk práce: Slovak
Datum vytvoření / odevzdání či podání práce: 10. 5. 2023
Identifikátor: https://is.muni.cz/th/qvocx/

Obhajoba závěrečné práce

  • Obhajoba proběhla 15. 6. 2023
  • Vedúci: doc. Lukáš Vokřínek, PhD.
  • Oponent: Mgr. Jan Jurka

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Přírodovědecká fakulta
Složka Odkaz na adresář do lokálního úložiště instituce