Truth, Deduction and Computation COEN260
Assignments

Spring, 2011

No credit will be given for late assignments.

Note that most homework is to be submitted for online grading. When you submit an assignment for the final time, you must indicate that I should receive a copy of the grade report (at my email address, valeria.depaiva@gmail.com). However, if you wish you may submit one or more trial versions of the homework for online grading with grade reports to be sent only to you. Then you may attempt to correct any mistakes prior to the final online submission.  

I will accept only the first grade report I receive for a given assignment, however, so make certain that you have made all the changes you want to or have time for before you have a report sent to me!  When you submit an assignment with a grade report to be sent to me, make certain that you include all of the problems for that assignment in a single submission -- if you break up your submission into chunks, I will count only the first chunk.

Homework assignments are to be your own work. Submitting a copy of someone else's file is a violation of academic integrity.  Be aware that the grading software watches for this. (Discussing the homework assignments with other students and getting or giving general advice and suggestions is fine. Copying someone else's work is not.)

The schedule below is tentative; changes will probably be made as the semester progresses. Please consult the online schedule for the updated assignment.

 

Date
Reading
Exercises and Problems

Mon, Mar 28
Introduction (pp. 1-10)
FUN: What is an argument? Not this:  http://www.youtube.com/watch?v=kQFKtI6gn9Y
 
Wed, Mar 30
Atomic Sentences 1.2- 1.4
The Logic of Atomic Sentences
2.1-2.2

Submit "You Try It," pp. 8-10 
Note: If you follow the step-by-step instructions in the book, you'll see in step 7 on p. 10 the instruction to select "Just Me" when submitting. Don't do this! Select "Instructor Too" when you submit so I can see you've done it (and so I can give you credit for an incredibly easy assignment).
Fri, Apr 1

Mon, Apr 4
The Logic of Atomic Sentences
2.3-2.4

Wed, Apr 6
The Boolean Connectives
3.1-3.3
The Boolean Connectives
3.5-3.8

HW1: Submit 1.4-5,9,19, 2.15-18,21,25
recommended:
do all of the 'You try it"

Fri, Apr 8


Mon, Apr 11
The Logic of Boolean Connectives
4.1-4.3
make sure you also know how to use truth tables to determine tautological equivalence and tautological consequence, as in exercises 4.12-18 and 4.20-24.
Wed, Apr 13
Proofs in Boolean Logic
5.1-5-3
Formal Proofs in Boolean Logic
6.1-6.3

HW2: Submit:  3.3, 7, 10 3.14-16, 21, 4.1, 4.2, 4.4 and 4.5
recommended (especially if any of these give you trouble): 3.12,20,22
think about: 3.25
Fri, Apr 15



Mon, Apr 18
Formal Proofs in Boolean Logic
6.4-6.6

Wed, Apr 20
Conditionals
7.1-7.3
Conditionals 7.4
HW3: Submit: 6.3-6, 6.9,10,12,6.21,24,25, 6.33, 40
 Email 5.23. Keep in mind that  these may or may not be valid (if not submit a counterexample rather than a proof). Don't use Taut Con or Ana Con. (Actually, never use them unless specifically asked to.)

Fri, Apr 22

 


Mon, Apr 25

Logic of Conditionals
8.1-2-4


Wed, Apr 27
Introduction to Quantification
9.1-9.4
HW4: Submit 7.12, 15,8.18-25,8.26, 28-30
recommended:
examine 7.1-8 and determine whether the indicated sentences are tautologically equivalent; the equivalences are useful to know

Fri, Apr 29



Mon, May 2
Syllogistic Reasoning
9.5,9.6


Wed, May 4
The Logic of Quantifiers
10.1-10.4
HW5: Submit 9.1-3,9.5,6, 9.9, 11-12. (you don't need to do the written portions, just the parts you can submit to the Grade Grinder)

Fri, May 6



Mon, May 9
Multiple Quantifiers
11.1-11.5


Wed, May 11
Proofs for  Quantifiers
12.1-12.3
Formal proofs Quantifiers
13.1-13.2
HW6: Submit 11.1, 11.2, 11.4-6, 11.16-17, 18,19,20

Fri, May 13



Mon, May 16
Formal proofs Quantifiers
13.3-13.5

Wed, May 18
Lambda-calculus 1
HW7:13.2-6, 13,11-14,13,23-31
Fri, May 20

Nothing to turn in
Mon, May 23
           Lambda-calculus 2
Wed, May 25
Type Theory

Fri, May 27
 

Mon, May 30
NO LECTURE
MEMORIAL DAY
Wed, Jun 1
 FINAL EXAM

Fri, Jun 6







Last update: March 19, 2011.
Valeria de Paiva  |  Introduction to Logic I  |  Philosophy Department  |  Stanford University