|
Lecturer(s)
|
-
Skála Jiří, Ing. Ph.D.
-
Lobaz Petr, Ing. Ph.D.
-
Vais Václav, Ing. Ph.D.
|
|
Course content
|
1. Finite automata 2. Formal languages - fundamental terms 3. Grammars 4. Relation between linear grammars and finite automata 5. Regular sets, regular expressions 6. Theory of information and coding - fundamental terms 7. Error control coding fundamentals 8. Linear coding 9. Linear coding - cont. 10. Cyclic coding 11. Fundamentals of formal logic, propositional calculus 12. Deduction, formal proof 13. Reserve
|
|
Learning activities and teaching methods
|
Interactive lecture, Project-based instruction, Seminar, Practicum
- Contact hours
- 65 hours per semester
- Preparation for an examination (30-60)
- 50 hours per semester
- Individual project (40)
- 30 hours per semester
- Preparation for formative assessments (2-20)
- 15 hours per semester
|
| prerequisite |
|---|
| Knowledge |
|---|
| porozumět základním pojmům z diskrétní matematiky (množina, operace s množinami, kartézský součin, binární relace, ekvivalence, rozklad množiny na třídy ekvivalence, funkce, surjekce, injekce, bijekce) |
| porozumět základním pojmúm z teorie grafů (vrchol, hrana, graf, cesta, dosažitelnost) |
| porozumět základním pojmům z pravděpodobnosti (pravděpodobnost jevu, nezávislost jevů) |
| porozumět základním pojmům z lineární algebry (těleso, vektorový prostor, lineární zobrazení, práce s maticemi) |
| Skills |
|---|
| programovat jednodušší aplikace v některém vyšším programovacím jazyku (Java, C, Pascal) |
| Competences |
|---|
| N/A |
| N/A |
| N/A |
| learning outcomes |
|---|
| Knowledge |
|---|
| znát základy teorie informace |
| rozumět problematice kódování informace pro účely přenosu a uchovávání v informačních systémech |
| Skills |
|---|
| aktivně pracovat s konečněautomatovými modely (např. při analýze komunikačních protokolů) |
| aplikovat regulární jazyky a výrokový počet při řešení některých úloh z oblasti umělé inteligence |
| uplatnit znalosti při řešení běžných provozních problémů informačních a komunikačních systémů |
| znalosti používat při řešení širokého spektra problémů až do úrovně softwarové nebo hardwarové realizace |
| Competences |
|---|
| N/A |
| teaching methods |
|---|
| Knowledge |
|---|
| Interactive lecture |
| Project-based instruction |
| Skills |
|---|
| Practicum |
| Seminar |
| Competences |
|---|
| Project-based instruction |
| Self-study of literature |
| assessment methods |
|---|
| Knowledge |
|---|
| Test |
| Written exam |
| Oral exam |
| Skills |
|---|
| Skills demonstration during practicum |
| Project |
| Continuous assessment |
| Competences |
|---|
| Self-evaluation |
| Skills demonstration during practicum |
|
Recommended literature
|
-
Adámek, Jiří. Kódování. 1. vyd. Praha : SNTL, 1989.
-
Mareš, J. Jazyky, gramatiky a automaty. ČVUT Praha, 2004.
-
Mareš, J. Teorie kódování. Skripta ČVUT, 2008.
-
Melichar, B.; at al. Jazyky a překlady Cvičení. Praha, ČVUT, 2004.
-
Štěpánek, P. Matematická logika. Praha, Univerzita Karlova, 2000.
|