Výsledky vyhledávání
- 1.0501039 - ÚI 2020 GB eng B - Monografie kniha jako celek
Hájek, Petr - Pudlák, Pavel
Metamathematics of First-Order Arithmetic.
Cambridge: Cambridge University Press, 2017. 474 s. Perspectives in Logic. ISBN 978-1-107-16841-1
Institucionální podpora: RVO:67985807 ; RVO:67985840
Klíčová slova: Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
Obor OECD: Pure mathematics; Pure mathematics (MU-W)
Trvalý link: http://hdl.handle.net/11104/0293053Název souboru Staženo Velikost Komentář Verze Přístup 0501039-titlist.pdf 8 138.3 KB volne online Vydavatelský postprint povolen - 2.0403424 - UIVT-O 980073 RIV NL eng B - Monografie kniha jako celek
Hájek, Petr
Metamathematics of Fuzzy Logic.
Dordrecht: Kluwer Academic Publishers, 1998. 297 s. Trends in Logic, Vol. 4. ISBN 0-7923-5238-6
Grant CEP: GA AV ČR IAA1030601
Klíčová slova: fuzzy logic * many-valued logics * vagueness
Kód oboru RIV: BA - Obecná matematika
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000128628&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0123732 - 3.0402695 - UIVT-O 960045 CZ cze B - Monografie kniha jako celek
Hájek, Petr - Švejdar, V.
Matematická logika. Studijní materiál.
Praha: MFF, 1994. 62 s.
Trvalý link: http://hdl.handle.net/11104/0123081Název souboru Staženo Velikost Komentář Verze Přístup 0402695 mate94.pdf 0 458.2 KB Vydavatelský postprint vyžádat - 4.0401861 - UIVT-O 930005 DE eng B - Monografie kniha jako celek
Hájek, Petr - Pudlák, Pavel
Metamathematics of First-Order Arithmetic.
Berlin: Springer-Verlag, 1993. 460 s. Perspectives in Mathematical Logic. ISBN 3-540-50632-2
Klíčová slova: mathematical logic
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124306&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0122295 - 5.0401746 - UIVT-O 920035 US eng B - Monografie kniha jako celek
Hájek, Petr - Havránek, Tomáš - Jiroušek, Radim
Uncertain Information Processing in Expert Systems.
Boca Raton: CRC Press, 1992. 285 s. ISBN 0-8493-6368-3
Klíčová slova: probability * decision making * knowledge integration methods * compositional systems * probabilistic analysis * graphical models * estimation * algebraic analysis * Dempster-Shafer theory
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000123871&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0122191 - 6.0400831 - UIVT-O 001150 CS1 cze B - Monografie kniha jako celek
Hájek, Petr - Havel, I. - Havránek, Tomáš - Chytil, M. - Renc, Z. - Rauch, J.
Metoda GUHA (General Unary Hypothesis Automaton). Skriptum vydané ke stejnojmennému kursu.
České Budějovice: Dům techniky, 1977. 314 s.
http://aleph.lib.cas.cz/F/?func=direct&doc_number=001128879&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0121307 - 7.0400823 - UIVT-O 001142 CS1 cze B - Monografie kniha jako celek
Hájek, Petr
Základy matematické logiky. Učební text pro výzkumné pracovníky. Část I. a II.
Praha: Dům techniky ČSVTS, 1967. 58 s. a 72 s.
http://aleph.lib.cas.cz/F/?func=direct&doc_number=001710454&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0121299Název souboru Staženo Velikost Komentář Verze Přístup 0400823.pdf 2 64.2 MB Vydavatelský postprint povolen - 8.0400815 - UIVT-O 001134 CS1 eng B - Monografie kniha jako celek
Vopěnka, P. - Hájek, Petr
The Theory of Semisets.
Prague: Academia, 1972. 332 s.
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000129282&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0121291Název souboru Staženo Velikost Komentář Verze Přístup 400815-h.pdf 0 13.9 MB Vydavatelský postprint vyžádat - 9.0400151 - UIVT-O 000164 SU rus B - Monografie kniha jako celek
Hájek, Petr - Havránek, Tomáš
Avtomatičeskoje obrazovanije gipotez.
Moskva: Nauka, 1984. 280 s.
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000125493&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0120631 - 10.0400150 - UIVT-O 000163 CS1 cze B - Monografie kniha jako celek
Hájek, Petr - Havránek, Tomáš - Chytil, M. K.
Metoda GUHA - automatická tvorba hypotéz.
Praha: Academia, 1983. 316 s.
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000125492&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0120630