With the end of major construction on campus, the pond has become a center of attention for student life. The addition of two new buildings the Student Center and the Library/Learning Resource Center
MATH 150 HOMEWORK 4
Due: Nov 9, 2015
IMPORTANT INSTRUCTION: It is crucial that you clearly explain how you arrive at your
conclusions.
1. (5pts) For each of the following structures nd a language for
MATH 150 HOMEWORK 6
Due: Dec 2, 2015
IMPORTANT INSTRUCTION: It is crucial that you clearly explain how you arrive at your
conclusions.
1. (6pts) Let L = cfw_E be the language of graphs (recall the den
MATH 150 HOMEWORK 5
Due: Nov 20, 2015
IMPORTANT INSTRUCTION: It is crucial that you clearly explain how you arrive at your
conclusions.
1. (5pts) Let L be a first order language language, be a set of
MATH 150 HOMEWORK 3
DUE: Monday, Oct 26
Student Name/ID # (Include all students in the group):
IMPORTANT INSTRUCTION: It is crucial that you clearly explain how you arrive at your
conclusions. The poi
MATH 150 HOMEWORK 2
DUE: Friday, Oct 16
Student Name/ID # (Include all students in the group):
IMPORTANT INSTRUCTION: It is crucial that you clearly explain how you arrive at your
conclusions. The poi
MATH 150 HOMEWORK 1
DUE: Wednesday, Oct 7
Student Name/ID # (Include all students in the group):
IMPORTANT INSTRUCTION: It is crucial that you clearly explain how you arrive at your
conclusions. The p
Math 150
Fall 2016 Midterm Practice Problems
1. Let be a set of ws, and let ' and be ws. Decide whether each of the following
is true, and justify your answer.
(a) If ' _ , then [ cfw_'
(b) If [ cfw_
Math 150
Fall 2016 Midterm Practice Problems Solutions
1. Let be a set of ws, and let ' and be ws. Decide whether each of the following
is true, and justify your answer.
(a) If ( ' _ , then Y t 'u (
Syllabus for M at h 150 I n t ro to M at h e m at i c a l L o g i c
The textbook of the class is H. B. E nderton : A Mathematical Introduction to Logic.
Weeks 1 & 2 Chapter I: Sentential Logic
The la
MATH 150 SYLLABUS
INSTRUCTOR: NAM TRANG, RH 410N
OFFICE HOURS: M 10-12, W 2-3
TEXTBOOK: Herbert Enderton: A Mathematical Introduction to Logic, 2nd Edition
We will cover roughly the rst two chapters o