Last Update: 18 April 2004
Note: or material is highlighted |
Required:
| Johnson 2002 |
| Friedman & Kahn 1992 |
| Lem 1971 |
Recommended:
Required:
Strongly recommended:
Topic: Philosophy of AI
Topic: Can programs be verified?
Required:
Recommended:
Required:
Strongly Recommended:
Recommended:
Required:
Recommended:
Topic B: What is a computer?--Part II
Recommended:
Recommended:
Topic: What is engineering?
Recommended:
Read all of the following (preferably before the next lecture, since I
plan on giving you more to read then:-),
slowly (i.e., one sentence at a time) and
actively (i.e., think about each sentence; make notes in your Reading
Journal). Keep in mind that your main goal in reading these is to
look for each author's answer to our question; consequently, at least
on a first reading, you don't have to read the "irrelevant" parts quite as
carefully. Below, I indicate which parts I think are of central
importance for our present purposes and which parts you can just
skim (i.e., read quickly):
I also urge you to at least take a quick glance at the other items at that website.
Read at least one of the following:
Required (when available on-line):
Topic: What is computer science?
Topic: What is philosophy?