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 …more
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 …more
 

Keywords

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
 
Language used: Slovak
Date on which the thesis was submitted / produced: 10. 5. 2023
Identifier: https://is.muni.cz/th/qvocx/

Thesis defence

  • Date of defence: 15. 6. 2023
  • Supervisor: doc. Lukáš Vokřínek, PhD.
  • Reader: Mgr. Jan Jurka

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Přírodovědecká fakulta
Složka Reference to the local database directory of the institution