Massachusetts Institute of Technology 6.042J/18.062J, Spring '11: Mathematics for Computer Science Prof. Albert R Meyer
February 2
revised Sunday 6th February, 2011, 03:18
Problem Set 1
Due: February 11 Reading: Part I. Proofs: Introduction, Chapter 1, Wh
l
i8 1 /The Foundations: Logic and Proofs
combines universal instantiation and modus tollens and can be expressed in the following way:
Vx(P(X) > Q(X)
- Q (a), where a is a particular element in the domain
'. -1P(a)
:1. Find the argument form for the foll
7'. 1;. Use a direct proof to show that the sum of two odd integers
is even.
.4 4 Use a direct proof to show that the sum of two even inte-
g. gers is even.
.5. Show that the square of an even nu
using a direct proof.
*4 Show that the additive inverse, or
HW4 submission
by Steven Wong
FILE
13642_ST EVEN_WONG_HW4_SUBMISSION_152065_2113007070.DOC
(9.26M)
T IME SUBMIT T ED
01-NOV-2016 02:41PM
WORD COUNT
546
SUBMISSION ID
730372452
CHARACT ER COUNT
2286
Your Name: _
(This is an INDIVIDUAL assignment)
CSC 2259: Discrete Structures
Instructor: Evangelos Triantaphyllou, Ph.D.
Louisiana State University
School of Electrical Engineering and Computer Science
Division of Computer Science and Engineering
Fall 20
Your Name: _
(This is an INDIVIDUAL assignment)
CSC 2259: Discrete Structures
Instructor: Evangelos Triantaphyllou, Ph.D.
Louisiana State University
School of Electrical Engineering and Computer Science
Division of Computer Science and Engineering
Fall 20
Your Name: _
(This is an INDIVIDUAL assignment)
CSC 2259: Discrete Structures
Instructor: Evangelos Triantaphyllou, Ph.D.
Louisiana State University
School of Electrical Engineering and Computer Science
Division of Computer Science and Engineering
Fall 20
Your Name: _Steven Wong_
(This is an INDIVIDUAL assignment)
CSC 2259: Discrete Structures
Instructor: Evangelos Triantaphyllou, Ph.D.
Louisiana State University
School of Electrical Engineering and Computer Science
Division of Computer Science and Enginee
Your Name: _
(This is an INDIVIDUAL assignment)
CSC 2259: Discrete Structures
Instructor: Evangelos Triantaphyllou, Ph.D.
Louisiana State University
School of Electrical Engineering and Computer Science
Division of Computer Science and Engineering
Fall 20
Massachusetts Institute of Technology 6.042J/18.062J, Spring '11: Mathematics for Computer Science Prof. Albert R Meyer
April 8
revised Wednesday 13th April, 2011, 14:49
Problem Set 8
Due: April 15 Reading: Chapter 1515.9, Counting Rules Problem 1. Let X
Massachusetts Institute of Technology 6.042J/18.062J, Spring '11: Mathematics for Computer Science Prof. Albert R Meyer
March 30
revised Friday 8th April, 2011, 08:50
Problem Set 7
Due: April 8 Reading: Chapter 11.711.11.3, Coloring, Connectedness, & Tree
Massachusetts Institute of Technology 6.042J/18.062J, Spring '11: Mathematics for Computer Science Prof. Albert R Meyer
March 14
revised Monday 14th March, 2011, 23:00
Problem Set 6
Due: March 30 Reading: Chapter 9.59.9, Partial Orders; Chapter 1111.6, Si
Massachusetts Institute of Technology 6.042J/18.062J, Spring '11: Mathematics for Computer Science Prof. Albert R Meyer
March 7
revised Monday 7th March, 2011, 05:20
Problem Set 5
Due: March 14 Reading: Chapter 99.10.1, Parallel Task Scheduling. Skip Chap
Massachusetts Institute of Technology 6.042J/18.062J, Spring '11: Mathematics for Computer Science Prof. Albert R Meyer
February 26
revised Sunday 27th February, 2011, 01:33
Problem Set 4
Due: March 4 Reading: Chapter 88.3. GCD's and Unique factorization,
Massachusetts Institute of Technology 6.042J/18.062J, Spring '11: Mathematics for Computer Science Prof. Albert R Meyer
February 20
revised Sunday 20th February, 2011, 15:11
Problem Set 3
Due: February 25 Reading: Chapter 5.15.2, Chapter 6 Latest times fo
Massachusetts Institute of Technology 6.042J/18.062J, Spring '11: Mathematics for Computer Science Prof. Albert R Meyer
February 11
revised Saturday 12th February, 2011, 19:10
Problem Set 2
Due: February 18 Reading: Chapter 3.6, covering Predicate Formula
5.
What is the negation of each of these propositions?
a) Steve has more than 100 GB free disk space on his
laptop.
b) Zach blocks e-mails and texts from Jennifer.
c) 7-11-13=999.
(1) Diane rode her bicycle 100 miles on Sunday.
Suppose that SmartphoneA ha