RNDr. Martin Jonáš, Ph.D.
Program: FI N-IN Informatika, magisterský studijní programObor: FI TEI Teoretická informatika, magisterské navazující prezenční jednooborové
Úspěšné kredity
Bez uznaných předmětů
143
Vč. uznaných předmětů
180
Studijní průměr a percentil
Studijní průměr
1,6 (vážený, všechny pokusy)
Patří mezi
19 % nejlepších studentů programu.
19 % nejlepších studentů programu.
Percentil
19 (pouze úspěšně uk. studia)
19 (pouze úspěšně uk. studia)
| jaro 2011 | ||||
| Předmět | Kredity | Ukončení | Hodnocení | |
|---|---|---|---|---|
| FI:IA014 Funkcionální programování | 5 | zk | B | 10. 1. 2013 |
| podzim 2011 | ||||
| Předmět | Kredity | Ukončení | Hodnocení | |
| FI:IA006 Vybrané kapitoly z teorie automatů | 5 | zk | C | 10. 1. 2013 |
| FI:IA101 Algoritmika pro těžké problémy | 4 | zk | B | 10. 1. 2013 |
| FI:MA007 Matematická logika | 5 | zk | C | 10. 1. 2013 |
| FI:MA010 Graph Theory | 5 | zk | C | 10. 1. 2013 |
| jaro 2012 | ||||
| Předmět | Kredity | Ukončení | Hodnocení | |
| FI:IA011 Sémantiky programovacích jazyků | 5 | zk | A | 10. 1. 2013 |
| FI:IA012 Složitost | 4 | zk | A | 10. 1. 2013 |
| FI:IA046 Vyčíslitelnost | 4 | zk | A | 10. 1. 2013 |
| podzim 2012 | ||||
| Předmět | Kredity | Ukončení | Hodnocení | |
| PřF:M7150 Teorie kategorií | 4 | zk | A | 15. 1. 2013 |
| FI:IA040 Modální a temporální logiky procesů | 4 | zk | A | 20. 12. 2012 |
| FI:IA066 Úvod do kvantových algoritmov a počítačov | 5 | zk | D | 4. 1. 2013 |
| FI:IA082 Vybrané kapitoly z kvantové mechaniky | 4 | zk | B | 21. 12. 2012 |
| FI:IV054 Kódování, kryptografie a kryptografické protokoly | 7 | zk | B | 11. 2. 2013 |
| FI:IV107 Bioinformatika I | 4 | zk | B | 9. 1. 2013 |
| FI:PA008 Překladače | 5 | zk | E | 28. 1. 2013 |
| FI:PA150 Principy operačních systémů | 4 | zk | A | 3. 1. 2013 |
| FI:PA159 Počítačové sítě a jejich aplikace I | 4 | zk | C | 21. 1. 2013 |
| jaro 2013 | ||||
| Předmět | Kredity | Ukončení | Hodnocení | |
| PřF:M2150 Algebra I | 6 | zk | A | 27. 5. 2013 |
| FI:IA023 Petriho sítě | 4 | zk | A | 28. 5. 2013 |
| FI:IA038 Typy a důkazy | 5 | zk | - | 18. 11. 2013 |
| FI:IA039 Architektura superpočítačů a intenzivní výpočty | 4 | zk | B | 11. 6. 2013 |
| FI:IA062 Randomized Algorithms and Computations | 5 | zk | A | 19. 6. 2013 |
| FI:IA159 Formal Verification Methods | 4 | zk | A | 10. 6. 2013 |
| FI:IA166 Fixed-Parameter Algorithms | 6 | zk | - | 19. 6. 2013 |
| FI:IV022 Návrh a verifikace algoritmů | 4 | zk | A | 20. 5. 2013 |
| FI:IV123 Future challenges of informatics | 3 | k | P | 1. 7. 2013 |
| FI:MA009 Algebra II | 4 | zk | B | 17. 6. 2013 |
| FI:MA022 Cvičení Algebra II | 2 | z | Z | 6. 6. 2013 |
| FI:PA151 Soudobé počítačové sítě | 4 | zk | A | 3. 6. 2013 |
| podzim 2013 | ||||
| Předmět | Kredity | Ukončení | Hodnocení | |
| FF:CJBB119 Kurz správného psaní pro nebohemisty | 3 | z | Z | 8. 1. 2014 |
| FF:LJBcB07 Antická mytologie | 3 | k | P | 15. 1. 2014 |
| PřF:F3011 Fyzika, filozofie a myšlení 1 | 2 | k | P | 12. 2. 2014 |
| PřF:M3150 Algebra II | 6 | zk | A | 6. 1. 2014 |
| PřF:M7130 Geometrické algoritmy | 4 | zk | A | 28. 1. 2014 |
| FI:IA067 Informatické kolokvium | 1 | z | Z | 4. 2. 2014 |
| FI:PV079 Applied Cryptography | 5 | zk | B | 16. 1. 2014 |
| FI:SDIPR Diplomová práce | 8 | z | Z | 8. 1. 2014 |
| jaro 2014 | ||||
| Předmět | Kredity | Ukončení | Hodnocení | |
| PřF:M8190 Algoritmy teorie čísel | 4 | zk | A | 4. 6. 2014 |
| FI:IA041 Teorie a specifikace procesů | 3 | k | P | 20. 5. 2014 |
| FI:IA072 Seminar on Concurrency | 3 | k | P | 20. 5. 2014 |
| FI:MA051 Advanced Graph Theory: Topological | 4 | k | P | 13. 5. 2014 |
| FI:PA152 Efektivní využívání databázových systémů | 4 | zk | A | 29. 5. 2014 |
| FI:SDIPR Diplomová práce | 12 | z | Z | 27. 5. 2014 |
| FI:SOBHA Obhajoba závěrečné práce | SZk | B | 24. 6. 2014 | |
| FI:SZMGR Státní zkouška (magisterský studijní program) | SZk | A | 24. 6. 2014 | |