Using Computer Programs and Search Problems for Teaching Theory of Computation
Público DepositedThe theory of computation is one of the crown jewels of the computer science curriculum. It stretches from the discovery of mathematical problems, such as the halting problem, that cannot be solved by computers, to the most celebrated open problem in computer science today: the P vs. NP question. Since the founding of our discipline by Church and Turing in the 1930s, the theory of computation has addressed some of the most fundamental questions about computers: What does it mean to compute the solution to a problem? Which problems can be solved by computers? Which problems can be solved efficiently, in theory and in practice?
For more information on the published version, visit ACM's (Association for Computing Machinery) Website. https://cacm.acm.org/magazines/2020/10/247591-using-computer-programs-and-search-problems-for-teaching-theory-of-computation/abstract
MacCormick, John. Using Computer Programs and Search Problems for Teaching Theory of Computation.
Communications of the ACM 63, no. 10 (October 2020): 33-35. https://cacm.acm.org/magazines/2020/10/247591-using-computer-programs-and-search-problems-for-teaching-theory-of-computation/fulltext
John MacCormick is a professor of Computer Science at Dickinson College.
MLA citation style (9th ed.)
Using Computer Programs and Search Problems for Teaching Theory of Computation. dickinson.hykucommons.org/concern/generic_works/5e1cd956-7f0e-4194-ae8c-30db86384e96?locale=es.APA citation style (7th ed.)
Using Computer Programs and Search Problems for Teaching Theory of Computation. https://dickinson.hykucommons.org/concern/generic_works/5e1cd956-7f0e-4194-ae8c-30db86384e96?locale=esChicago citation style (CMOS 17, author-date)
Using Computer Programs and Search Problems for Teaching Theory of Computation. https://dickinson.hykucommons.org/concern/generic_works/5e1cd956-7f0e-4194-ae8c-30db86384e96?locale=es.Note: These citations are programmatically generated and may be incomplete.