Informační systém Vysoké školy polytechnické Jihlava
IS VŠPJ
Theoretical Foundations of Informatics
| Předmět | Theoretical Foundations of Informatics (TZIa) | |||||
|---|---|---|---|---|---|---|
| Garantuje | Katedra technických studií (KTS) | |||||
| Garant | doc. Ing. Zbyněk Bureš, Ph.D.( buresz@vspj.cz ) | |||||
| Jazyk | anglicky | |||||
| Počet kreditů | ||||||
| Ekvivalent | ||||||
| Prezenční studium | |
|---|---|
| Přednáška | 2 h |
| Cvičení | 2 h |
| Studijní plán | Typ | Sem. | Kred. | Ukon. |
|---|
Anotace
To meet with:
• Theory of algorithms and Computations, Theory of Systems
To understand:
• Theory of Sets, Formal logic and Theory of Graphs
To know (skills and habits):
• Be able to use theoretical knowledge in real informatician work
Sylabus
- Informatics and its partial directions
- Theory of Sets
- Theory of Sets applications
- Formal logic (classical calculus and deductive system)
- Formal logic applications
- Theory of graphs
- Graph algorithms
- Graph theory applications
- Theory of algorithms and Computations, Automates
- Complexity of algorithms
- Systems theory
Doporučená literatura
- Gross, J.: - Yellen, J.: Graphs Theory and its Applications. Chapman & Hall, USA, 2006
- Nerode, A. - Shore, R. A.: Logic for Applications. Springer/Verlag, Berlin, 2003.
- Ben/Ari, M.: Mathematical Logic for Computer Science. Printice Hall, 1993
- Peters, A. K.: Set Theory. Wellesley, 1995.