RNDr. Pavel Šmerk, Ph.D.
Programme: FI M-IN Informatics, Master's degree programmeField: FI IN Informatics, Master's degree programme, full-time study mode, single-subject
Credits gained, grade average and percentile
Credits gained
326
Grade average
1.23 (Weighted average - All Grades)
The student ranks among
6 % of the best students in the programme
6 % of the best students in the programme
Percentile
6 (only successfully passed studies)
6 (only successfully passed studies)
| Autumn 1997 | ||||
| Course | Credits | Type of Completion | Evaluation | |
|---|---|---|---|---|
| FI:I000 Induction and Recursion | 5 | zk (examination) | 1 | 17/1/1998 |
| FI:I002 Design of Algorithms I | 6 | zk (examination) | 1 | 19/12/1998 |
| FI:I015 Introduction to Functional Programming | 4 | zk (examination) | 2 | 31/1/1998 |
| FI:M003 Linear Algebra I | 6 | zk (examination) | 1 | 8/1/1998 |
| FI:M005 Set Theory I | 5 | zk (examination) | 1 | 7/1/1998 |
| FI:P000 Computer Architecture | 5 | zk (examination) | 1 | 3/2/1998 |
| FI:V000 Elements of Style | 3 | k (colloquium) | P | 13/5/1998 |
| FI:V001 English | z (credit) | Z | 20/2/1998 | |
| FI:V002 Physical Training | z (credit) | Z | 28/1/1998 | |
| FI:V003 Economic Style of Thinking I | 2 | z (credit) | Z | 11/2/1998 |
| Spring 1998 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:Imp_7777 Duševní hygiena II | 3 | z (credit) | Z | 25/5/1998 |
| FI:I003 Introcuction to Object-oriented Programming | 6 | zk (examination) | 1 | 29/5/1998 |
| FI:I005 Formal Languages and Automata I | 7 | zk (examination) | 1 | 4/6/1998 |
| FI:I056 Fuzzy Sets and Their Applications | 4 | zk (examination) | 1 | 1/6/1998 |
| FI:M004 Linear Algebra II | 5 | zk (examination) | 1 | 4/6/1998 |
| FI:M006 Set Theory II | 4 | zk (examination) | 1 | 4/6/1998 |
| FI:M016 Practicing Linear Algebra II | 2 | z (credit) | Z | 25/5/1998 |
| FI:M020 Practicing Set Theory II | 1 | z (credit) | Z | 26/5/1998 |
| FI:P001 Operating Systems | 5 | zk (examination) | 1 | 3/6/1998 |
| FI:P004 UNIX | 4 | zk (examination) | 2 | 10/6/1998 |
| FI:P062 Data Structures | 4 | zk (examination) | 1 | 27/5/1998 |
| FI:V002 Physical Training | z (credit) | Z | 10/6/1998 | |
| FI:V004 Economic Style of Thinking II | 3 | k (colloquium) | P | 3/7/1998 |
| Autumn 1998 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:I006 Formal Languages and Automata II | 5 | zk (examination) | 2 | 7/1/1999 |
| FI:I053 Efficient Programming Methods | 3 | k (colloquium) | P | 11/1/1999 |
| FI:I070 Object-oriented Programming | 5 | zk (examination) | 2 | 1/2/1999 |
| FI:M000 Calculus I | 5 | zk (examination) | 1 | 15/2/1999 |
| FI:M007 Mathematical Logic | 4 | zk (examination) | 1 | 18/1/1999 |
| FI:M008 Algebra I | 5 | zk (examination) | 2 | 28/1/1999 |
| FI:M021 Practicing Algebra I | 2 | z (credit) | Z | 6/1/1999 |
| FI:P002 Introduction to Database Systems | 4 | zk (examination) | 1 | 27/1/1999 |
| FI:P005 Computer Network Services | 3 | k (colloquium) | P | 20/11/1998 |
| FI:V001 English | z (credit) | Z | 15/12/1998 | |
| FI:V002 Physical Training | z (credit) | Z | 10/2/1999 | |
| FI:V016 Winter PT Course | z (credit) | Z | 22/2/1999 | |
| Spring 1999 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:I008 Computational Logic | 5 | zk (examination) | 1 | 29/6/1999 |
| FI:I047 Introduction to Corpus Linguistics and Computer Lexicography | 4 | zk (examination) | 1 | 24/6/1999 |
| FI:M001 Calculus II | 5 | zk (examination) | 1 | 21/5/1999 |
| FI:M009 Algebra II | 3 | k (colloquium) | P | 1/6/1999 |
| FI:M018 Practicing Calculus II | 2 | z (credit) | Z | 31/5/1999 |
| FI:M022 Practising Algebra II | 2 | z (credit) | Z | 18/5/1999 |
| FI:P076 Data Management -- concepts, products, industry, people | 3 | k (colloquium) | P | 20/5/1999 |
| FI:P091 Semantics and Communication | 3 | k (colloquium) | P | 4/6/1999 |
| FI:V001 English | zk (examination) | 1 | 1/7/1999 | |
| FI:V025 Occupational physiotherapy and office work ergonomy | 3 | k (colloquium) | P | 2/7/1999 |
| Autumn 1999 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:I029 Logical Analysis of Natural Language I | 4 | zk (examination) | 1 | 27/1/2000 |
| FI:I030 Introduction to Computer Linguistics | 4 | zk (examination) | 1 | 1/3/2000 |
| FI:I031 Algebraic instruments of linguistics | 5 | zk (examination) | 1 | 6/1/2000 |
| FI:I995 Bc-Level Project in Informatics | 4 | z (credit) | Z | 17/1/2000 |
| FI:M002 Calculus III | 5 | zk (examination) | 2 | 2/2/2000 |
| FI:M010 Combinatorics and Graph Theory | 4 | zk (examination) | 3 | 21/1/2000 |
| FI:M019 Practicing Calculus III | 2 | z (credit) | Z | 15/12/1999 |
| FI:M032 Practising Combinatorics and Graph Theory | 1 | z (credit) | Z | 14/12/1999 |
| FI:P006 Principles of Programming Languages | 4 | zk (examination) | 1 | 8/1/2000 |
| FI:P061 Introduction to Machine Translation | 4 | zk (examination) | 1 | 21/1/2000 |
| FI:P122 Formal structure of natural language | 3 | k (colloquium) | P | 20/12/1999 |
| Spring 2000 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:I011 Programming Language Semantics | 4 | zk (examination) | 1 | 26/6/2000 |
| FI:I013 Logic Programming I | 4 | k (colloquium) | P | 24/6/2000 |
| FI:I032 Constructions of grammars | 5 | zk (examination) | 1 | 16/6/2000 |
| FI:I044 Logical Analysis of Natural Language II | 4 | zk (examination) | 1 | 12/6/2000 |
| FI:M011 Statistics I | 5 | k (colloquium) | P | 19/6/2000 |
| FI:P107 Corpus Linguistic Project II | 2 | z (credit) | Z | 27/6/2000 |
| FI:P125 Speech Communication and Dialogue Systems | 3 | k (colloquium) | P | 22/6/2000 |
| FI:P998 Bc-Exam | SoZk (examination) | U | 15/8/2000 | |
| Autumn 2000 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FF:PJC601 Polish for Bohemists and Slavists | 2 | z (credit) | Z | 20/12/2000 |
| FI:I010 Communication and Parallelism | 5 | zk (examination) | 2 | 16/1/2001 |
| FI:I012 Complexity | 5 | zk (examination) | 2 | 9/1/2001 |
| FI:P034 Machine Learning | 4 | zk (examination) | 1 | 19/1/2001 |
| FI:P065 UNIX -- Programming and System Management I | 3 | k (colloquium) | P | 15/1/2001 |
| FI:P106 Corpus Linguistic Project I | 2 | z (credit) | Z | 16/1/2001 |
| FI:V010 Philosophy of Language and Its Problems I | 2 | z (credit) | Z | 1/2/2001 |
| Spring 2001 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:I007 Computability | 5 | zk (examination) | 1 | 8/6/2001 |
| FI:I052 Topics in Language Theory | 4 | k (colloquium) | P | 24/5/2001 |
| FI:I081 Lambda calculus | 5 | zk (examination) | 1 | 27/6/2001 |
| FI:I999 Diploma Thesis | 1 | z (credit) | - | 12/9/2001 |
| FI:M028 Numerical Methods I | 6 | zk (examination) | 1 | 30/5/2001 |
| FI:P077 UNIX -- Programming and System Management II | 3 | k (colloquium) | P | 31/5/2001 |
| Autumn 2001 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:I043 Inductive Logic Programming | 5 | zk (examination) | 1 | 19/2/2002 |
| FI:I073 GEB - limits of formal systems | 3 | k (colloquium) | P | 17/12/2001 |
| FI:I999 Diploma Thesis | 6 | z (credit) | Z | 22/2/2002 |
| FI:M023 Game Theory | 5 | zk (examination) | 1 | 30/1/2002 |
| FI:V037 English III | 2 | zk (examination) | 1 | 28/1/2002 |
| FI:V038 English conversation | 2 | zk (examination) | 1 | 29/1/2002 |
| Spring 2002 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:I009 Parallel Computing | 5 | zk (examination) | 1 | 20/6/2002 |
| FI:I017 Structural Complexity | 4 | zk (examination) | 1 | 28/5/2002 |
| FI:I041 Concurrency Theory | 3 | k (colloquium) | P | 4/6/2002 |
| FI:I998 Diploma Thesis Seminar | 2 | z (credit) | Z | 7/5/2002 |
| FI:I999 Diploma Thesis | 4 | z (credit) | Z | 16/9/2002 |
| FI:M015 Graph Algorithms | 5 | zk (examination) | 1 | 5/6/2002 |
| Autumn 2002 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| PřF:M7150 Category Theory | 4 | zk (examination) | 2 | 30/1/2003 |
| FI:IA046 Computability | 4 | zk (examination) | 1 | 27/1/2003 |
| FI:I999 Diploma Thesis | 9 | z (credit) | Z | 9/1/2003 |
| FI:SZMIN State Exam (MSc degree in Informatics) | SZK (final examination) | 1 | 20/2/2003 | |