Zobrazeno 1 - 4
of 4
pro vyhledávání: '"disjunkce"'
Autor:
Lávička, Tomáš
In this thesis we study completeness properties of infinitary propositional logics from the perspective of abstract algebraic logic. The goal is to under- stand how the basic tool in proofs of completeness, the so called Linden- baum lemma, generaliz
Externí odkaz:
http://www.nusl.cz/ntk/nusl-389839
Autor:
JANČICH, Jakub
This work serves as an auxiliary collection of math problems of the foundations of arithmetic.All examples are processed in GeoGebra and placed on the websites. Using GeoGebra is achieved by a dynamic surroundings where each user can change the input
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::5e599ffa8e3d1572f50a8635175758e8
http://www.nusl.cz/ntk/nusl-252510
http://www.nusl.cz/ntk/nusl-252510
Autor:
Šimonová, Adriana
Šimonová A., A researcher of examples for a subject of Theoretical basics of informatics. Mendel Univerity in Brno, 2013. Bachelor thesis is focused on the subject - Theoretical basics of informatics, specifically on propositional calculus. In the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::b4c6b69bfb77ede1df61e601b2400857
http://www.nusl.cz/ntk/nusl-179525
http://www.nusl.cz/ntk/nusl-179525