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áška2 h
Cvičení2 h
Studijní plán Typ Sem. Kred. Ukon.

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 ^