Eliminace kvantifikátorů v logice reálných čísel /
V této bakalářské práci se věnujeme Tarski-Seidenbergově větě, podle níž lze ke každé prvořádové formuli logiky reálných čísel nalézt ekvivalentní formuli neobsahující kvantifikátory. Hlavním cílem předkládaného textu je důkaz této věty, který provádíme netradičně pomocí stupně spojitého zobrazení a...
Uloženo v:
Hlavní autor: | |
---|---|
Další autoři: | |
Typ dokumentu: | VŠ práce nebo rukopis |
Jazyk: | Čeština |
Vydáno: |
2018
|
Témata: | |
On-line přístup: | http://is.muni.cz/th/380011/prif_b/ |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
---|---|---|---|---|---|---|
Dostupné Prezenční |
Přírodovědecká fakulta | ÚK volný výběr - M | K-M-2018-ŠTĚP | 3145372480 |