{"id":4177,"date":"2026-06-01T23:13:11","date_gmt":"2026-06-02T05:13:11","guid":{"rendered":"https:\/\/faculty.uccs.edu\/goman\/?page_id=4177"},"modified":"2026-07-15T18:26:49","modified_gmt":"2026-07-16T00:26:49","slug":"math-2150-summer-2026","status":"publish","type":"page","link":"https:\/\/faculty.uccs.edu\/goman\/math-2150-summer-2026\/","title":{"rendered":"Math 2150 Summer 2026"},"content":{"rendered":"\n

Course Information
<\/h2>\n\n\n\n

Syllabus<\/a>

<\/p>\n\n\n\n

Lecture Notes<\/h2>\n\n\n\n

Lecture 1<\/a>[June 16] (intro to propositional logic)
Lecture 2<\/a>[June 16] (formulas, more on truth tables)
Lecture 3<\/a>[June 18] (tautologies, contradictions, logical equivalence) (August 31, 2022 part only)
Lecture 4<\/a>[June 18] (finishing up propositional logic)
Lecture 5<\/a>[June 23] (intro to predicate logic: one-place predicates, formulas, free variables)
Lecture 6<\/a>[June 24] (intro to n-place predicates)
Lecture 7<\/a>[June 30] (negations in propositional and predicate logic)
Lecture 8<\/a>[June 30] (logical equivalence in predicate logic, more translations)
Lecture 9<\/a>[July 3] (finishing up predicate logic – uniqueness and more translations)
Lecture 10<\/a>[July 15] (intro to proofs: direct proof)
Lecture 11<\/a>[July 15] (proof by contraposition)<\/p>\n\n\n\n

<\/p>\n\n\n\n

<\/p>\n\n\n\n

Lectures
<\/h2>\n\n\n\n

Video Lecture 1<\/a>[June 16]
Video Lecture 2<\/a>[June 18]
Video Lecture 3<\/a>[June 24]
Video Lecture 4<\/a>[June 25]
Video Lecture 5<\/a>[June 30]
Video Lecture 6<\/a>[July 3]
Test 1 Review Video<\/a>[July 8]
Video Lecture <\/a>6[July 15]

<\/p>\n\n\n\n

Homework <\/h2>\n\n\n\n

Homework 1 Solutions<\/a>
Homework 2 Solutions<\/a>
Homework 3 Solutions<\/a>
Homework 4 Solutions<\/a>
Homework 5 Solutions<\/a>
Homework 6 Solutions<\/a>
Homework 7<\/a> (due by Saturday, July 18 by 11:59 pm as a PDF upload to Canvas)
<\/p>\n","protected":false},"excerpt":{"rendered":"

Course Information Syllabus Lecture Notes Lecture 1[June 16] (intro to propositional logic)Lecture 2[June 16] (formulas, more on truth tables)Lecture 3[June 18] (tautologies, contradictions, logical equivalence) (August 31, 2022 part only)Lecture 4[June 18] (finishing up propositional logic)Lecture 5[June 23] (intro to predicate logic: one-place predicates, formulas, free variables)Lecture 6[June 24] (intro to n-place predicates)Lecture 7[June 30] […]<\/p>\n","protected":false},"author":29,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_uag_custom_page_level_css":"","advgb_blocks_editor_width":"","advgb_blocks_columns_visual_guide":"","footnotes":""},"class_list":["post-4177","page","type-page","status-publish","hentry"],"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"1536x1536":false,"2048x2048":false},"uagb_author_info":{"display_name":"goman","author_link":"https:\/\/faculty.uccs.edu\/goman\/author\/goman\/"},"uagb_comment_info":0,"uagb_excerpt":"Course Information Syllabus Lecture Notes Lecture 1[June 16] (intro to propositional logic)Lecture 2[June 16] (formulas, more on truth tables)Lecture 3[June 18] (tautologies, contradictions, logical equivalence) (August 31, 2022 part only)Lecture 4[June 18] (finishing up propositional logic)Lecture 5[June 23] (intro to predicate logic: one-place predicates, formulas, free variables)Lecture 6[June 24] (intro to n-place predicates)Lecture 7[June 30]…","coauthors":[],"author_meta":{"author_link":"https:\/\/faculty.uccs.edu\/goman\/author\/goman\/","display_name":"goman"},"relative_dates":{"created":"Posted 2 months ago","modified":"Updated 2 days ago"},"absolute_dates":{"created":"Posted on June 1, 2026","modified":"Updated on July 15, 2026"},"absolute_dates_time":{"created":"Posted on June 1, 2026 11:13 pm","modified":"Updated on July 15, 2026 6:26 pm"},"featured_img_caption":"","featured_img":false,"series_order":"","_links":{"self":[{"href":"https:\/\/faculty.uccs.edu\/goman\/wp-json\/wp\/v2\/pages\/4177","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/faculty.uccs.edu\/goman\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/faculty.uccs.edu\/goman\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/faculty.uccs.edu\/goman\/wp-json\/wp\/v2\/users\/29"}],"replies":[{"embeddable":true,"href":"https:\/\/faculty.uccs.edu\/goman\/wp-json\/wp\/v2\/comments?post=4177"}],"version-history":[{"count":48,"href":"https:\/\/faculty.uccs.edu\/goman\/wp-json\/wp\/v2\/pages\/4177\/revisions"}],"predecessor-version":[{"id":4254,"href":"https:\/\/faculty.uccs.edu\/goman\/wp-json\/wp\/v2\/pages\/4177\/revisions\/4254"}],"wp:attachment":[{"href":"https:\/\/faculty.uccs.edu\/goman\/wp-json\/wp\/v2\/media?parent=4177"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}