Math 5134 Spring 12


Class Assignments

Jan. 17 Chapter I Propositional Logic
I.1 & 2 Formulas & Model Theory
8 / 1.1
13 / 2.1-5
Jan. 19 I.3 & 4 Substitution, Validity, Implication & Equivalence
17 / 3.1-3
19 / 4.1&2
Jan. 24I.5 Chains of Equivalences
19 / 4.3-5
22 / 5.1
Jan. 26 I.7 Valid Consequence
19 / 4.6 - 8
22 / 5.2
27 / 7.1 - 4
Jan. 30 I.9 Proof Theory
Provability & Deducibility
22 / 5.3
27 / 7.5 - 8
38 / 9.1 & 2
Feb. 2 I.10 & I.11 The Deduction Theorem, Consistency,
Introduction & Elimination Rules
38 / 9.3 - 5
42 /10.1 - 3
45 / 11.1
Feb. 7 Review
38 / 9.6 - 8
42 / 10.4 & 5
45 / 11.2
Feb. 9 I.12 Completeness
49 / 12.1, 3 & 4
Feb. 14 I.13 Dervied Rules
50 / 12.6& 7
58 / 13.1 - 3
Feb. 16Chapter IIPredicate Logic
II.16&17 Formulas, Variables & Domains
58 / 13.4 - 7
83 / 16.1a - c
93 / 17.1 - 3
Feb. 21II.18 Validity
58 / 13.8 & 9
83 / 16.1d - f
93 / 17.3b - 5b
96 / 18.1a
Feb. 23II.19Substitution & Composites
83 / 16.1g-j
93 / 17.5c - 7
96 / 18.1b-d
101 / 19.1-c
Feb 28 II.20 Valid Consequence
96 / 18.1e&f, 3
101 / 19.1d-g, 2-4
107 / 20.1
March 1 II.21 Provability & Deducability
107 / 20.2-7
112 / 21.1&2
March 6 Review
107 / 20.8
112 / 21.3-5
March 8Midterm Exam on CH. I
March 13 Spring Break
March 15 Spring Break
March 20 Review
March 22 II.22 Conditional Proof
116 / 22.1
March 27 II.23 Consistency. Introduction & Elimination Rules
116 / 22.2
120 / 23.1&2
March 29 II.24 Replacement & Chains of Equivalences
121 / 23.4-6
125 / 24.5
April 3 II.25 Standard Forms
133 / 25.1-3
April 5 IV.32 & 33 Countable Sets & Infinities
133 / 25.8&9
179 / 32.1&3a
183 / 33.1a
April 10 Review
April 12 IV.34 Set Theory
179 / 32.3b&c, 2
183 / 33.1c
186 / 34.1&2
April 17
April 19IV.35&36 Paradoxes
179 / 32.3d, 4
April 23Last Day to drop
April 24 V.40 Decision & Computability
April 26 V.41 Turing Machines
241 / 41.2
May 1 V.42 Godel's Theorem
241 / 41.3
247 / 42.2
May 3 V.42 Review
May 6 V.42 Help Session 4-6
May 8Final 1900 - 2150 COMPREHENSIVE

NOTE the duration of the Final



Homework Assignments by Section


SectionProblems
11
21-5
31,3
41-8
51-3
71-8
91-8
101-5
111&2
121, 3&4, 6&7
131-9
161a-j
171-7
181a-d
191-4
201-8
211-5
221&2
231&2, 4-6
245
251-3, 8&9
321-4
331a&c
341&2
412&3
422
Back to MATH 5134


This page updated by Frank Matthews Dec. 7, 2011