Hledat
Zobrazují se záznamy 1-3 z 3
Aspects of the Cut-Elimination Theorem
Aspekty věty o eliminovatelnosti řezů
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2021
Datum obhajoby: 07. 09. 2021
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: I give a proof of the cut-elimination theorem (Gentzen's Hauptsatz) for an intuitionistic multi-succedent calculus. The proof follows the strategy of eliminating topmost maximal-rank cuts that allows for a straightforward ...
I give a proof of the cut-elimination theorem (Gentzen's Hauptsatz ) for an intuitionistic multi-succedent calculus. The proof follows the strategy of eliminating topmost maximal-rank cuts that allows for a straightforward ...
I give a proof of the cut-elimination theorem (Gentzen's Hauptsatz ) for an intuitionistic multi-succedent calculus. The proof follows the strategy of eliminating topmost maximal-rank cuts that allows for a straightforward ...
Schönhageho-Strassenův algoritmus a jeho matematické pozadí
Schönhage-Strassen algorithm and the mathematics behind it
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2022
Datum obhajoby: 05. 09. 2022
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Thesis name: Schönhage-Strassen algorithm and the mathematics behind it Author: Valentina Jelínková Department: Katedra Logiky Supervisor: Doc. RNDr. Vítězslav Švejdar, CSc Abstrakt: This thesis deals with the Schönhage-Strassen ...
Název práce: Schönhageho-Strassenův algoritmus a jeho matematické pozadí Autor: Valentina Jelínková Katedra: Katedra Logiky Vedoucí: Doc. RNDr. Vítězslav Švejdar, CSc Abstrakt: Práce se zabývá Schönhageho-Strassenovým ...
Název práce: Schönhageho-Strassenův algoritmus a jeho matematické pozadí Autor: Valentina Jelínková Katedra: Katedra Logiky Vedoucí: Doc. RNDr. Vítězslav Švejdar, CSc Abstrakt: Práce se zabývá Schönhageho-Strassenovým ...
Dělitelnost v okruzích
The Divisibility Relation in Rings
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2022
Datum obhajoby: 05. 09. 2022
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: This thesis aims to define a theory of divisibility for general integral domains. A hiear- chy of divisibility domains with properties to those of division on the integers is outlined. Chinese residue theorem is generalized ...
Práce si klade za cíl definovat teorii dělitelnosti pro obecné obory integrity a nastí- nit hierarchii oborů dělitelnosti s vlastnostmi, které očekáváme, že budou platit obdobně jako při dělení na celých číslech. Pomocí ...
Práce si klade za cíl definovat teorii dělitelnosti pro obecné obory integrity a nastí- nit hierarchii oborů dělitelnosti s vlastnostmi, které očekáváme, že budou platit obdobně jako při dělení na celých číslech. Pomocí ...