0(0)

An Introduction to Proving in Algorithmics

  • Course level: Intermediate
  • Total Enrolled 1
  • Last Update May 19, 2020

About Course

excerpt

Description

test bla text intro.

Topics for this course

4 Lessons

Lesson 1: Arguing, Explaining, Proving.

The different between Arguing, Explaining, and Proving.
Exercises Arguing, Explaining, Proving
Bonus exercises.
An introduction to proving00:00:00

Lesson 2: Implication, bi-implication, and deriving true statements.

Lesson 3: Logical reasoning in textual proofs.

Lesson 4: Basic proving structures.

Placeholder
Free