Discrete Mathematics

Course Introduction

Introducing the Course

0.1 - Introducing the Teacher

0.2 - Overview and Content of the Course

Chapter 1

Content and Learning Outcomes Chapter 1 - Logic and Proofs

Introduction to Chapter 1

1.1 - Content and Learning Outcomes Paragraph 1

1.1.1 - Introduction to Propositional Logic

1.1.2.1 - Defining Propositions

1.1.2.2 - Compound Propositions

1.1.3.1 - Definition of Conditional Statements

1.1.3.2 - Converse, Contrapositive, Inverse and Biconditional Statements

1.1.3.3 - Examples Related to Converse, Contrapositive, Inverse and Biconditionsl Statements

1.1.4 - Truth Tables of Compound Propositions

1.1.5 - Precedence of Logical Operations

1.1.6 - Logic and Bit Operations

Content of Paragraph 1.2: Applications of Propositional Logic

1.2.1 - Introduction to Propositional Logic and Translating English Sentences

1.2.2 - System Specification

1.2.3 - Boolean Searches

1.2.4 - Logic Puzzles

1.2.5 - Logic Circuits

Content of Paragraph 1.3: Propositional Equivalences

1.3.1 - Introduction to Propositional Equivalences - Logic Equivalences

1.3.2 - Using De Morgan's Laws

1.3.3 - Constructing New Logical Equivalences

1.3.4 - Application of Satisfiability

1.4.1 - Introduction and Definition of Predicates

1.4.2 - Definition and Application of Quantifiers

1.4.3 - Binding Variables and Logical Equivalences

1.4.4 - Negating Quantified Expressions

1.4.5 - Translating Sentences Into Logical Expressions

1.4.6 - Using Quantifiers in Systems Specifications

1.5.1 - Understanding Nested Quantifiers

1.5.2 - Order of Quantifiers

1.5.3 - Translating Statements

1.5.4 - Negating Nested Quantifiers

1.6.1 - Valid Arguments in Propositional Logic

1.6.2 - Rules of Inference for propositional Logic

1.6.3 - Using Rules of Inference to build Arguments

1.6.4 - Resolution and Fallacies

1.6.5 - Rules of Inference for Propositional Logic

1.7.1 - Terminology Related to Proofs and How to Write a Theorem

1.7.2 - Methods to Prove Theorems

1.7.3 - Mistakes in Proofs

1.8.1 - Exhaustive Proof by Cases

1.8.2 - Existence and Uniqueness Proofs

1.8.3 - Proof Strategies and Looking for Counter Examples

Chapter 3 - Algorithms

3.1.1 Introduction to Algorithms

3.1.2 Searching Algorithms

3.1.3 Sorting Algorithms

3.1.4 Greedy Algorithms

3.2.1 Introduction of Big O

3.2.2 Big O notation

3.2.3 Big O for some Important Functions

3.2.4 The Growth of a Combination of Functions

3.3.1 Time Complexity of Algorithms

3.3.2 Complexity of Matrix Multiplications

3.3.3 Algorithm Paradigms

3.3.4 Understanding the Complexity of Algorithms

Chapter 4 -

4.1.1 Division and Division Algorithm

4.1.2 Modular Arithmetics

4.1.3 Arithmetic Modulo m

4.2.1 Integer Representation and Algorithms

4.2.2 Algorithms for Integer Operations

4.2.3 Modular Exponentiation

4.3.1 Primes and Trial Division

4.3.2 The Sieve of Eratosthenes

4.3.3 Conjectures and Open Problems about Primes

4.3.4 Greatest Common Divisors and Least Common Multiples

4.3.5 The Euclidian Algorithm

4.3.6 GCDs as Linear Combinations

4.4.1 Linear Congruences

4.4.2 The Chinese Remainder Theorem

4.4.3 Fermat;s Little Theorem

4.4.4 Fermat'sLittle Theorem

4.4.5 Primitive roots and Discrete Logarithms

4.5.1 Hashing Function

4.5.2 Pseudorandom Numbers

4.5.3 Check Digits

1.4.6 - Using Quantifiers in Systems Specifications

Discrete Mathematics Chapter 1

By: Luc De Ceuster, MSc, PMP

12 minutes

Share the link to this page

Copied

Facebook

Twitter

Add the class to your calendar

Add to Google Calendar

Add to Apple Calendar

Add to Yahoo Calendar

Add to Outlook Calendar

Completed

You need to have access to the item to view this lesson.

One-time Fee

$9.99

List Price: $399.99

You save: $390

€8.50

List Price: €340.36

You save: €331.86

£7.38

List Price: £295.81

You save: £288.42

CA$13.64

List Price: CA$546.13

You save: CA$532.49

A$13.94

List Price: A$558.48

You save: A$544.53

S$12.71

List Price: S$509.21

