Theoretical computer science

Theoretical computer science is the study of mathematics and computer science related to the theory of computation and formal methods. Topics in theoretical computer science are:

References

  1. 1 2 3 4 5 6 "Preface". Computability, Complexity, and Languages: xiii–xv. 1983. doi:10.1016/B978-0-12-206380-0.50004-3. ISBN 978-0-12-206380-0.{{cite journal}}: CS1 maint: periodical has ISBN (link)
  2. 1 2 3 4 5 6 7 8 9 10 11 Gurevich, Yuri (June 1994). "Logic activities in Europe". ACM SIGACT News. 25 (2): 11–24. doi:10.1145/181462.181464.
  3. ↑ Combinatorial optimization and theoretical computer science: interfaces and perspectives: 30th anniversary of the LAMSADE. Hoboken, NJ: Wiley. ISBN 9780470611098.
  4. ↑ Hromkovič, Juraj (6 December 2010). Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography (1., st Edition. Softcover version of original hardcover 2011 ed.). Berlin: Springer Berlin. ISBN 978-3-642-05729-8.
  5. ↑ Yanofsky, Noson S.; Mannucci, Mirco A. (2008). Quantum computing for computer scientists. Cambridge: Cambridge University Press. ISBN 9780511813887.