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…