Výsledky vyhledávání

  1. 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. 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
    Název souboruStaženoVelikostKomentářVerzePřístup
    Part.pdf6371.7 KBVydavatelský postprintvyžádat
     
     
  3. 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. 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/0285479
    Název souboruStaženoVelikostKomentářVerzePřístup
    Talebanfard1.pdf2241 KBVydavatelský postprintvyžádat
     
     
  5. 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. 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
     
     


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.