Eliminace kvantifikátorů v logice komplexních čísel – Bc. Radoslav Habarda
Bc. Radoslav Habarda
Bakalářská práce
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 …víceAbstract:
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 …více
Jazyk práce: slovenština
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
- Vedoucí: doc. Lukáš Vokřínek, PhD.
- Oponent: Mgr. Jan Jurka
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á fakultaMasarykova univerzita
Přírodovědecká fakultaBakalářský studijní program / obor:
Matematika / Obecná matematika
Práce na příbuzné téma
-
Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití
Lukáš HONZÍK -
Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití
Lukáš HONZÍK -
Limity a různé způsoby jejich výpočtu
Ivana RYBÁROVÁ -
Matematická logika ve výuce na středních školách
Marika Kaňová -
Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)
Radek LIPENSKÝ -
Matematická logika a jej aplikácie
Martin BELANEC -
Verification of a solver based on a hybrid fictitious domain-immersed boundary method for flows in complex geometries at low to moderate Reynolds numbers
Ondřej Studeník -
Komplexní čísla a komplexní funkce
Michael Pánek