2.1
Mathematical Foundations
home page

The course addresses both mathematical thinking and understanding mathematical tools, particularly those skills used in software engineering for specification, formal modeling, and programming. It provides multiple perspectives on the primary mathematical techniques of logic, induction, proof, functions, relations, and graphs.

Chapter Zero examines a student's mathematical belief structure. Thirsty Archeologist is one of my favorite estimation problems.


∆ math foundations
formal methods
artificial intelligence
algorithms
languages
HCI
interface
computer graphics
computer ethics
UW classes

Topics
01 Course Information and Syllabus 15 Boundary Logic
02 Chapter Zero Exercises* 16 Predicate Calculus and Sets
03 Formal Symbol Systems* 17 Induction and Recursion
04 Chapter Zero - Responses 18 Domain Theories
05 Models of Computation 19 Recursive Definitions
06 Age of Concepts and Symbols* 20 Final Project
07 Propositional Logic 21 Relations
08 History of Logic 22 Relational Examples and Exercises
09 Logic and Computation 23 Relational Algebra
10 Logical Proof 24 Functions
11 Deduction Exercises 25 Algebraic Systems
12 Logical Tautologies 26 Exotic Number Systems
13 Algebraic Logic 27 Graphs
14 Techniques for Logical Deduction 28 The Thirsty Archeologist
ALL COURSE NOTES IN ONE FILE (143 pages)