Trevis Rothwell spoke about developing software for the iPhone at a meeting of the Cedar Rapids Section of the Institute of Electrical and Electronics Engineers on June 20, 2010. His presentation drew a large audience. Some of our colleagues in Minnesota also listened to his talk and viewed his slides through an electronic link that…
The beauty of a proof or machine
“The beauty of a proof or machine lies in a happy marriage of simplicity and power.” —David Gelernter
Advice to a student who wants to do better.
Here are some words that I wrote for a student who needed to make a case for himself to a committee that reviewed the cases of struggling students. You can make a strong case for yourself by demonstrating your readiness to: make fuller use of the resources available to you at the college commit to…
A common cause of troubles
A student was struggling. The committee on which I was serving had already placed him on probation. It could now ask him to leave thecollege. The student asked the committee for more time in which to improve his academic record. He listed the special problems that had affected his performance. He had come to the…
What can be automated?
We want to know when a computer will be a useful tool, how to solve problems using a computer, how to evaluate the quality of our solutions, and how to establish confidence in the correctness of solutions. Computer science begins with efforts to answer these four questions: For what kinds of questions can I write…