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.6.2 - Rules of Inference for propositional Logic

Discrete Mathematics Chapter 1

By: Luc De Ceuster, MSc, PMP

13 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.47

List Price: €339.17

You save: €330.70

£7.39

List Price: £296.17

You save: £288.77

CA$13.69

List Price: CA$548.18

You save: CA$534.49

A$14.92

List Price: A$597.64

You save: A$582.71

S$12.83

List Price: S$513.98

You save: S$501.14

HK$77.69

List Price: HK$3,110.98

You save: HK$3,033.28

CHF 7.87

List Price: CHF 315.33

You save: CHF 307.45

NOK kr100.66

List Price: NOK kr4,030.38

You save: NOK kr3,929.72

DKK kr63.28

List Price: DKK kr2,533.69

You save: DKK kr2,470.41

NZ$17.11

List Price: NZ$685.12

You save: NZ$668.01

د.إ36.68

List Price: د.إ1,468.96

You save: د.إ1,432.27

৳1,220.48

List Price: ৳48,866.95

You save: ৳47,646.47

₹895.03

List Price: ₹35,836.42

You save: ₹34,941.38

RM40.58

List Price: RM1,625.15

You save: RM1,584.57

₦14,523.76

List Price: ₦581,517.46

You save: ₦566,993.70

₨2,788.46

List Price: ₨111,647.53

You save: ₨108,859.06

฿310.88

List Price: ฿12,447.55

You save: ฿12,136.67

₺427.85

List Price: ₺17,130.89

You save: ₺16,703.03

B$55.95

List Price: B$2,240.32

You save: B$2,184.37

R166.50

List Price: R6,666.50

You save: R6,500

Лв16.57

List Price: Лв663.75

You save: Лв647.17

₩14,799.47

List Price: ₩592,556.64

You save: ₩577,757.17

₪31.91

List Price: ₪1,277.78

You save: ₪1,245.86

₱587.57

List Price: ₱23,525.81

You save: ₱22,938.24

¥1,558.12

List Price: ¥62,385.76

You save: ¥60,827.63

MX$179.25

List Price: MX$7,177.20

You save: MX$6,997.94

QR36.38

List Price: QR1,457.01

You save: QR1,420.62

P131.29

List Price: P5,256.88

You save: P5,125.59

KSh1,287.71

List Price: KSh51,558.71

You save: KSh50,271

E£474.52

List Price: E£18,999.52

You save: E£18,525

ብር1,551.94

List Price: ብር62,138.44

You save: ብር60,586.50

Kz9,113.74

List Price: Kz364,905.43

You save: Kz355,791.69

CLP$9,081.81

List Price: CLP$363,627.27

You save: CLP$354,545.45

CN¥70.21

List Price: CN¥2,811.16

You save: CN¥2,740.95

RD$623.04

List Price: RD$24,946.29

You save: RD$24,323.24

DA1,295.04

List Price: DA51,852.16

You save: DA50,557.12

FJ$22.75

List Price: FJ$910.95

You save: FJ$888.20

Q76.52

List Price: Q3,064.17

You save: Q2,987.64

GY$2,089.53

List Price: GY$83,663.13

You save: GY$81,573.59

ISK kr1,252.04

List Price: ISK kr50,130.74

You save: ISK kr48,878.70

DH91.13

List Price: DH3,649.06

You save: DH3,557.92

L168.55

List Price: L6,748.65

You save: L6,580.10

ден521.65

List Price: ден20,886.64

You save: ден20,364.98

MOP$80.03

List Price: MOP$3,204.54

You save: MOP$3,124.50

N$166.28

List Price: N$6,658.05

You save: N$6,491.76

C$366.37

List Price: C$14,669.49

You save: C$14,303.11

रु1,428.09

List Price: रु57,179.52

You save: रु55,751.43

S/33.52

List Price: S/1,342.35

You save: S/1,308.83

K42.49

List Price: K1,701.39

You save: K1,658.90

SAR37.47

List Price: SAR1,500.31

You save: SAR1,462.84

ZK225.71

List Price: ZK9,037.40

You save: ZK8,811.69

L43.09

List Price: L1,725.63

You save: L1,682.53

Kč206.21

List Price: Kč8,256.45

You save: Kč8,050.24

Ft3,313.50

List Price: Ft132,669.56

You save: Ft129,356.06

SEK kr91.76

List Price: SEK kr3,674.28

You save: SEK kr3,582.51

ARS$14,502.97

List Price: ARS$580,685.08

You save: ARS$566,182.11

Bs68.93

List Price: Bs2,760.27

You save: Bs2,691.33

COP$37,824.17

List Price: COP$1,514,443.43

You save: COP$1,476,619.26

₡4,978.70

List Price: ₡199,342.50

You save: ₡194,363.80

L262.42

List Price: L10,507.13

You save: L10,244.71

₲67,259.03

List Price: ₲2,692,987.21

You save: ₲2,625,728.17

$U390.14

List Price: $U15,621.10

You save: $U15,230.95

zł35.81

List Price: zł1,434.03

You save: zł1,398.21

Already have an account? Log In

Discrete Mathematics

1.6.2 - Rules of Inference for propositional Logic

Sign Up

Sign Up

Share