MATH 436Introduction to Logic
- Faculty
- Mathematics
- Last listed
- 1975–76
No longer offered. It’s in Waterloo’s scanned calendars from 1971–72 to 1975–76 (before that, 1963–64 to 1970–71 used the number for Life Contingencies II and Mathematical Logic); the 1995–96 to 2023–24 calendars are on ucalendar.
An introduction to the logic of sentences and predicates with some emphasis on familiar algebraic structures. At first informal, then leading to a formal axiomatic treatment with proofs of consistency and completeness. 2 hours lectures. Prerequisite: consent of instructor. Methods of analysis of data to produce raw rates for mortality and other tables. 2 hours lectures, one term. Individual and collective risk theory. Ruin theory. Stop loss reinsurance premiums, Monte Carlo methods. 2 hours lectures, one term.
As printed in the 1971–72 to 1975–76 calendars, read by OCR; the scanned page is the original.
Check it elsewhere
In the scanned calendars
How it read in each calendar from 1963–64 to 1975–76, newest first. The text is OCR of the scanned pages; years whose wording matches are shown once, from the clearest scan. Each year links to its page on uwloo and to that page of the scanned PDF.
1971–72 to 1975–76 5 calendars
An introduction to the logic of sentences and predicates with some emphasis on familiar algebraic structures. At first informal, then leading to a formal axiomatic treatment with proofs of consistency and completeness. 2 hours lectures. Prerequisite: consent of instructor.
Methods of analysis of data to produce raw rates for mortality and other tables. 2 hours lectures, one term.
Individual and collective risk theory. Ruin theory. Stop loss reinsurance premiums, Monte Carlo methods. 2 hours lectures, one term.
1964–65 to 1970–71 7 calendars
Another title: Mathematical Logic, probably a different course under the same number (or a misread scan).
An informal introduction to the logic of sentences and predicates, with emphasis on analogies with familiar mathematical structures. Syllogisms and algebra of sets related to predicate logic. Simplification, logical deduction, duality, consistency and completeness. The concepts of constant, variable, function, and set. Axiomatics. 2 lectures.
1963–64 1 calendar
Another title: Life Contingencies II, probably a different course under the same number (or a misread scan).
An advanced course on the death and survival of multiple lives. 2 lectures.
437; Graduation and Mortality. Methods of constructing and graduating mortality tables. 1 lecture.