Nonmonotonic Logic: Instructional Materials