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 have transformed the pond area and Gateway Plaza. A new
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 the respective structure and
describe the interpretatio
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 denition of a graph discussed in
class).
(3pts)Express eac
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 L-sentences, and , be Lsentences. Prove or disprove the
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 point of the homework is to practice understanding of the
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 point of the homework is to practice understanding of the
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 point of the homework is to practice understanding of th
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_' and ' 6 , then
(c) If [ cfw_' _ is not satisfiable,
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 (
Solution: TRUE. If we assume ( ' _ , then for every tru
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 language of sentential logic, formulas, truth assignments
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 of the book. There will be topics (especially those
in C