Výsledky vyhledávání
- 1.0585920 - FLÚ 2025 CH eng M - Část monografie knihy
Fuentes Guillén, Elías
Bolzano’s Theory of meßbare Zahlen. Insights and Uncertainties Regarding the Number Continuum.
Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer, 2024 - (Sriraman, B.), s. 1595-1632. ISBN 978-3-031-40845-8
Grant CEP: GA ČR(CZ) GJ19-03125Y
Institucionální podpora: RVO:67985955
Klíčová slova: Bernard Bolzano * history of mathematics in the 19th century * real numbers
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-40846-5_96
Trvalý link: https://hdl.handle.net/11104/0353767 - 2.0579461 - ÚI 2024 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan
Deciding Predicate Logical Theories Of Real-Valued Functions.
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023 - (Leroux, J.; Lombardy, S.; Peleg, D.), č. článku 76. Leibniz International Proceedings in Informatics, 272. ISBN 978-3-95977-292-1. ISSN 1868-8969.
[MFCS 2023: International Symposium on Mathematical Foundations of Computer Science /48./. Bordeaux (FR), 28.08.2023-01.09.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: decision procedures * first-order predicate logical theories * real numbers * real-valued functions
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.MFCS.2023.76
Trvalý link: https://hdl.handle.net/11104/0348265Název souboru Staženo Velikost Komentář Verze Přístup 0579461-aoa.pdf 2 730.8 KB OA CC BY 4.0 Vydavatelský postprint povolen
Vědecká data: ArXiv.org (preprint) - 3.0577735 - FLÚ 2024 RIV CZ cze J - Článek v odborném periodiku
Vlasáková, Marta
Cantorův diagonální důkaz.
[Cantor’s Diagonal Proof.]
Teorie vědy. Roč. 45, č. 2 (2023), s. 153-193. ISSN 1210-0250. E-ISSN 1804-6347
Grant CEP: GA ČR(CZ) GA23-07119S
Institucionální podpora: RVO:67985955
Klíčová slova: Cantor’s diagonal proof * actual and potential infinity * real numbers * set cardinality * recursive function
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://doi.org/10.46938/tv.2023.605
Trvalý link: https://hdl.handle.net/11104/0348567 - 4.0561783 - FLÚ 2023 RIV CH eng E - Elektronický dokument
Fuentes Guillén, Elías
Bolzano’s Theory of meßbare Zahlen. Insights and Uncertainties Regarding the Number Continuum.
[textový soubor]. - Cham: Springer, 2022, 564 kB
Grant CEP: GA ČR(CZ) GJ19-03125Y
Institucionální podpora: RVO:67985955
Klíčová slova: Bernard Bolzano * measurable numbers * number continuum * real numbers * nineteenth-century mathematics
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-19071-2_96-2
Trvalý link: https://hdl.handle.net/11104/0334901 - 5.0548251 - FLÚ 2022 ES spa R - Recenze
Fuentes Guillén, Elías
Georg Cantor. Obra matemática, by Carlos Gómez Bermúdez [Review].
[CANTOR, G.: Obra matemática. La Coruña: Universidade da Coruña. Madrid: RSME, 2019. ISBN 978-84-9749-702-2, ISBN 978-84-9351-969-8]. La Gaceta de la Real Sociedad Matematica Espaňola. Roč. 24, č. 1 (2021), s. 211-219. ISSN 1138-8927
Institucionální podpora: RVO:67985955
Klíčová slova: Georg Cantor * History of mathematics in the 19th century * History of set theory * History of real numbers
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://gaceta.rsme.es/abrir.php?id=1627
Trvalý link: http://hdl.handle.net/11104/0324339 - 6.0449388 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
Franek, Peter - Ratschan, Stefan - Zgliczynski, P.
Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers.
Journal of Automated Reasoning. Roč. 57, č. 2 (2016), s. 157-185. ISSN 0168-7433. E-ISSN 1573-0670
Grant CEP: GA ČR GCP202/12/J060; GA MŠMT OC10048; GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: decidability * decision procedure * real numbers
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.636, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0250958Název souboru Staženo Velikost Komentář Verze Přístup a0449388.pdf 9 702.4 KB Vydavatelský postprint vyžádat - 7.0405562 - UIVT-O 330942 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Towards a Formal Theory of Fuzzy Dedekind Reals.
[Předběžný nástin formální teorie dedekindovských fuzzy reálných čísel.]
Fuzzy Logic and Technology. Barcelona, 2005 - (Montseny, E.; Sobrevilla, P.), s. 949-954. ISBN 84-7683-872-3.
[EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy Dedekind completion * fuzzy real numbers * high-order fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125717 - 8.0368130 - ÚI 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Franek, Peter - Ratschan, Stefan - Zgliczynski, P.
Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable.
Mathematical Foundations of Computer Science 2011. Berlin: Springer, 2011 - (Murlak, F.; Sankowski, P.), s. 315-326. Lecture Notes in Computer Science, 6907. ISBN 978-3-642-22992-3. ISSN 0302-9743.
[MFCS 2011. International Symposium /36./. Warsaw (PL), 22.08.2011-26.08.2011]
Grant CEP: GA MŠMT OC10048
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: decidability * logical theories * real numbers
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0202562Název souboru Staženo Velikost Komentář Verze Přístup a0368130.pdf 2 216 KB Vydavatelský postprint vyžádat - 9.0318380 - ÚI 2009 BE eng A - Abstrakt
Běhounek, Libor
Axiomatization of Mathematical and Physical Theories in t-norm logics.
Logic and the Foundations of Physics: Space, Time and Quanta. Brussel: CLEA, 2008. s. 21-22.
[Trends in Logic /6./. 11.12.2008-12.12.2008, Brussels]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * axiomatic theory * real numbers
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0167816 - 10.0106898 - MU-W 20040105 RIV CZ cze J - Článek v odborném periodiku
Práger, Milan - Sýkorová, I.
Jak počítače počítají.
[How the computers compute.]
Pokroky matematiky, fyziky & astronomie. Roč. 49, č. 1 (2004), s. 32-45. ISSN 0032-2423
Výzkumný záměr: CEZ:AV0Z1019905
Klíčová slova: real numbers representation * computer arithmetics * round-off errors
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0014070Název souboru Staženo Velikost Komentář Verze Přístup Prager.pdf 1 311.1 KB Vydavatelský postprint povolen