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.1.1 - Introduction to Propositional Logic

Discrete Mathematics Chapter 1

By: Luc De Ceuster, MSc, PMP

5 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

€9.49

List Price: €380.17

You save: €370.68

£7.90

List Price: £316.64

You save: £308.74

CA$13.95

List Price: CA$558.75

You save: CA$544.80

A$15.34

List Price: A$614.25

You save: A$598.91

S$13.42

List Price: S$537.63

You save: S$524.21

HK$77.75

List Price: HK$3,113.13

You save: HK$3,035.38

CHF 8.82

List Price: CHF 353.49

You save: CHF 344.66

NOK kr110.42

List Price: NOK kr4,421.17

You save: NOK kr4,310.75

DKK kr70.82

List Price: DKK kr2,835.71

You save: DKK kr2,764.89

NZ$17.03

List Price: NZ$681.87

You save: NZ$664.84

د.إ36.69

List Price: د.إ1,469.16

You save: د.إ1,432.47

৳1,194.82

List Price: ৳47,839.66

You save: ৳46,644.83

₹844.47

List Price: ₹33,812.15

You save: ₹32,967.67

RM44.60

List Price: RM1,785.95

You save: RM1,741.35

₦16,789.09

List Price: ₦672,219.19

You save: ₦655,430.10

₨2,779.48

List Price: ₨111,287.87

You save: ₨108,508.38

฿346.34

List Price: ฿13,867.25

You save: ฿13,520.91

₺345.17

List Price: ₺13,820.38

You save: ₺13,475.21

B$58.04

List Price: B$2,324.14

You save: B$2,266.09

R181.07

List Price: R7,250.02

You save: R7,068.94

Лв18.56

List Price: Лв743.48

You save: Лв724.91

₩13,998.07

List Price: ₩560,469.57

You save: ₩546,471.49

₪37.30

List Price: ₪1,493.76

You save: ₪1,456.46

₱590.04

List Price: ₱23,625

You save: ₱23,034.96

¥1,542.48

List Price: ¥61,759.49

You save: ¥60,217.01

MX$203.24

List Price: MX$8,137.61

You save: MX$7,934.37

QR36.46

List Price: QR1,459.84

You save: QR1,423.38

P136.58

List Price: P5,468.90

You save: P5,332.31

KSh1,291.20

List Price: KSh51,698.70

You save: KSh50,407.50

E£496

List Price: E£19,859.74

You save: E£19,363.73

ብር1,246.57

List Price: ብር49,911.62

You save: ብር48,665.05

Kz9,114.15

List Price: Kz364,921.80

You save: Kz355,807.65

CLP$9,728.46

List Price: CLP$389,518.26

You save: CLP$379,789.80

CN¥72.34

List Price: CN¥2,896.60

You save: CN¥2,824.26

RD$603.04

List Price: RD$24,145.15

You save: RD$23,542.11

DA1,334.56

List Price: DA53,434.58

You save: DA52,100.02

FJ$22.67

List Price: FJ$908.05

You save: FJ$885.37

Q77.18

List Price: Q3,090.44

You save: Q3,013.25

GY$2,091.82

List Price: GY$83,754.46

You save: GY$81,662.64

ISK kr1,381.61

List Price: ISK kr55,318.61

You save: ISK kr53,937

DH99.88

List Price: DH3,999.21

You save: DH3,899.33

L181.91

List Price: L7,283.83

You save: L7,101.92

ден584.28

List Price: ден23,394.07

You save: ден22,809.79

MOP$80.16

List Price: MOP$3,209.57

You save: MOP$3,129.41

N$181.34

List Price: N$7,260.98

You save: N$7,079.63

C$367.92

List Price: C$14,731.42

You save: C$14,363.49

रु1,349.56

List Price: रु54,035.31

You save: रु52,685.75

S/37.94

List Price: S/1,519.20

You save: S/1,481.25

K40.25

List Price: K1,611.57

You save: K1,571.32

SAR37.50

List Price: SAR1,501.66

You save: SAR1,464.15

ZK276.70

List Price: ZK11,078.90

You save: ZK10,802.20

L47.25

List Price: L1,891.91

You save: L1,844.66

Kč240.56

List Price: Kč9,632.15

You save: Kč9,391.59

Ft3,904.38

List Price: Ft156,327.65

You save: Ft152,423.27

SEK kr110.19

List Price: SEK kr4,411.93

You save: SEK kr4,301.74

ARS$10,017.29

List Price: ARS$401,082.73

You save: ARS$391,065.44

Bs69.23

List Price: Bs2,772.21

You save: Bs2,702.98

COP$44,091.60

List Price: COP$1,765,385.62

You save: COP$1,721,294.01

₡5,077.43

List Price: ₡203,295.51

You save: ₡198,218.07

L252.65

List Price: L10,116.23

You save: L9,863.57

₲78,302.79

List Price: ₲3,135,168.47

You save: ₲3,056,865.68

$U427.42

List Price: $U17,113.49

You save: $U16,686.07

zł41.28

List Price: zł1,652.91

You save: zł1,611.62

Already have an account? Log In

Discrete Mathematics

1.1.1 - Introduction to Propositional Logic

Sign Up

Sign Up

Share