Monday  Tuesday  Wednesday  Thursday  Friday  

10:00  12:00  Lecture Sem2 A3109 
Lecture/Workshop Sem2 A3109 
Logic Lab Cal West 
Lecture/Workshop Sem2 A3109 
No classes 
1:00  3:00  Seminar Sem2 A3109 
Programming Lab ACC 

(Prep day)  
Due:  Seminar reading Essay draft/idea BE Reading BE Homework 
Zelle reading Zelle questions Zelle programs 
Essay Final Homework Self Assessment Weekly portfolio 
You must also prepare a draft of a typed, doublespaced onepage maximum length essay presenting your understanding of what you see as the most significant idea covered in the seminar readings for the week. The essay must have a clearly stated thesis with elaboration and support from the texts. The essay is not due until Thursday with your portfolio, but you must be prepared to read your essay draft to the class and elaborate your ideas during seminar discussions on Monday.
You are expected to keep your weekly portfolios in a wellorganized cumulative portfolio for submission at the end of the quarter and for possible periodic inspection during the quarter.
Week Weekly Book Reading Supplementary Reading    1 Wheelwright, Presocratics TBA 2 Wheelwright, Presocratics TBA 3 Wheelwright, Presocratics TBA 4 Plato, Dialogues TBA 5 Plato, Dialogues TBA 6 Crosby, Quantification TBA 7 Kuhn, Copernican Revolution TBA 8 Kuhn, Copernican Revoluation TBA 9 Einstein, Relativity TBA 10 Einstein, Relativity
Week Zelle (Z) Reading Barwise & Etchemendy (BE) Reading    1 Ch 1 What is Computer Science Ch 1 Atomic Sentences 2 Ch 2 Variables & Assignments Ch 2 The Logic of Atomic Sentences 3 Ch 3 Numbers Ch 3 The Boolean Connectives 4 Ch 4 Strings Ch 4 The Logic of Boolean Connectives 5 Ch 5 Graphics and Objects Ch 5 Methods of Proof for Boolean Logic 6 Ch 6 Functions Ch 6 Formal Proofs and Boolean Logic 7 Ch 7 Decisions Ch 7 Conditionals 8 Ch 8 Loops & Booleans Ch 8 The Logic of Conditionals 9 Ch 9 Simulation & Design Ch 9 Introduction to Quantification 10 Review and Reflection
Credit will be awarded for participating in and completing the entire body of work for the program at a passing level of performance. Credit decisions and evaluations will be based on
The quality of your work, the level of your understanding, and the extent of your improvement will be reflected in your evaluation. As a general policy credit will be awarded on an all or none basis, although the faculty reserves the right to make exceptions to that rule. No incompletes will be given.
Attendance is required at all program activities. Failure to attend one third or more of scheduled class meetings or failure to submit one third or more of assigned work is sufficient grounds for loss of credit. Failure to achieve satisfactory results on exams or failure to submit satisfactory written assignments in a timely way is sufficient grounds for loss of credit.
Cumulative portfolios of all written work may be reviewed periodically and are due along with draft self evaluations on Thursday of the last week of classes. Final self evaluations and faculty evaluations on the official evaluation forms are due at your evaluation conference scheduled during week 11 of the quarter.
We'll explore fundamental concepts of logic and mathematics in the context in which they evolved in the history of science, so this is a great chance to make sense out of mathematics beyond just symbol manipulation by looking at the original motivations for its use. Of course learning mathematics requires doing mathematics, so there will be a good portion of weekly problems to solve and discuss. We'll also have two lab times a week to work on deductive reasoning in logic and computer programming in the language Python.
Class activities will include lectures, labs, readings, problem solving, short essays, discussion, and presentations. Credit equivalencies for this program are likely to include