Math 5134 Assignments

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. 24	I.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. 16	Chapter II	Predicate Logic
	II.16&17	Formulas, Variables & Domains
		58 / 13.4 - 7
		83 / 16.1a - c
		93 / 17.1 - 3
Feb. 21	II.18	Validity
		58 / 13.8 & 9
		83 / 16.1d - f
		93 / 17.3b - 5b
		96 / 18.1a
Feb. 23	II.19	Substitution & 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 8	Midterm 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 19	IV.35&36	Paradoxes
		179 / 32.3d, 4
April 23	Last 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 8	Final 1900 - 2150	COMPREHENSIVE

NOTE the duration of the Final

Homework Assignments by Section

Section	Problems
1	1
2	1-5
3	1,3
4	1-8
5	1-3
7	1-8
9	1-8
10	1-5
11	1&2
12	1, 3&4, 6&7
13	1-9
16	1a-j
17	1-7
18	1a-d
19	1-4
20	1-8
21	1-5
22	1&2
23	1&2, 4-6
24	5
25	1-3, 8&9
32	1-4
33	1a&c
34	1&2
41	2&3
42	2

Back to MATH 5134

This page updated by Frank Matthews Dec. 7, 2011