Výsledky vyhledávání
- 1.0556098 - ÚTIA 2023 RIV CH eng B - Monografie kniha jako celek
Csirmaz, Laszlo - Gyenis, Z.
Mathematical Logic : Exercises and Solutions.
Cham: Springer, 2022. 319 s. Problem Books in Mathematics. ISBN 978-3-030-79009-7
Grant CEP: GA ČR(CZ) GA19-04579S
Grant ostatní: Narodowe Centrum Nauki(PL) 2019/34/E/HS1/00044
Institucionální podpora: RVO:67985556
Klíčová slova: mathematical logic * formal logic * first-order logic * propositional calculus * predicate calculus * Goedel's theorem * Peano axiom system * recursion theory * ultraproducts * problem solving
Obor OECD: Pure mathematics
http://library.utia.cas.cz/separaty/2022/MTR/csirmaz-0556098.pdf
Trvalý link: http://hdl.handle.net/11104/0330493 - 2.0546779 - MÚ 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Part, Fedor - Thapen, Neil - Tzameret, I.
First-order reasoning and efficient semi-algebraic proofs.
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway: IEEE, 2021 - (Gorla, D.), č. článku 9470546. ISBN 978-1-6654-4896-3.
[36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Rome (IT), 29.06.2021-02.07.2021]
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: approximation algorithms * calculations * formal logic * NP-hard
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1109/LICS52264.2021.9470546
Trvalý link: http://hdl.handle.net/11104/0323162 - 3.0537046 - ÚI 2021 RIV CH eng G - Konferenční sborník (zahraniční konf.)
Martins, M. A. (ed.) - Sedlár, Igor (ed.)
Dynamic Logic. New Trends and Applications.
Cham: Springer, 2020. 295 s. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: architecting * architecture verification and validation * artificial intelligence * computer programming * computer science * computer systems * dynamic logic * embedded systems * epistemic logic * formal languages * formal logic * linguistics * mathematics * modal logic * model checking * multiagent system * semantics * software architecture * software design * software engineering
Obor OECD: Pure mathematics
https://link.springer.com/book/10.1007/978-3-030-65840-3
Trvalý link: http://hdl.handle.net/11104/0314799 - 4.0491873 - MÚ 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Galesi, N. - Talebanfard, Navid - Torán, J.
Cops-Robber games and the resolution of Tseitin formulas.
Theory and Applications of Satisfiability Testing – SAT 2018. Cham: Springer, 2018 - (Beyersdorff, O.; Wintersteiger, C.), s. 311-326. Lecture Notes in Computer Science, 10929. ISBN 978-3-319-94143-1. ISSN 0302-9743.
[21st International Conference, SAT 2018. Oxford (GB), 09.07.2018-12.07.2018]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: formal logic * computer circuits
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007%2F978-3-319-94144-8_19
Trvalý link: http://hdl.handle.net/11104/0285479Název souboru Staženo Velikost Komentář Verze Přístup Talebanfard1.pdf 2 241 KB Vydavatelský postprint vyžádat - 5.0367744 - FLÚ 2012 RIV CZ cze J - Článek v odborném periodiku
Materna, Pavel - Kmuníček, V.
Pojmy aneb co bylo dříve.
[Concepts or What Preceded What.]
Filosofický časopis. Roč. 59, č. 5 (2011), s. 733-745. ISSN 0015-1831
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: concept * a priori * formal logic
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0202307 - 6.0316577 - FLÚ 2009 RIV NL eng M - Část monografie knihy
Dvořák, Petr
Relational Logic of Juan Caramuel.
[Relační logika Jana Caramuela.]
Handbook of the History of Logic. Mediaeval and Renaissance Logic. Vol. 2. Amsterdam: North-Holland, 2008, s. 645-666. ISBN 978-0-444-51625-1
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: Juan Caramuel * Scholasticism * history of formal logic
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0166461