How to design programs: an introduction to programming and computing
How to design programs: an introduction to programming and computing
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning: An Approach
Teaching objects-first in introductory computer science
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
MapReduce: simplified data processing on large clusters
Communications of the ACM - 50th anniversary issue: 1958 - 2008
Blown to bits: your life, liberty, and happiness after the digital explosion
Blown to bits: your life, liberty, and happiness after the digital explosion
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
Cassandra: a decentralized structured storage system
ACM SIGOPS Operating Systems Review
Hi-index | 0.00 |
We report on a course, entitled "How Computers Work: Logic in Action", which we have offered the past few years at the University of Oklahoma, and which will be offered soon at the University of Wyoming. Intended for non-CS majors, this course is our answer to the question, What would you teach if you had only one course to help students grasp the essence of computation and perhaps inspire a few of them to make computing a subject of further study? Assuming no prior knowledge of computers or mathematics beyond high school algebra, the course is compatible with the "Computer Science: Principles" approach proposed by the College Board, although it is a significant departure from the pilot courses that are currently following this approach.