CIS 1910 Lecture Notes - Lecture 1: Logical Disjunction, Logical Conjunction, Luiza

• School: University of Guelph
• Department: Computing and Information Science
• Course: CIS 1910
• Professor: Luiza Antonie

Document Summary

Maclachlan 225 thursday, 13:30-15:30 lantonie@uoguelph. ca: no labs rst week of class, there is a 48 hour grace period for assignment due dates; drop boxes will remain open until the grace period is over. After the grace period, penalties for late submissions will be applied. Assignments may be submitted multiple times only the latest submission is graded: the last date to drop courses without penalty is march 10, 2017. This is after the midterm for this class: we will use an online text from zybooks; textbook code: uoguelphcis1910antoniewinter2017. The study of mathematical structures that are fundamentally discrete rather than continuous. Discrete mathematics and computer science: algorithms, cryptography, arti cial intelligence. Overview of topics: logic, proofs, sets, functions and relations, induction, boolean algebra. Dr. luiza antonie: logic is the study of formal reasoning, logic is useful in any eld in which it is important to make precise statements.