MA 240, Fall 2017, Instructor:  Jeffrey Horn

CLASS ANNOUNCEMENTS (Thursday, December 7, 2017)

• What IS New:
  • Guide to the Final Exam
    
• What Was New :
• Quiz 2, Logial Equivalence, will be given in class Thursday, Sept. 28, 2017.
  
• Homework 3 added (handed out in class Thursday, Sept. 21).  Due on Tuesday, Oct. 3, 2017.  See below for details.
• FYI:  You are invited to attend a small, local mathematical conference being hosted by NMU (specifically our own Math/CS Dept.) this weekend.   Here is a schedule of talks and other events.   Attendance is open to the public.   Refreshments are free (dinner Friday and lunch Saturday are "dutch treat" which means pay for your own orders)
• Here are directions to the HANDOUT CABINET, where I have been keeping the extra copies of handouts (including homeworks) from class.
• Homework 2 due date clarification:   due on Thursday, Sept. 21 (not 20).  See below for details.
• Homework 2 added.   Due next Thursday.  See below for details.
• Homework 1 due date extended.  See below for details.
• Homework 1 is assigned.   Due Thursday, Sept. 7 IN CLASS (hard deadline).   See below for details.
• 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
• Homeworks
• Tests and Quizes

ADMINISTRATIVA

• Syllabus
• The textbook's web site
• Handout Cabinet (where extra copies of printed handouts can be found...)

LECTURE NOTES

•  Week of August 28 (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
• Week of September 4
  • Readings:  Chapter 1, section 1.3 (Logical Equivalences)
  • Binary Numbers
  • Digital Braitenberg Simulator (in Java) by Nathan Lyle
  • More notes
  Week of September 18
• Circuits
  

HOMEWORKS
 

• HOMEWORK 1:    Propositional Logic, Introduction
  • HANDED OUT:   Thursday, August 31, 2017
  • DUE ON:   Thursday, September 7, 2017  Friday, September 8, 2017 (by midnight Friday for no penalty.   After Friday there will be some late penalty but hard deadline is now TUESDAY Sept. 12, 2017, IN CLASS, since I plan to hand out a solution to HW2 in class that day and I CANNOT accept HW2 submissions once a solution has gone out!)
    
  • Reading:   sections 1.1 and 1.2 of Rosen
  • Questions:  Handed out in class, or click here.*
    
• HOMEWORK 2:    Propositional Logic, Logical Equivalences
  • HANDED OUT:    Thursday, Sept. 7, 2017
    
  • DUE ON:   Thursday, Sept. 20 21, 2017
    
  • Reading:   section 1.3 "Logical Equivalences" of Rosen
    
  • Questions:  Handed out in class, or click here.*
• HOMEWORK 3:    Predicate Logic
  • HANDED OUT:   Thursday, Sept. 21, 2017 (in class), Thursday, Sept. 28 (pdf file posted to web).
    
  • DUE ON:    Tuesday, Oct. 3, 2017
    
  • Reading:   section 1.4 of Rosen, "Quantified Logic"
    
  • Questions:  Handed out in class, or click here.*
    
• HOMEWORK 4:    Predicate Logic (Nested Quantifiers and Negation)
  • HANDED OUT:
    
  • DUE ON:   
    
  • Reading:   section 1.5 of Rosen
  • Questions: 
    
  * (Note there are extra hardcopies of the homeworks in the handout cabinet outside of room JXJ 2110, the NERL (robotics laboratory), here.)