Výsledky vyhledávání
- 1.0583425 - MÚ 2024 RIV eng U - Uspořádání akce
Bastl, B. - Lukáš, D. - Kruis, J. - Šístek, Jakub - Tůma, M.
Mathematics in Industry 2023.
[Prague, 07.12.2023-07.12.2023, (W-CST 31/0)]
Grant ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985840
Klíčová slova: mathematics in industry
Obor OECD: Applied mathematics
https://workshop.math.cas.cz/MathInIndustry2023/
Trvalý link: https://hdl.handle.net/11104/0351395 - 2.0583256 - MÚ 2024 RIV CZ eng H - Konferenční sborník (tuzemská konf.)
Chleboun, J. (ed.) - Kůs, Pavel (ed.) - Papež, Jan (ed.) - Rozložník, Miroslav (ed.) - Segeth, Karel (ed.) - Šístek, Jakub (ed.)
Programs and Algorithms of Numerical Mathematics 21 : Jablonec nad Nisou, June 19-24, 2022 : Proceedings of Seminar.
Prague: Institute of Mathematics, Czech Academy of Sciences, 2023. 307 s. ISBN 978-80-85823-73-8. 1..
[Programs and Algorithms of Numerical Mathematics /21./. Jablonec nad Nisou (CZ), 19.06.2022-24.06.2022]
Institucionální podpora: RVO:67985840
Klíčová slova: numerical mathematics
Obor OECD: Pure mathematics
https://doi.org/10.21136/panm.2022
Trvalý link: https://hdl.handle.net/11104/0351258Název souboru Staženo Velikost Komentář Verze Přístup Sistek1.pdf 0 33.7 MB Vydavatelský postprint povolen - 3.0578783 - FLÚ 2024 RIV DE eng J - Článek v odborném periodiku
Hanke, Miroslav
Science as Pretence. Fictionalism in Late Medieval Nominalism.
Studia Neoaristotelica. Roč. 20, č. 2 (2023), s. 147-192. ISSN 1214-8407. E-ISSN 1804-6843
Grant CEP: GA ČR(CZ) GA20-05855S
Institucionální podpora: RVO:67985955
Klíčová slova: fictionalism * universals * nominalism * philosophy of mathematics * philosophy of science * late medieval philosophy
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.1, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.5840/studneoar20232024
Trvalý link: https://hdl.handle.net/11104/0350325 - 4.0578136 - FLÚ 2024 RIV eng U - Uspořádání akce
Fuentes Guillén, Elías
Steve Russ. Virtue, Happiness and Mathematics in the Life of Prague in the Early Nineteenth Century.
[Prague, 18.09.2023-18.09.2023, (W-EUR 16/1)]
Grant CEP: GA ČR(CZ) GM23-06540M
Institucionální podpora: RVO:67985955
Klíčová slova: Bernard Bolzano * 19th century intellectual history * history of mathematics in the 19th century
Obor OECD: Philosophy, History and Philosophy of science and technology
https://www.flu.cas.cz/cz/akce-filosofickeho-ustavu-av-cr/27-prednasky/4289-steve-russ-virtue-happiness-and-mathematics-in-the-life-of-prague-in-the-early-nineteenth-century
Trvalý link: https://hdl.handle.net/11104/0347307 - 5.0577253 - FLÚ 2024 RIV ES spa M - Část monografie knihy
Fuentes Guillén, Elías - Crippa, D.
La reforma de la geometría propuesta por Bolzano en 1804.
[The reform of geometry proposed by Bolzano in 1804.]
La génesis de la geometría. Madrid: Plaza y Valdés, 2023 - (Ferreirós, J.; de Paz, M.), s. 303-324. ISBN 978-84-17121-70-9
Institucionální podpora: RVO:67985955
Klíčová slova: Bernard Bolzano * history of mathematics in the 19th century * geometry
Obor OECD: Philosophy, History and Philosophy of science and technology
https://www.plazayvaldes.es/libro/la-genesis-de-la-geometria
Trvalý link: https://hdl.handle.net/11104/0346647 - 6.0576454 - FLÚ 2024 RIV GB eng M - Část monografie knihy
Crippa, Davide - Massa-Esteve, M. R.
Introduction.
The Algebrization of Mathematics during the 17th and 18th Centuries. Dwarfs and Giants, Centres and Peripheries. London: College publication, 2023 - (Crippa, D.; Massa-Esteve, M.), s. 1-23. Dialogues and Games of Logic, 8. ISBN 978-1-84890-394-4
Grant CEP: GA ČR(CZ) GJ19-03125Y
Institucionální podpora: RVO:67985955
Klíčová slova: centers * peripheries * circulation of knowledge * mathematics education
Obor OECD: Philosophy, History and Philosophy of science and technology
https://collegepublications.co.uk/dialogues/?00008
Trvalý link: https://hdl.handle.net/11104/0346027 - 7.0575735 - FLÚ 2024 eng U - Uspořádání akce
Punčochář, Vít - Sedlár, Igor
Logica 2023.
[Teplá, 18.06.2023-22.06.2023, (K-WRD 42/29)]
Institucionální podpora: RVO:67985955
Klíčová slova: logic * philosophy * mathematics
Obor OECD: Philosophy, History and Philosophy of science and technology
https://logika.flu.cas.cz/en/23-dokumenty/588-logica-2026
Trvalý link: https://hdl.handle.net/11104/0347041 - 8.0575115 - MÚ 2024 RIV US eng J - Článek v odborném periodiku
Jeřábek, Emil
Models of VTC^0 as exponential integer parts.
Mathematical Logic Quarterly. Roč. 69, č. 2 (2023), s. 244-260. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: logic * mathematics
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1002/malq.202300001
Trvalý link: https://hdl.handle.net/11104/0344971Název souboru Staženo Velikost Komentář Verze Přístup Jerabek2.pdf 0 290.9 KB Vydavatelský postprint povolen - 9.0573634 - FLÚ 2024 RIV GB eng R - Recenze
Klev, Ansten - Zwanziger, Colin
Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy, by D. Corfield [Review].
[CORFIELD, D.: Modal homotopy type theory: the prospect of a new logic for philosophy. First edition. Oxford: Oxford University Press, 2020. x, 180 stran. ISBN 978-0-19-885340-4.]. History and Philosophy of Logic. Taylor & Francis. Roč. 44, č. 3 (2023), s. 337-342. ISSN 0144-5340. E-ISSN 1464-5149
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: homotopy type theory * modal logic * philosophy of mathematics
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.1080/01445340.2022.2107383
Trvalý link: https://hdl.handle.net/11104/0344176 - 10.0573370 - FLÚ 2024 RIV CZ cze B - Monografie kniha jako celek
Fuentes Guillén, Elías
Matematické dílo Bernarda Bolzana ve světle jeho rukopisů.
[The mathematical work of Bernard Bolzano in the light of his manuscripts.]
Praha: Filosofia, 2023. 171 s. ISBN 978-80-7007-742-9
Grant CEP: GA ČR(CZ) GJ19-03125Y
Institucionální podpora: RVO:67985955
Klíčová slova: Bernard Bolzano * mathematics * history * philology
Obor OECD: Philosophy, History and Philosophy of science and technology
https://filosofia.flu.cas.cz/publikace/586
Trvalý link: https://hdl.handle.net/11104/0344355