MA 240 Fall 2019

MA 240, Fall 2019, Instructor: Jeffrey Horn

CLASS ANNOUNCEMENTS (Monday, November 18, 2019)

What IS New:
- Practice problems for HW7 are available here. We will go through some of these in class the week before Thanksgiving break. It is strongly suggested that you try some of these on your own, before class!
- Labeling the Binary Hypercube: worksheets (one and two) handed out on Thursday, Nov. 14, 2019, for week before Thanksgiving (possible quiz)
- Homework 7 was handed out in class on Thursday, Nov. 14, 2019. It is due before Thanksgiving Break. See below.
What Was New :

The FOL Test (First Order Logic Test) is postponed from this Thursday (Oct. 17) to next Thursday, Oct. 24. Instead this Thursday we will work on HW5 (Counting).
Time to start a new topic area, Combinatorics! We start with Homework 5, Counting, which went out on Tuesday. See below.
As announced in class you may submit HW4 to me by the end of the week (midnight Friday 10-18-19) without penalty. (Solution will go out over the weekend, and I'll be grading it then!)
Solution to Q4 is out, on Educat with printed copies in handout cabinet.
Here are some practice problems for translating English to First Order Logic (with quantifiers!). This was handed out in class. Hardcopies in handout cabinet.
Quiz 4 (Nested Quantifiers) will be in class this Thursday, Oct. 10, 2019. See information below.
Homework 4 is due IN CLASS next Tuesday, Oct. 15, 2019. See information below.
Quiz 3 solution is on Educat here.
Solutions to the Practice Quiz 1 and to HW1 are now both on Educat (with extra printed copies in the handout cabinet)
Change of plans:

First dept. colloquium (the Chickadee Project) will be this Wednesday (Sept. 11) at 4pm. See this.
Homework 2 is assigned, due end of this week. See below.
Homework 1 solution to go out Tuesday, Sept. 10, 2019 in class. No more HW1 submissions will be accepted at that point on! So please get any late HW1s to me by the start of class Tuesday.
Here is a streaming site (seems safe!) for the BBC documentary "The Proof" that we will discuss in class throughout the semester. Please watch at your own convenience. It is approximately 45 minutes.
Homework 1 is assigned, due end of Labor Day week. See below.
Welcome to class! Check out our syllabus (link is below)
This is where old announcements will go, so that you won't miss any news!

CONTENTS:

ADMINISTRATIVA

LECTURE NOTES

Week of August 26 (first week!)
- Introduction, Syllabus, Pre-req.s, Policies (attendance, etc.)
- Overview of course, topics
- Readings: Chapter 1, sections 1.1 and 1.2
- Intro to Propositional Logic
- Digital Braitenberg Vehicles
Week of September 2
- Readings: Chapter 1, section 1.3 (Logical Equivalences)
- Binary Numbers
- Digital Braitenberg Simulator (in Java) by Nathan Lyle
- More notes

HOMEWORKS

HOMEWORK 1: Propositional Logic, Introduction
- HANDED OUT: Thursday, August 29, 2019
- DUE ON: Friday, Sept. 6, 2019 (midnight)
- Reading: sections 1.1 and 1.2 of Rosen
- Questions: Handed out in class, or click here.* Extra printed copies are in the handout cabinet.
HOMEWORK 2: Propositional Logic, Logical Equivalences

HANDED OUT: Thursday, Oct. 3, 2019
DUE ON: Tuesday, Oct. 15, 2019 IN CLASS! (solution to be handed out at that time, so no HW4 submissions accepted after class time 10-15-19!) Midnight Friday Oct. 19, 2019. (Solution to go out over the weekend following...)
Reading: section 1.5 of Rosen
Questions: Handed out in class, or click here.*

* (Note there are extra hardcopies of the homeworks in the handout cabinet outside of room JXJ 2110, the NERL (robotics laboratory), here.)

TESTS AND QUIZES

Quiz 1: Propositional Logic. (Truth tables of compound boolean expressions.) Thursday, Sept. 12, 2019, in class. Open book, open notes. Sample quizzes can be found on Educat

Quiz 2: TBA
Quiz 3: Non-nested Quantifiers (a matching quiz). Solution is on Educat.
Quiz 4: First Order Logic (FOL) with NESTED QUANTIFIERS will be given this Thursday in class, Oct. 9, 2019. Open book open notes. Practice quizzes were handed out in class this past Tuesday (Oct. 8) but are also available in hardcopy in the handout cabinet, and as pdf file in Educat. There is also now a solution handout for the practice Q4, and again hardcopy printouts are in the handout cabinet while pdf file is on Educat. Solution is now on Educat (with printouts in handout cabinet).

FINAL EXAM