Hledat
Zobrazují se záznamy 21-27 z 27
Verefication of Mathematical Proofs
Verefication of Mathematical Proofs
Dizertační práce (OBHÁJENO)
Vedoucí práce: Štěpánek, Petr
Datum publikování: 2007
Datum obhajoby: 07. 03. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this thesis we deal with the problem of automatic proving (or disproving) mathematical conjectures using computer programs (usually called automated theorem provers). We address several issues that are important for a ...
Structure of Submodels.Diagonal Indiscernibility in Models of Arithmetics.
Structure of Submodels.Diagonal Indiscernibility in Models of Arithmetics.
Dizertační práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2007
Datum obhajoby: 06. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis
Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu
Dizertační práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2013
Datum obhajoby: 23. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: of doctoral thesis Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis Petr Glivický We are motivated by a problem of understanding relations between local and global ...
disertační práce Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu Petr Glivický Jsme motivováni otázkou vztahu lokálních a globálních vlastností operace o ve struktuře tvaru B, o s ...
disertační práce Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu Petr Glivický Jsme motivováni otázkou vztahu lokálních a globálních vlastností operace o ve struktuře tvaru B, o s ...
Constraint Programming in Planning
Omezující podmínky v plánování
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2008
Datum obhajoby: 30. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis deals with planning problems and Boolean satisfiability problems that represent major challenges for artificial intelligence. Planning problems are stated as finding a sequence of actions that reaches certain ...
Synchronization and Discontinuous Input Processing in Transition Systems
Synchronizace a nespojité zpracování vstupu v přechodových systémech
Dizertační práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2018
Datum obhajoby: 03. 09. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce shrnuje odpovědi na složitostní a kombinatorické otázky z oblasti synchronizačních slov v přechodových systémech, barvení cesty na orientovaných grafech a nespojitého zpracování vstupu ve formálních jazycích. Výsledky ...
Original results in computational and combinatorial theory of reset words in transition systems, road coloring in directed graphs, and discontinuous input processing in formal languages are presented, including strong lower ...
Original results in computational and combinatorial theory of reset words in transition systems, road coloring in directed graphs, and discontinuous input processing in formal languages are presented, including strong lower ...
Redukční automaty a syntaktické chyby
Reducing Automata and Syntactic Errors
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plátek, Martin
Datum publikování: 2012
Datum obhajoby: 17. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis deals with reducing automata, their normalization, and their application for a (robust) reduction analysis and localization of syntactic errors for deterministic context-free languages (DCFL). A reducing automaton ...
Tato práce se zabývá redukčními automaty, jejich normalizacemi a využitím pro (robustní) redukční analýzu a lokalizaci syntaktických chyb pro jazyky ze třídy DCFL. Redukční automat navazuje na restartovací automat, od ...
Tato práce se zabývá redukčními automaty, jejich normalizacemi a využitím pro (robustní) redukční analýzu a lokalizaci syntaktických chyb pro jazyky ze třídy DCFL. Redukční automat navazuje na restartovací automat, od ...
Reasoning in Description Logics
Usuzování v deskriptivní logice
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kučera, Antonín
Datum publikování: 2013
Datum obhajoby: 21. 01. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Reasoning in Description Logics Author: Mgr. Jaromír Malenko Department: Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague Supervisor: ...
Název: Usuzování v deskriptivní logice Autor: Mgr. Jaromír Malenko Pracoviště: Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Školitel: Prof. RNDr. Petr ...
Název: Usuzování v deskriptivní logice Autor: Mgr. Jaromír Malenko Pracoviště: Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Školitel: Prof. RNDr. Petr ...