- Bernstein, E., and Vazirani, U. V. 1997. Quantum complexity theory, SIAM J. Comput., 1411--1473. Google Scholar
- Carnap, R. 1950. Logical Foundations of Probability. University of Chicago Press, Chicago, Ill.Google Scholar
- Cook, S. A. 1971. The complexity of theorem proving procedures. In Proceedings of the 3rd ACM symposium on Theory of computing. ACM, New York, 151--158. Google Scholar
- Halpern, J. Y. 1990. An analysis of first-order logics of probability. Artif. Int., 46, 311--350. Google ScholarDigital Library
- Karp, R. M. 1972. Reducibility among combinatorial problems. In Complexity of computer computations. R. E. Miller and J. W. Thatcher, Eds. Plenum Press, New York, 85--103.Google Scholar
- Levin, L. A. 1973. Universal sorting problems. Prob. Inf. Trans., 9, 265--266.Google Scholar
- McCarthy, J. 1959. Programs with commonsense. In Teddington conference on the Mechanization of Thought Processes. HMSO, London, England.Google Scholar
- Papadimitriou, C. H. 1994. Computational Complexity. Addison-Wesley, Reading, Mass.Google Scholar
- Pearl, J. 1988. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan-Kaufmann, Los Altos, Calif. Google Scholar
- Turing, A. M. 1936. On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. 42, 230--265. Also 43, (1937), 544--546.Google Scholar
- Valiant, L. G. 1994. Circuits of the Mind. Oxford University Press, New York. Google Scholar
- Valiant, L. G. 2000. Robust logics. Artif. Int., 117, 231--253. Google ScholarDigital Library
Index Terms
- Three problems in computer science
Recommendations
Computer Science Teaching Knowledge: A Framework and Assessment (Abstract Only)
SIGCSE '17: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science EducationEducators, researchers, politicians, tech companies, and others continue to advocate for the importance of K-12 students learning computer science in our increasingly tech-driven society. One way school districts in the United States address this ...
Computer Science Summer Camps: Making Summer Programs Fun and Sustainable (Abstract Only)
SIGCSE '16: Proceedings of the 47th ACM Technical Symposium on Computing Science EducationHigher education has the opportunity (and often the mandate) to provide STEM outreach to their communities. Summer camp programs are one mechanism for providing quality CS learning experiences to a wide audience. This BOF will provide a platform for ...
Building a Statewide Computer Science Teacher Pipeline
SIGCSE '17: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science EducationFrom 2012 to 2015, the number of Utah secondary teachers teaching computer science courses grew from 38 to 164. This growth was made possible by introducing three new CS teacher endorsements, which reduced the effort required for existing teachers to ...
Comments