Discrete Structures

MATH 112, Spring Semester, 2017

 

 

To the Bottom of the Page

 

Instructor:†††† Dr. Shieu-Hong Lin†††† Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: LinEmail

Class Time:†† T THat Busn 209

 

Dr Linís Office Hours: Math & CS department at Grove 8.

       Contact Dr. Lin in advance to set up an appointment.

       Monday to Thursday: 8:30am~10:30am.

†††††††††††

Course Syllabus: compact version

 

About the reading reports:

    Effort (2 points): How much time have you spent for the reading? What percentage of the contents in the reading do you think you understand? Have you come to the class this week?  Assessment: The student is expected to (i) have attended the class this week at least once (0.5 point), and(ii) have either gained a good understanding of 80% or more of the contents or have spent at least three hours in the reading (1.5 points).

    Reflection on the reading (2 points): Put down 1~2 paragraphs of your thoughts such as notes of new insight you gained, interesting things encountered, questions of things you donít understand,  and so forth.  Assessment: the student is expected to show substantial evidence of understanding or effort of trying to understand the contents in the reading.

 

*****************************************************************************************************

 

Week 1: Introduction to Propositional Logic

 

*****************************************************************************************************  

 

Week 2: Algebraic Laws and Logical Equivalence in Propositional Logic

 

Showcase: An Eclipse logic program for solving Sudoku puzzles

 

*****************************************************************************************************  

 

Week 3: Introduction to Predicate Logic.

 

*****************************************************************************************************  

 

Week 4: Predicate Logic, Rules of Inference, and Basics of Proofs.

 

*****************************************************************************************************  

 

Week 5: Review on Logic.

 

Test #1 on Logic (in-class open-book test), Thursday, Mar. 9: (i) Cover all the things from Reading #1 Reading #4 on logic. (ii) Make sure you understand the all the homework problems and the related concepts very well. (iii) Make sure you understand the algebraic laws and logic equivalence depicted in Tables 6, 7, and 8 in Section 1.3 and are capable of using them for determining logic equivalence.

 

*****************************************************************************************************  

 

Week 6 and Week 7: Sets, Set Operations, and Proofs  |  Mission Conference Mar. 15~17

 

 

*****************************************************************************************************  

Power point class notes available under Files in our Canvas class site.

References: (i) Set operations in Python

*****************************************************************************************************  

TAs:William Gertsch, Ho Leung.

TA hours in MATH lab (Grove 10): Wednesday 4:30~5:30pm and Thursday 3:00~4:00pm starting from Wednesday 03/22

*****************************************************************************************************  

 

 

To the Top of this Page