Výsledky vyhledávání
- 1.0511418 - FLÚ 2021 RIV US eng B - Monografie kniha jako celek
Peregrin, Jaroslav
Philosophy of Logical Systems.
New York: Routledge, 2020. 197 s. Routledge Studies in Contemporary Philosophy. ISBN 978-0-367-40563-2
Grant CEP: GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: logic * logical formalization * formal language * formalized language * logical system * philosophy of logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0301688 - 2.0510567 - FLÚ 2020 eng U - Uspořádání akce
Havrda, Matyáš
Burt C. Hopkins. The Origin of Symbolic Mathematics.
[Prague, 26.09.2019-18.11.2019, (W-WRD 9/1)]
Grant CEP: GA ČR(CZ) GA17-05919S
Institucionální podpora: RVO:67985955
Klíčová slova: symbolic mathematics * generalization and formalization * ancient mathematics * analysis * Diophantus * Viète
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0301204 - 3.0468215 - FLÚ 2017 DE eng B - Monografie kniha jako celek
Chvatík, Ivan (ed.) - Williams, A. (ed.) - Učník, L. (ed.)
The Phenomenological Critique of Mathematization and the Question of Responsibility.
Cham: Springer, 2015. 223 s. Contributions to phenomenology, 76. ISBN 978-3-319-09827-2
Institucionální podpora: RVO:67985955
Klíčová slova: formalization * mathematization * life-world * responsibility
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0266058 - 4.0460263 - FLÚ 2017 RIV BE eng J - Článek v odborném periodiku
Peregrin, Jaroslav - Svoboda, Vladimír
Logical formalization and the formation of logic(s).
Logique et Analyse. Roč. 59, č. 233 (2016), s. 55-80. ISSN 0024-5836
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: logical formalization * logical analysis * reflective equilibrium
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0260382 - 5.0454305 - FLÚ 2016 CZ cze, eng, slo J - Článek v odborném periodiku
Havlík, Vladimír (ed.)
Sedmkrát z logiky a metodologie vědy aneb artikulace - axiomatizace - demarkace - explanace - formalizace - instrumentalizace - matematizace.
[Seven times of logic and methodology of science: articulation - axiomatization - demarcation - explanation - formalization - instrumentalization - mathematization.]
Filosofický časopis. Roč. 63, mimořádné č. 3 (2015), s. 1-152. ISSN 0015-1831
Institucionální podpora: RVO:67985955
Klíčová slova: articulation * axiomatization * demarcation * explanation * formalization * instrumentalization * mathematization
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0255152 - 6.0446568 - ÚI 2016 RIV GB eng J - Článek v odborném periodiku
Šimko, V. - Hauzar, D. - Hnětynka, P. - Bureš, Tomáš - Plášil, F.
Formal Verification of Annotated Textual Use-Cases.
Computer Journal. Roč. 58, č. 7 (2015), s. 1495-1529. ISSN 0010-4620. E-ISSN 1460-2067
Grant ostatní: GA AV ČR(CZ) GAP103/11/1489
Institucionální podpora: RVO:67985807
Klíčová slova: specification * use-cases * behavior modeling * verification * temporal logic * formalization
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 1.000, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0248549 - 7.0405532 - UIVT-O 330910 RIV CN eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Cintula, Petr
General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus.
[Obecný logický formalismus pro fuzzy matematiku: metodologie a aparát.]
Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1227-1232. ISBN 7-302-11377-7.
[International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
Grant CEP: GA AV ČR KJB100300502; GA MŠMT 1M0545
Klíčová slova: fuzzy logic * fuzzy mathematics * axiomatization * formalization * higher-order logic * LPi-logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125690Název souboru Staženo Velikost Komentář Verze Přístup 0405532.pdf 0 576.3 KB Autorský preprint povolen - 8.0405512 - UIVT-O 330890 RIV US eng A - Abstrakt
Peleška, Jan - Anger, Z. - Buchtela, David - Tomečková, Marie - Veselý, Arnošt - Zvárová, Jana
Formalized Combined 2003 European Guidelines on Cardiovascular Disease Prevention and Hypertension.
[Formalizovaná kombinovaná evropská doporučení o prevenci srdečně-cévních chorob a hypertenzi z roku 2003.]
Journal of Hypertension. Lippincott Williams & Wilkins. 23 Suppl. 2, - (2005), s. 196. ISSN 0263-6352. E-ISSN 1473-5598.
[European Meeting on Hypertension /15./. 17.06.2005-21.06.2005, Milan]
Grant CEP: GA AV ČR 1ET200300413
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: European medical guidelines * formalization of combined guidelines
Kód oboru RIV: FA - Kardiovaskulární nemoci vč. kardiochirurgie
Trvalý link: http://hdl.handle.net/11104/0125670 - 9.0405148 - UIVT-O 20030172 CZ cze A - Abstrakt
Peleška, Jan - Anger, Z. - Buchtela, D. - Tomečková, Marie - Veselý, Arnošt - Zvárová, Jana
Formalizace lékařských doporučení pro hypertenzi.
[Formalization of Medical Guidelines for Management of Hypertension.]
Sborník abstraktů. Brno, 2003. s. 52. ISBN 80-96607-04-6.
[Konference České společnosti pro hypertenzi /20./, Konference pracovní skupiny Preventivní kardiologie ČKS /12./, Konference pracovní skupiny Srdeční selhání ČKS. 02.10.2003-04.10.2003, Mikulov]
Grant CEP: GA MŠMT LN00B107
Klíčová slova: formalization of hypertension guidelines * medical guidelines and PC
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125348 - 10.0399044 - FLÚ 2014 RIV NL eng J - Článek v odborném periodiku
Peregrin, Jaroslav - Svoboda, Vladimír
Criteria for logical formalization.
Synthese. Roč. 190, č. 14 (2013), s. 2897-2924. ISSN 0039-7857. E-ISSN 1573-0964
Grant CEP: GA ČR(CZ) GAP401/10/1279
Institucionální podpora: RVO:67985955
Klíčová slova: logic * logical form * formalization * reflective equilibrium
Kód oboru RIV: AA - Filosofie a náboženství
Impakt faktor: 0.637, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0226439