Mgr. Jiří Zárevúcky
Programme: FI B-IN Informatics, Bachelor's degree programmeField: FI MI Mathematical Informatics, Bachelor's degree programme, full-time study mode, single-subject
Credits gained, grade average and percentile
Credits gained
294
Grade average
1,35 (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 2009 | ||||
| Course | Credits | Type of Completion | Evaluation | |
|---|---|---|---|---|
| FI:IB000 Induction and Recursion | 4 | zk (examination) | A | 22/1/2010 |
| FI:IB015 Introduction to Functional Programming | 5 | zk (examination) | A | 23/12/2009 |
| FI:MB000 Calculus I | 6 | zk (examination) | C | 18/12/2009 |
| FI:MB005 Foundations of mathematics | 6 | zk (examination) | C | 12/1/2010 |
| FI:PB150 Computer-Systems Architectures | 3 | k (colloquium) | P | 5/1/2010 |
| FI:PV005 Computer Network Services | 2 | z (credit) | Z | 10/12/2009 |
| FI:PV065 UNIX -- Programming and System Management I | 3 | k (colloquium) | P | 19/1/2010 |
| FI:PV080 Protection of Data and Information Privacy | 3 | k (colloquium) | P | 6/1/2010 |
| FI:VB005 Panorama of Physics I | 1 | z (credit) | Z | 18/1/2010 |
| FI:VB035 English I | 2 | z (credit) | Z | 28/12/2009 |
| FI:VB039 English I - seminar | 2 | k (colloquium) | P | 13/1/2010 |
| Spring 2010 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:IB002 Design of Algorithms I | 5 | zk (examination) | A | 31/5/2010 |
| FI:IB005 Formal Languages and Automata I | 8 | zk (examination) | B | 23/6/2010 |
| FI:MB001 Calculus II | 6 | zk (examination) | B | 7/6/2010 |
| FI:MB003 Linear Algebra and Geometry I | 6 | zk (examination) | B | 8/6/2010 |
| FI:PB071 Introduction to the C language | 6 | zk (examination) | A | 24/6/2010 |
| FI:PB152 Operating Systems | 4 | zk (examination) | C | 1/6/2010 |
| FI:PV004 UNIX | 4 | zk (examination) | B | 2/6/2010 |
| FI:PV077 UNIX -- Programming and System Management II | 3 | k (colloquium) | P | 5/6/2010 |
| FI:PV123 Elements of visual communication | 3 | k (colloquium) | P | 23/5/2010 |
| FI:VB001 Specialist English | 1 | zk (examination) | A | 11/6/2010 |
| FI:VB006 Panorama of Physics II | 3 | k (colloquium) | P | 1/7/2010 |
| FI:VB036 English II | 2 | z (credit) | Z | 24/5/2010 |
| FI:VB040 English II - seminar | 2 | k (colloquium) | P | 10/6/2010 |
| FSpS:p981 Physical Education - Tennis | 1 | z (credit) | Z | 24/5/2010 |
| Autumn 2010 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FF:JAPX101 Japanese writing I. | 3 | zk (examination) | A | 20/12/2010 |
| FF:JAPX102 Japanese language I. | 3 | zk (examination) | B | 18/12/2010 |
| FI:IB107 Computability and Complexity | 5 | zk (examination) | A | 31/1/2011 |
| FI:MA010 Graph Theory | 5 | zk (examination) | A | 24/1/2011 |
| FI:MB008 Algebra I | 4 | zk (examination) | FD | 14/2/2011 |
| FI:MB021 Practicing Algebra I | 2 | z (credit) | Z | 21/12/2010 |
| FI:PB154 Database Systems | 5 | zk (examination) | A | 4/1/2011 |
| FI:PB161 C++ Programming | 6 | zk (examination) | A | 7/2/2011 |
| FI:PB162 Java | 6 | zk (examination) | A | 27/12/2010 |
| FSpS:p947 Physical Education - Hiking | 1 | z (credit) | Z | 10/12/2010 |
| Spring 2011 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FF:JAPX110 Japanese writing II. | 3 | zk (examination) | A | 22/5/2011 |
| FF:JAPX111 Japanese language II. | 3 | zk (examination) | A | 22/5/2011 |
| PřF:M4155 Set Theory | 4 | zk (examination) | A | 31/5/2011 |
| FI:IB016 Seminar on Functional Programming | 2 | z (credit) | Z | 9/5/2011 |
| FI:IB101 Introduction to Logic and Logic Programming | 6 | zk (examination) | A | 11/6/2011 |
| FI:IB108 Algorithm Design II | 5 | zk (examination) | A | 16/6/2011 |
| FI:IB109 Design and Implementation of Parallel Systems | 4 | zk (examination) | A | 26/5/2011 |
| FI:IV111 Probability in Computer Science | 6 | zk (examination) | C | 11/7/2011 |
| FI:PB156 Computer Networks | 4 | zk (examination) | A | 24/5/2011 |
| FI:PB167 Operating Systems Seminar | 2 | z (credit) | Z | 13/5/2011 |
| Autumn 2011 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FF:JAPX201 Japanese language III. | 4 | zk (examination) | A | 16/12/2011 |
| FF:JAPX203 Japanese writing III. | 4 | zk (examination) | A | 16/12/2011 |
| FI:IA006 Selected topics on automata theory | 5 | zk (examination) | B | 22/12/2011 |
| FI:IV028 Essentials of General Logic | 4 | zk (examination) | A | 10/1/2012 |
| FI:IV029 Logical Analysis of Natural Language I | 3 | k (colloquium) | P | 24/1/2012 |
| FI:IV054 Coding, Cryptography and Cryptographic Protocols | 7 | zk (examination) | A | 18/12/2011 |
| FI:IV113 Introduction to Validation and Verification | 4 | zk (examination) | A | 23/1/2012 |
| FI:MA007 Mathematical Logic | 5 | zk (examination) | A | 4/1/2012 |
| FI:PB006 Principles of Programming Languages | 4 | zk (examination) | A | 3/1/2012 |
| FI:PB029 Electronic Document Preparation | 4 | k (colloquium) | P | 5/1/2012 |
| FI:PV122 Formal structure of natural language | 3 | k (colloquium) | P | 25/1/2012 |
| FI:VB000 Elements of Style | 3 | k (colloquium) | P | 15/12/2011 |
| FI:VB037 Writing in English | 2 | zk (examination) | C | 29/1/2012 |
| PdF:ONLINE_A English Online | 2 | z (credit) | Z | 26/12/2011 |
| Spring 2012 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:IA012 Complexity | 4 | zk (examination) | A | 4/6/2012 |
| FI:SBAPR Bachelor Thesis | 7 | z (credit) | - | 5/11/2012 |
| Autumn 2012 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| PřF:F1520 Interesting Physics | 2 | k (colloquium) | P | 18/12/2012 |
| FI:IA040 Modal and Temporal Logics for Processes | 4 | zk (examination) | A | 20/12/2012 |
| FI:IA066 Introduction to Quantum Computing | 5 | zk (examination) | C | 22/1/2013 |
| FI:IA082 Selected themes of quantum mechanics | 4 | zk (examination) | A | 23/1/2013 |
| FI:IA101 Algorithmics for Hard Problems | 4 | zk (examination) | A | 7/1/2013 |
| FI:PA008 Compiler Construction | 5 | zk (examination) | A | 20/1/2013 |
| FI:PA150 Advanced Operating Sytems Concepts | 4 | zk (examination) | A | 3/1/2013 |
| FI:PV079 Applied Cryptography | 5 | zk (examination) | B | 21/12/2012 |
| FI:SBAPR Bachelor Thesis | 6 | z (credit) | Z | 22/12/2012 |
| FI:VB007 Philosophy of Science I | 2 | z (credit) | Z | 7/1/2013 |
| Spring 2013 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:IA011 Programming Language Semantics | 5 | zk (examination) | B | 28/5/2013 |
| FI:IA158 Real Time Systems | 4 | zk (examination) | D | 12/6/2013 |
| FI:IA159 Formal Verification Methods | 4 | zk (examination) | D | 10/6/2013 |
| FI:IV101 Seminar on verification | 2 | z (credit) | Z | 7/6/2013 |
| FI:MA009 Algebra II | 4 | zk (examination) | A | 9/6/2013 |
| FI:MA022 Practising Algebra II | 2 | z (credit) | Z | 6/6/2013 |
| FI:SBAPR Bachelor Thesis | 4 | z (credit) | Z | 31/5/2013 |
| FI:SOBHA Defence of Thesis | SZK (final examination) | A | 18/6/2013 | |
| FI:SZB1 State Exam (Bc degree) | SZK (final examination) | A | 18/6/2013 | |