You save: S$496.49

HK$78.23

List Price: HK$3,132.52

You save: HK$3,054.28

CHF 7.80

List Price: CHF 312.36

You save: CHF 304.55

NOK kr92.70

List Price: NOK kr3,711.72

You save: NOK kr3,619.02

DKK kr63.53

List Price: DKK kr2,543.71

You save: DKK kr2,480.18

NZ$16.89

List Price: NZ$676.57

You save: NZ$659.67

د.إ36.68

List Price: د.إ1,468.96

You save: د.إ1,432.27

৳1,226.70

List Price: ৳49,115.96

You save: ৳47,889.26

₹936.38

List Price: ₹37,492.02

You save: ₹36,555.64

RM39.48

List Price: RM1,580.96

You save: RM1,541.47

₦13,469.31

List Price: ₦539,298.51

You save: ₦525,829.20

₨2,787.52

List Price: ₨111,609.79

You save: ₨108,822.27

฿321.45

List Price: ฿12,870.87

You save: ฿12,549.42

₺448.77

List Price: ₺17,968.66

You save: ₺17,519.88

B$50.11

List Price: B$2,006.74

You save: B$1,956.63

R164.15

List Price: R6,572.63

You save: R6,408.48

Лв16.62

List Price: Лв665.70

You save: Лв649.07

₩14,775.68

List Price: ₩591,604.06

You save: ₩576,828.38

₪30

List Price: ₪1,201.41

You save: ₪1,171.40

₱600.64

List Price: ₱24,049.19

You save: ₱23,448.55

¥1,590.68

List Price: ¥63,689.40

You save: ¥62,098.72

MX$172.77

List Price: MX$6,917.93

You save: MX$6,745.15

QR36.44

List Price: QR1,459.26

You save: QR1,422.81

P134.03

List Price: P5,366.64

You save: P5,232.61

KSh1,290.20

List Price: KSh51,658.70

You save: KSh50,368.50

E£519.03

List Price: E£20,781.48

You save: E£20,262.45

ብር1,561.05

List Price: ብር62,503.29

You save: ብር60,942.23

Kz9,122.02

List Price: Kz365,237.26

You save: Kz356,115.24

CLP$8,915.47

List Price: CLP$356,967.07

You save: CLP$348,051.60

CN¥68.17

List Price: CN¥2,729.57

You save: CN¥2,661.39

RD$601.69

List Price: RD$24,091.13

You save: RD$23,489.44

DA1,321.91

List Price: DA52,928.31

You save: DA51,606.40

FJ$21.92

List Price: FJ$877.77

You save: FJ$855.85

Q76.40

List Price: Q3,059.35

You save: Q2,982.94

GY$2,091.60

List Price: GY$83,745.90

You save: GY$81,654.29

ISK kr1,222.37

List Price: ISK kr48,942.77

You save: ISK kr47,720.40

DH92.38

List Price: DH3,699.10

You save: DH3,606.71

L171.13

List Price: L6,852.11

You save: L6,680.97

ден524.13

List Price: ден20,985.98

You save: ден20,461.85

MOP$80.63

List Price: MOP$3,228.70

You save: MOP$3,148.06

N$163.57

List Price: N$6,549.53

You save: N$6,385.95

C$367.90

List Price: C$14,730.74

You save: C$14,362.83

रु1,494.90

List Price: रु59,854.68

You save: रु58,359.78

S/34.33

List Price: S/1,374.91

You save: S/1,340.57

K43.36

List Price: K1,736.17

You save: K1,692.81

SAR37.46

List Price: SAR1,500.20

You save: SAR1,462.73

ZK190.19

List Price: ZK7,615.27

You save: ZK7,425.07

L43.30

List Price: L1,733.79

You save: L1,690.49

Kč206.89

List Price: Kč8,284.03

You save: Kč8,077.13

Ft3,092.93

List Price: Ft123,838.34

You save: Ft120,745.40

SEK kr91.53

List Price: SEK kr3,664.83

You save: SEK kr3,573.30

ARS$13,733.46

List Price: ARS$549,874.72

You save: ARS$536,141.26

Bs69.08

List Price: Bs2,766

You save: Bs2,696.92

COP$35,706.57

List Price: COP$1,429,657.12

You save: COP$1,393,950.54

₡4,547.88

List Price: ₡182,092.94

You save: ₡177,545.05

L265.63

List Price: L10,635.92

You save: L10,370.28

₲63,574.67

List Price: ₲2,545,469.04

You save: ₲2,481,894.36

$U397.20

List Price: $U15,903.50

You save: $U15,506.30

zł36.09

List Price: zł1,445.30

You save: zł1,409.20

Already have an account? Log In

Discrete Mathematics

1.4.6 - Using Quantifiers in Systems Specifications

Sign Up

Sign Up

Share