Carleton University
COMP1805, Fall 2013
Assignment 2 (Solutions)
Due Wednesday, October 16 at 10:00 am
1. Determine whether or not the following arguments are valid. If they are valid, then
state the
COMP1805, Fall 2015
Assignment 2
Due Friday, October 9 at Noon
1. Determine whether or not the following arguments are valid. If they are valid, then
state the rules of inference used to prove validit
Specification for Assignment 3 for COMP1805 (Fall 2016)
Assignment Questions
1. Let be the last digit in your student number, be the secondtolast digit in your
student number, = 2, and = 3. For the
COMP1805 (Winter 2017) "Discrete Structures I"
Specification for Assignment 3 of 4
Your submission must be created using Microsoft Word, Google Docs, or LaTeX.
Your submission must be saved as a "pdf"
COMP1805, Fall 2015
Assignment 2
Due Friday, October 9 at Noon
Submit your solution in the dropbox for COMP1805 located in HP3115.
Only submit part (b) of each question.
Your grade will be determine
COMP1805, Fall 2015
Assignment 1 Sample Solutions
Due Tuesday, September 22 at Noon
Submit your solution in the dropbox for COMP1805 located in HP3115.
Here is a list of the symbols used in this assi
COMP1805 Tutorial 2
Fall 2015
For more practice problems (with solutions) can be found on the exercise database
http:/cg.scs.carleton.ca/discmath/
1. Prove that the proposition (r p) (q p) (r q) (p q)
Carleton University
COMP1805, Fall 2013
Assignment 2 (Solutions)
Due Wednesday, October 16 at 10:00 am
1. Determine whether or not the following arguments are valid. If they are valid, then
state the
Question 1: Prove or disprove each of the following propositions.
a) x + y = x + y, for all real numbers x and y.
b) x = x, for all real numbers x.Answer
(Hint: If x R, then either x Z or x = a + r, w
COMP 1805 Discrete Structures I
Assignment 1 (Revised version)
Date Due: Monday, January 28, 2013
Time Due: Before 3pm in the Boxes in Herzberg Room 3115
Write down your name and student number on ev
mcs 2013/1/10 0:28 page i #1
Mathematics for Computer Science
revised Thursday 10th January, 2013, 00:28
Eric Lehman
Google Inc.
F Thomson Leighton
Department of Mathematics
and the Computer Science a
COMP/MATH 1805 Discrete Structures
Assignment 3
Due June 24 at the beginning of class
Write down your name and student number on every page. The questions must be answered in order and
your assignment
COMP 1805 Discrete Structures I
Assignment 3
Date Due: March 7, 2013
Time Due: Before 14:00 in the Boxes in Herzberg Room 3115
Write down your name and student number on every page. The questions shou
COMP 1805 Discrete Structures I
Assignment 4
Date Due: March 26, 2013
Time Due: Before 2pm in the Boxes in Herzberg Room 3115
Write down your name and student number on every page. The questions shoul
COMP 1805 Discrete Structures I
Assignment 5
Date Due: April 10, 2013
Time Due: Before 2pm in the Boxes in Herzberg Room 3115
Write down your name and student number on every page. The questions shoul
COMP 1805 Discrete Structures I
Assignment 4
Date Due: March 26, 2013
Time Due: Before 2pm in the Boxes in Herzberg Room 3115
Write down your name and student number on every page. The questions shoul
COMP 1805 Discrete Structures I
Assignment 5
Date Due: April 10, 2013
Time Due: Before 2pm in the Boxes in Herzberg Room 3115
Write down your name and student number on every page. The questions shoul
COMP/MATH 1805 Discrete Structures
Assignment 3
Due June 24 at the beginning of class
Write down your name and student number on every page. The questions must be answered in order and
your assignment
COMP/MATH 1805 Discrete Structures
Tutorial 3
June 2, 2009
1. Let x1 , x2 , . . . , xk be k integers. Let A be the average of these integers. Prove by contradiction that
there must be at least one int
COMP/MATH 1805 Discrete Structures
Assignment 2
Due June 10 at the beginning of class
Write down your name and student number on every page. The questions must be answered in order and
your assignment
COMP/MATH 1805 Discrete Structures
Assignment 1
Due May 20 at the beginning of class
Write down your name and student number on every page. The questions must be answered in order and
your assignment
COMP/MATH 1805 Discrete Structures Tutorial 1
May 12, 2009
1. State the converse, inverse and contrapositive of the implication "I will use an iPod only if it has a 100 GB hard drive" both logically a
COMP/MATH 1805 Discrete Structures Tutorial 2
May 19, 2009
1. Recall that, for nite universes of discourse, the quantier notations and are essentially shorthand for conjunctions and disjunctions. If t
Discrete Mathematics Study Center
Home
Course Notes
Exercises
Mock Exam
About
Logic
Logic gives precise meaning to statements
tells us precisely what statements mean
allows computers to reason without
Lecture 6:

September 29th, 2016
Inference rules do not apply on quantified statements. Thus, to perform inference using
expressions from predicate logic, the quantifiers must be removed, and only re
Lecture 2:
2016

Proposition: true false statements
Ex: sky is cloudy
Not all statements are propositions
Ex: X taller than a meter and Y+Z = 5 (unless X, Y, Z are known)
Primitive (Atomic): proposi
Lecture 1:
September 8th, 2016
Statements have categories:
1. Imperative (Commands)
2. Declarative (Communicate statements which are associated with values [True, False])
3. Interrogative (Questions)