Study












            ******************************************************************************************

            *
            ******************************************************************************************
                                                                                                      
            Undergraduate (Bc., bachelor) [ URL "http://www.mff.cuni.Graduate (Mgr., master) [ URL "ht
            admission/"]                                             #Master"]                        
            The department is responsible for teaching compulsory comThe department is responsible for
            courses, namely Formal Automata and Grammars, Predicate aand Artificial Intelligence and w
            Logic, and Algorithms and Data Structures. We are also sustudy branches as well. We teach 
                                                                                                      
            working on bachelor studies and small software projects iComplexity and Computability and 
            artificial intelligence (games, planning), data mining, rstudy branches. We are supervisin
                                                                     representation and reasoning, pla
                                                                                                      
                                                                     learning and data mining, neural 
                                                                     robotics, algorithms, data struct