Search results
- 1.0501039 - ÚI 2020 GB eng B - Monography
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
Institutional support: RVO:67985807 ; RVO:67985840
Keywords : Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
OECD category: Pure mathematics; Pure mathematics (MU-W)
Permanent Link: http://hdl.handle.net/11104/0293053File Download Size Commentary Version Access 0501039-titlist.pdf 8 138.3 KB volne online Publisher’s postprint open-access - 2.0403424 - UIVT-O 980073 RIV NL eng B - Monography
Hájek, Petr
Metamathematics of Fuzzy Logic.
Dordrecht: Kluwer Academic Publishers, 1998. 297 s. Trends in Logic, Vol. 4. ISBN 0-7923-5238-6
R&D Projects: GA AV ČR IAA1030601
Keywords : fuzzy logic * many-valued logics * vagueness
Subject RIV: BA - General Mathematics
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000128628&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0123732 - 3.0402695 - UIVT-O 960045 CZ cze B - Monography
Hájek, Petr - Švejdar, V.
Matematická logika. Studijní materiál.
Praha: MFF, 1994. 62 s.
Permanent Link: http://hdl.handle.net/11104/0123081File Download Size Commentary Version Access 0402695 mate94.pdf 0 458.2 KB Publisher’s postprint require - 4.0401861 - UIVT-O 930005 DE eng B - Monography
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
Keywords : mathematical logic
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124306&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0122295 - 5.0401746 - UIVT-O 920035 US eng B - Monography
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
Keywords : 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
Permanent Link: http://hdl.handle.net/11104/0122191 - 6.0400831 - UIVT-O 001150 CS1 cze B - Monography
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
Permanent Link: http://hdl.handle.net/11104/0121307 - 7.0400823 - UIVT-O 001142 CS1 cze B - Monography
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
Permanent Link: http://hdl.handle.net/11104/0121299File Download Size Commentary Version Access 0400823.pdf 2 64.2 MB Publisher’s postprint open-access - 8.0400815 - UIVT-O 001134 CS1 eng B - Monography
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
Permanent Link: http://hdl.handle.net/11104/0121291File Download Size Commentary Version Access 400815-h.pdf 0 13.9 MB Publisher’s postprint require - 9.0400151 - UIVT-O 000164 SU rus B - Monography
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
Permanent Link: http://hdl.handle.net/11104/0120631 - 10.0400150 - UIVT-O 000163 CS1 cze B - Monography
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
Permanent Link: http://hdl.handle.net/11104/0120630