MSc in Software Design

Slides from all lectures.

The following literature (where Epp refers to the course textbook Discrete Mathematics with Applications, International Edition; and Rosen refers to this book chapter):

Lecture 1:

• The notes on basic mathematics.
  

Lecture 2:

• Epp, Chapters 2.1 - 2.3

• Epp, Chapter 3
  
• Epp, Chapter 4.1
• Epp, Chapter 1.2
• Epp, Chapter 6.1 - 6.2

Lecture 4:

• Epp, Chapter 2.5, only subsections "Binary Representation of Numbers”, "Binary Addition and Subtraction”.
• Epp, Chapter 4.4
• Epp, Chapter 4.5, only subsections "The Quotient-Remainder Theorem”, "div and mod”
• Epp, Chapter 4.8
• Epp, Chapter 4.10, only subsections "The Division Algorithm”, "The Euclidean Algorithm”
• Epp, Chapter 8.4, excluding proof of  "Fermat's Little Theorem”

• Epp, Chapter 7
• Epp, Chapter 5.1

• Epp, Chapters 5.2 - 5.4, except "The Well-Ordering Principle for the Integers" in Chapter 5.4

• Epp, Chapter 5.6
• Epp, Chapter 5.7
• Epp, Chapter 5.9

• Epp, Chapter 8, except section 8.4
  

• Epp, Chapters 9.1 - 9.4

• Epp, Chapter 9.5
• Epp, Chapter 9.6
• Epp, Chapter 9.8
  
• Epp, Chapter 9.9

• Epp, Chapter 1.4
  
• Epp, Chapter 4.9
  
• Epp, Chapter 10.1
  
• Epp, Chapter 10.4 - 10.5

• Epp, Chapter 12.1
  
• Epp, Chapter 12.2, only pages 841-849, until "Simulating a Finite-State Automaton Using Software"

• Rosen, Chapter 13.1
  
• Rosen, Chapter 13.4, only subsection "More Powerful Types of Machines" on pages 885-886
  
• Rosen, Chapter 13.5, only pages 888-895