Computable functions.

Algorithmic randomness and complexity by: (書目-電子資源)

New Computational Paradigms = Changing Conceptions of What is Computable / by: (書目-電子資源)

Hypercomputation = computing beyond the Church-Turing barrier / by: (書目-電子資源)

Models of computation = an introduction to computability theory / by: (書目-電子資源)

Computability and logic / by: (書目-語言資料,印刷品)

Computability in context = computation and logic in the real world / by: (書目-電子資源)

Computable models by: (書目-電子資源)

Software Engineering/Programming and Operating Systems.

Mathematics- Philosophy.

Algorithm Analysis and Problem Complexity.

Math Applications in Computer Science.

Turing machines.

Artificial intelligence.

Coding and Information Theory.

Model theory.

Language Translation and Linguistics.

Theory of Computation.

Computer Science.

Programming Languages, Compilers, Interpreters.

Computable functions.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Algorithms.

Computation by Abstract Devices.

Quantum Computing, Information and Physics.

Philosophy.

Computational intelligence.

Recursive functions.

Artificial Intelligence (incl. Robotics)

Set theory.

Computational complexity.

Mathematics.

Logic, Symbolic and mathematical.