MATH 150:
INTRODUCTION TO MATHEMATICAL LOGIC
INSTRUCTOR:
Martin Zeman, RH 410E
OFFICE
HOURS: Monday 10-12 and Wednesday 1-2
TA:
Andres Forero, RH 590
OFFICE
HOURS: Monday 3-4 and Tuesday 1-2
COURSE
INFORMATION AND POLICIES GRADING
UCI
Academic Honesty Policy UCI Student Resources
Page
MIDTERM 1
INFORMATION MIDTERM 1 MORE PRACTICE PROBLEMS
MIDTERM 2 INFORMATION
DATE
CHANGE: THE MIDTERM IS MOVED FROM WEDNESDAY NOVEMBER 14 TO FRIDAY
NOVEMBER 16
EXTRA
OFFICE HOURS: TUE NOV 13, 9-11AM AND THR NOV 15 9-11AM
FINAL EXAM INFORMATION
EXTRA
OFFICE HOURS: TUESDAY, DECEMBER 11, 9-11AM
TEXTS ON
PREDICATE LOGIC: LANGUAGES STRUCTURES
THEORIES
BASIC
NOTIONS OF PREDICATE LOGIC (Basic notions:
Last
update Nov 22)
MORE
PRACTICE PROBLEMS: NOV 3 NOV 5
HOMEWORK
ASSIGNMENTS: HW1
HW2 HW3
HW4 HW5
HW6 HW7
HOME
Last Modified: December 7, 2012