Vadim Bulitko is a Professor at the University of Alberta (Department of Computing Science). He received his Ph.D. in computer science from the University of Illinois at Urbana-Champaign in 1999. Vadim is interested in building artificial general intelligence as well as understanding intelligence and cognition in humans and animals.
An introduction to the tools of set theory, logic, and induction, and their use in the practice of reasoning about algorithms and programs. Basic set theory; the notion of a function; counting; propositional and predicate logic and their proof systems; inductive definitions and proofs by induction; program specification and correctness. Prerequisites: Any 100-level CMPUT course, CMPUT 274 or SCI 100.Fall Term 2021