Theoretical Foundations of Informatics
Studijní plán:
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ů | 5 |
Ekvivalent | |
Prezenční studium |
Přednáška | 2 h |
Cvičení | 2 h |
Studijní plán |
Typ |
Sem. |
Kred. |
Ukon. |
Aplikovaná informatika - platný od ZS 2007/2008
|
P |
1 |
5 kr. |
Z,ZK |
Aplikovaná informatika - platný od ZS 2009/2010
|
P |
1 |
5 kr. |
Z,ZK |
Erasmus - Aplikovaná informatika - příjezd na krátkodobý studijní pobyt
|
PV |
1 |
5 kr. |
Z,ZK |
Erasmus - Cestovní ruch - příjezd na krátkodobý studijní pobyt
|
PV |
1 |
5 kr. |
Z,ZK |
Erasmus - Finance a řízení - příjezd na krátkodobý studijní pobyt
|
PV |
1 |
5 kr. |
Z,ZK |
Erasmus - Počítačové systémy - příjezd na krátkodobý studijní pobyt
|
PV |
1 |
5 kr. |
Z,ZK |
Erasmus - Porodní asistentka - příjezd na krátkodobý studijní pobyt
|
PV |
1 |
5 kr. |
Z,ZK |
Erasmus - příjezd na krátkodobý studijní pobyt
|
PV |
1 |
5 kr. |
Z,ZK |
Erasmus - Všeobecná sestra - příjezd na krátkodobý studijní pobyt
|
PV |
1 |
5 kr. |
Z,ZK |
Erasmus - Zdravotně sociální pracovník - příjezd na krátkodobý studijní pobyt
|
PV |
1 |
5 kr. |
Z,ZK |
Počítačové systémy - platný od ZS 2006/2007
|
P |
1 |
5 kr. |
Z,ZK |
Počítačové systémy - platný od ZS 2009/2010
|
P |
1 |
5 kr. |
Z,ZK |
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.
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
^ nahoru ^