What's New 
Archived postings

oct 10

• 
Important.
I have changed the date of Test Two to October 26. Fall Break starts Friday and there no classes. So there is no opportunity to review the most recent homework assignment.


oct 10

• 
Wednesday, October 17, is the last day to withdraw with an automatic grade of W or F.
If you are contemplating withdrawing, I suggest that you consult with me
before you do.
 • 
Test Two is scheduled for Friday, October 26. It will be held
in the discussion sections, starting promptly at the beginning
of the session:
 
•  9:05–10:20 in Info East 122
 •  11:15–12:30 in Info East 130
 •  1:25–2:40 in Info East 130

 •  The test time is 75 minutes.
 •  Do not bring notes. Relevant definitions are provided.
 •  Turn off and stow all electronic devices.
 •  The test will cover material in
Chapters 3 (Propositional Logic and Boolean Algebra, excluding Section 3.5), 4 (Counting) and 5 (Numerical Induction).
 •  The test will have between six and nine questions. Two of these questions
will be problems from Homeworks 4–7. Another two, at least, will be
very similar to assigned homework problems.



oct 9

• 
A new version of the course notes has been posted
[PDF].
This is likely to be the final version.


oct 2

• 
Revised homework/test scores [PDF]
and a chart [PDF] have been posted.
These changes reflect missing or incorrect scores that I have been told
about. Please verify your scores and let me know of any discrepancies.


sep 26

• 
Notes on using boolean algebra to synthesize DNFs.
[PDF]


sep 24

• 
Exercise 3.51. Notes on constructing ROBDDs
[PDF]


oct 9

• 
A new version of the course notes has been posted
[PDF].
This is likely to be the final version.


oct 2

• 
Revised homework/test scores [PDF]
and a chart [PDF] have been posted.
These changes reflect missing or incorrect scores that I have been told
aboout. Please verify your scores and let me know of any discrepancies.


oct 2

• 
It turns out that there were quite a few errors in the scoresheet posted on Monday.
I hope to have these resolved before Wednesday's class.
 • 
Please disregard the problem I mentioned at the end of Monday's class.
It is not a good example of what I wanted to demonstrate.
 • 
Here is a corrected solution to Excercise 4.7
[PDF].
 • 
Corrections have been made to the solution set for Homework 4 [PDF]. The solutions to problems 7(c) and 9(c) were incorrect.


oct 1

• 
Homework/test scores [PDF] and a
chart [PDF] have been posted.


sep 26

• 
Notes on using boolean algebra to synthesize DNFs.
[PDF]


sep 24

• 
Exercise 3.51. Notes on constructing ROBDDs
[PDF]


aug 30

• 
There will be no class on Labor Day, Monday, September 3
 • 
Starting September 4, C241 Homework Help sessions will be held
every Tuesday starting at 6:30PM in Lindley 125.
Refreshments are served!


sep 17

• 
A student has pointed out three mistakes in the answer set for HW#3. The posted
answers have been updated. The mistakes were in problems 2, 3 and 6.


sep 12

• 
Test One is scheduled for Friday, September 21. It will be held
in the discussion sections, starting promptly at the beginning
of the session:
 
•  9:05–10:20 in Info East 122
 •  11:15–12:30 in Info East 130
 •  1:25–2:40 in Info East 130

 •  The test time is 75 minutes, no more
 •  Do not bring notes. Relevant definitions are provided.
 •  Turn off and stow all electronic devices.
 •  The test will cover material from Chapters 1 and 2 (excluding Sections 2.5 and 2.5)
 •  The test will have between six and nine questions. Two of these questions
will be problems from Homeworks 1–3. Another two, or more, will be
similar to homework problems.



sep 6

• 
Owing to the high number of students enrolled, it is impractical to return
homeworks at the lecture meetings. Insteady they will be handed back at the
discussion sessions. Please indicate on the front page of your homework
which session you are attending.
The homeworks can then be sorted and returned more promptly.


sep 5

• 
I owe someone a Mento. My confusion about Definition 2.8(b) was a consquence of my own inattention. The bottom line is that Definition 2.8 is correct
as written. I first wrote,
R ⊆ A x A is antisymmetric if ∀ x,y ∈ A, (x,y) ∈ R implies (y, x) ∉ R.
Then I realized I needed to exclude the case where x=y, so I added
R ⊆ A x A is antisymmetric if ∀ x,y ∈ A, (x,y) ∈ R and x ≠ y imply (y, x) ∉ R.
This is correct but it is formulated in the negative ('≠', `∉').
Definition 2.8(b) says the same thing without all the "nots".
R ⊆ A x A is antisymmetric if ∀ x,y ∈ A, (x,y) ∈ R and (y,x) ∈ R imply x = y
It may not be obvious to you that the last two formulas are equivalent, but
we'll see that it is in Chapter 3.
Definition 2.8(b) says that reflexive edges are allowed but not required in antisymmetric relations.


sep 5

• 
Remember that the
2012 Career Fair
is coming up next week on Thursday, September 13. Over 80 companies will be represented, a
record number. The event will be held at the Bloomington Convention Center, but I believe
they have arranged for a shuttle bus every 20 minutes from the Memorial Union Hotel entrance.
 • 
I have posted
solutions to selected exercises from the course notes [HTM].


sep 1

• 
If you are one the waitlist for C241 and are still participating, please send me a message (sjohnson) confirming that you still wish to take the course. I am discussing with Dean Groth how to handle the situation, but I can assure those on the wait list that you can finish the course and get a grade on your transcript. More details will follow.


aug 30

• 
There will be no class on Labor Day, Monday, September 3
 • 
Starting September 4, C241 Homework Help sessions will be held
every Tuesday starting at 6:30PM in Lindley 125.
Refreshments are served! There are two peer tutors—undergraduate
majors who have recently completed C241. They help you with
your assignments, and also fill you in on what it is like to be
a CS major. This is a great opportunity to meet and get to know your
future classmates. Check it out!


aug 24

• 
The homework assignments are formatted to leave space for solutions to each
question. It is highly recommended that you print these documents and
place your solutions in the space provided.
Staple the pages together and put you name on each page.
Neatness counts, so it is also recommended that you work out your
solutions on scratch paper and neatly transcribe them for turning in.


aug 23

• 
The due date for Homework Assignment 1 is Wednesday, August 29. Not 8/25 as was originally posted. All homework assignments will be posted on Wednesdays and due the following Wednesday at the beginning of class.


aug 22


aug 20

• 
Some programs in the STMT programming language [PDF]


mar 21

