Turing machines.

Models of computation = an introduction to computability theory / by: (Electronic resources)

Decision Procedures = An Algorithmic Point of View / by: (Electronic resources)

Software Engineering.

Artificial Intelligence (incl. Robotics)

Software Engineering/Programming and Operating Systems.

Computer Science.

Computational complexity.

Turing machines.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computable functions.

Computation by Abstract Devices.

Theory of Computation.