Výsledky vyhledávání
- 1.0405487 - UIVT-O 330864 CZ eng A - Abstrakt
Klaschka, Jan
On Ordering of Splits and Gray Code (A New Trick and its long History).
First Czech-Catalan Conference in Mathematics. Prague: ITI Charles University, 2005 - (Chudlarský, T.). s. 16-17
[Czech-Catalan Conference in Mathematics /1./. 27.05.2005-28.05.2005, Prague]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Gray code * classification and regression trees
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125649 - 2.0405470 - UIVT-O 330845 CZ eng A - Abstrakt
Cintula, Petr
Weak Predicate Fuzzy Logics.
First Czech-Catalan Conference in Mathematics. Prague: ITI Charles University, 2005 - (Chudlarský, T.). s. 34
[Czech-Catalan Conference in Mathematics /1./. 27.05.2005-28.05.2005, Prague]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * predicate logic * consequence relation * matrix semantics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125633 - 3.0404964 - UIVT-O 20030159 CZ cze A - Abstrakt
Šíma, Jiří
Počítání pomocí ljapunovských Hopfieldových systémů ve spojitém čase.
[Computing with Liapunov Hopfield Systems in Continuous Time.]
Současné trendy matematické informatiky. Prague: ITI Charles University, 2003 - (Král', D.). s. 32
[Současné trendy teoretické informatiky. 22.05.2003-23.05.2003, Praha]
Výzkumný záměr: AV0Z1030915
Klíčová slova: continuous-time Hopfield networks * analog computation * Turing universality
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125184 - 4.0404855 - UIVT-O 20020215 CZ eng V - Výzkumná zpráva
Hájek, Petr
Mathematical Fuzzy Logic - State of Art 2001.
Prague: ITI Charles University, 2001. 19 s. ITI Series, 2001-027.
Grant CEP: GA MŠMT LN00A056
Klíčová slova: fuzzy logic * BL-algebras * Lukasiewicz * Gödel * product logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125082 - 5.0404312 - UIVT-O 20010096 CZ eng V - Výzkumná zpráva
Hájek, Petr
A New Small Emendation of Gödel's Ontological Proof.
Prague: ITI Charles University, 2001. 10 s. ITI Series, 2001-015.
Výzkumný záměr: AV0Z1030915
Klíčová slova: ontological proof * Gödel proof * modal logic * comprehension * positive properties
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124571 - 6.0347339 - ÚI 2011 CZ eng A - Abstrakt
Petrík, Milan - Sarkoci, P.
Web-Geometric Approach to Continuous Triangular Subnorms.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 149-150
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
Grant CEP: GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: associativity * contour * level set * monoidal triangular norm based logic * Reidemeister closure condition * triangular norm * triangular subnorm * web geometry
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0188139 - 7.0347338 - ÚI 2011 CZ eng A - Abstrakt
Horčík, Rostislav
Minimal Varieties of Representable Commutative Residuated Lattices.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 124-127
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
Grant CEP: GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: representable commutative residuated lattice * FL-algebra * subvariety lattice * minimal variety
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0188138 - 8.0347335 - ÚI 2011 CZ eng A - Abstrakt
Hájek, Petr
Some Theories over Łukasiewicz Logic.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 111-112
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
Grant CEP: GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Łukasiewicz logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0188135Název souboru Staženo Velikost Komentář Verze Přístup 0347335-h.pdf 2 127.1 KB Vydavatelský postprint povolen - 9.0347334 - ÚI 2011 CZ eng A - Abstrakt
Haniková, Zuzana
On Logics with Truth Constants for Delimiting Idempotents.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 113-117
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: basic fuzzy logic * expansion * propositional * constants
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0188134 - 10.0347328 - ÚI 2011 CZ eng A - Abstrakt
Cintula, Petr - Noguera, C.
Implicational Logics vs. Order Algebraizable Logics.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 72-73
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
Grant CEP: GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: implicational logics * order algebraizable logics * abstract algebraic logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0188130