# 21 posts tagged with "math"

### proving correctness of algorithms

#### 07/02/2023 13:20 | Category: algorithms

##### Tags: mathformal_proofs

Inspection of algorithms that produce the correct behavior over a…

### mathematical analysis of algorithms

#### 07/02/2023 13:13 | Category: algorithms

##### Tags: mathbig-obig-thetabig-omega

Using big-O, theta, and omega notations to analyze time…

### asymptotic notation of algorithms

#### 07/02/2023 12:54 | Category: algorithms

##### Tags: mathbig-obig-thetabig-omega

Asymptotic is the behavior of a line as itt approaches a curve but…

### analysis of algorithms

#### 07/02/2023 11:49 | Category: algorithms

##### Tags: mathbig-o

Analyzing algorithms comes in a set of steps, followed by some mathematical…

### strong mathematical induction

#### 04/29/2022 20:29 | Category: discrete math

##### Tags: mathmathematical_induction

The strong form of mathematical induction allows us to assume the…

### weak mathematical induction

#### 04/26/2022 20:01 | Category: discrete math

##### Tags: mathmathematical_induction

Weak mathematical induction is a proof technique designed to prove…

### direct proof method

#### 04/12/2022 18:21 | Category: discrete math

##### Tags: mathdirect_proof

A straightforward approach to establish theorems that doesn't require knowledge…

### closed form formulas for summation of sequences

#### 04/06/2022 20:32 | Category: discrete math

##### Tags: mathsummationssequencesclosed_form_formulas

There are quite a few useful closed form formulas…

### summations in discrete math

#### 04/06/2022 20:06 | Category: discrete math

##### Tags: mathsummations

An important operation in numerical sequences is adding terms. This is…

### sequences in discrete math

#### 04/06/2022 19:51 | Category: discrete math

##### Tags: mathsequences

Sequences Sequence - A discrete structure used to represent an ordered…

### shorthand for domains in math

Domain shorthand can be tricky. This is a quick breakdown: D = Domain…

### negations and variants of quantified statements

#### 04/05/2022 20:53 | Category: discrete math

##### Tags: mathquantified_statements

Negation of a universal statement A universal…

### logic of quantified statements

#### 04/05/2022 19:38 | Category: discrete math

##### Tags: mathquantified_statements

The idea of a quantifier is that it expresses how many of the values…

### necessary and sufficient conditions in logic statements

#### 04/01/2022 18:45 | Category: discrete math

##### Tags: mathlogic_statements

Searching for precise definitions is…

### variants of conditional statements

#### 04/01/2022 18:05 | Category: discrete math

##### Tags: mathconditional_statements

Statements can have conditional relationships that are true in…

### logic of conditional statements

#### 04/01/2022 17:38 | Category: discrete math

##### Tags: mathconditional_statements

Conditional statements are a foundation of building logic. The "if…

### logical equivalence with laws

#### 03/31/2022 20:56 | Category: discrete math

##### Tags: mathlogical_equivalence

We can explain logical equivalence using predetermined known truths…

### truth tables for logical equivalence

#### 03/31/2022 20:20 | Category: discrete math

##### Tags: mathtruth_tableslogical_equivalence

Logical equivalence Examples: The grass is green and the sky is…

### logic of compound statements

#### 03/31/2022 19:46 | Category: discrete math

##### Tags: mathcompound_statements

Logic is precise rather than ambiguous like natural languages. These…

### how many BSTs from n elements

#### 06/20/2021 12:43 | Category: dsa

##### Tags: binary_search_treetreesmath

When determining the number of BSTs that can be formed from "n…

### Recursion Introduction

recursion introduction Recursion is often used in CS to traverse things in data structures…