Ivan's Cool Obsidian Vault

Tag: computer-science

107 items with this tag.

Feb 06, 2026
Nondeterminism, Closure Properties, Conversion of Regular Expressions to FA
- computer-science
Feb 06, 2026
Pushdown Automata, Conversion of CFG to PDA and Reverse Conversion
- computer-science
Feb 06, 2026
Mutexes
- computer-science
- computer-architecture
Feb 06, 2026
Haskell
- computer-science
- haskell
Feb 06, 2026
Lists
- computer-science
- haskell
Feb 06, 2026
Recursion
- computer-science
- haskell
Jan 21, 2026
Finite Automata & Regular Expressions
- computer-science
Jan 19, 2026
Day 3
- computer-science
Jan 13, 2026
Day 2
- computer-science
Jan 13, 2026
Day 2
- computer-science
Jan 13, 2026
Day 1
- computer-science
Jan 13, 2026
Day 2
- computer-science
Jan 13, 2026
Day 3
- computer-science
Jan 13, 2026
Day 1
- computer-science
Jan 07, 2026
Day 1
- computer-science
Jan 07, 2026
Day 1
- computer-science
Dec 16, 2025
Day 1
- computer-science
Dec 16, 2025
Day 1
- computer-science
- software-engineering
Dec 16, 2025
Graphs Intro
Dec 16, 2025
Merge Two Sorted Lists
Dec 16, 2025
Reverse Linked List
Dec 16, 2025
Invert Binary Tree
Sep 21, 2025
Climbing Stairs
Sep 21, 2025
Backtracking Intro
Sep 21, 2025
Count Square Submatrices with All Ones
Sep 21, 2025
Course Schedule II
Sep 21, 2025
Course Schedule
Sep 21, 2025
Top K Frequent Words
Sep 21, 2025
Number of Islands
Sep 21, 2025
Remove Nth Node From End of List
Sep 21, 2025
Generate Parentheses
Sep 15, 2025
Combination Sum
Sep 15, 2025
Heaps Intro
Sep 15, 2025
Day 1
- computer-science
Sep 15, 2025
Chapter 1.2
- computer-science
- abstraction
Sep 15, 2025
Lecture 01
- computer-science
- school
Sep 15, 2025
Lecture 02
- computer-science
- computer-architecture
Sep 15, 2025
Lecture 03
- computer-science
- computer-architecture
Sep 15, 2025
Lecture 04
- computer-science
- computer-architecture
Sep 15, 2025
Chapter 1
- computer-science
- computer-systems
Sep 15, 2025
Lecture 01
Sep 15, 2025
Lecture 02
- computer-science
- computer-systems
Sep 15, 2025
Lecture 03
- computer-science
- computer-systems
Sep 15, 2025
Lecture 04
- computer-science
- computer-systems
Sep 15, 2025
Lecture 05
- computer-science
- computer-systems
Sep 15, 2025
Lecture 06
- computer-science
- computer-systems
Sep 15, 2025
Lecture 07
- computer-science
- computer-systems
Sep 15, 2025
Lecture 08
- computer-science
- computer-systems
Sep 15, 2025
Lecture 09
- computer-science
- computer-systems
Sep 15, 2025
Lecture 20
- computer-science
- computer-systems
Sep 15, 2025
Day 0
- computer-science
Sep 15, 2025
Day 3
- computer-science
Sep 15, 2025
1.1 Introduction to Sets
- computer-science
- discrete-math
Sep 15, 2025
1.2 The Cartesian Product
- computer-science
- discrete-math
Sep 15, 2025
1.3 Subsets
- computer-science
- discrete-math
Sep 15, 2025
1.4 Power Sets
- computer-science
- discrete-math
Sep 15, 2025
1.5 Union, Intersection, Difference
- computer-science
- discrete-math
Sep 15, 2025
1.6 Complement
- computer-science
- discrete-math
Sep 15, 2025
1.8 Indexed Sets
- computer-science
- discrete-math
Sep 15, 2025
1.9 Sets That Are Number Systems
- computer-science
- discrete-math
Sep 15, 2025
11.1 Relations
- computer-science
- discrete-math
Sep 15, 2025
11.2 Properties of Relations
- computer-science
- discrete-math
Sep 15, 2025
12.1 Functions
- computer-science
- discrete-math
Sep 15, 2025
12.2 Injective and Surjective Functions
- computer-science
- discrete-math
Sep 15, 2025
2.1 Statements
- computer-science
- discrete-math
Sep 15, 2025
2.10 Negating Statements
- computer-science
- discrete-math
Sep 15, 2025
2.11 Logical Inference
- computer-science
- discrete-math
Sep 15, 2025
2.2 And, Or, Not
- computer-science
- discrete-math
Sep 15, 2025
2.3 Conditional Statements
- computer-science
- discrete-math
Sep 15, 2025
2.4 Biconditional Statements
- computer-science
- discrete-math
Sep 15, 2025
2.6 Logical Equivalence
- computer-science
- discrete-math
Sep 15, 2025
2.7 Quantifiers
- computer-science
- discrete-math
Sep 15, 2025
3.1 Lists
- computer-science
- discrete-math
Sep 15, 2025
3.2 The Multiplication Principle
- computer-science
- discrete-math
Sep 15, 2025
3.3 The Addition and Subtraction Principles
- computer-science
- discrete-math
Sep 15, 2025
3.4 Factorials and Permutations
- computer-science
- discrete-math
Sep 15, 2025
3.5 Counting Subsets
- computer-science
- discrete-math
Sep 15, 2025
3.6 Pascal’s Triangle and the Binomial Theorem
- computer-science
- discrete-math
Sep 15, 2025
4.1 Theorems
- computer-science
- discrete-math
Sep 15, 2025
4.2 Definitions
- computer-science
- discrete-math
Sep 15, 2025
4.3 Direct Proof
- computer-science
- discrete-math
Sep 15, 2025
4.4 Using Cases
- computer-science
- discrete-math
Sep 15, 2025
4.5 Treating Similar Cases
- computer-science
- discrete-math
Sep 15, 2025
5.1 Contrapositive Proof
- computer-science
- discrete-math
Sep 15, 2025
5.2 Congruence of Integers
- computer-science
- discrete-math
Sep 15, 2025
5.3 Mathematical Writing
- computer-science
- discrete-math
Sep 15, 2025
6.1 Proving Statements with Contradiction
- computer-science
- discrete-math
Sep 15, 2025
6.2 Proving Conditional Statements by Contradiction
- computer-science
- discrete-math
Sep 15, 2025
6.3 Combining Techniques
- computer-science
- discrete-math
Sep 15, 2025
7.1 If-and-Only-If Proof
- computer-science
- discrete-math
Sep 15, 2025
7.2 Equivalent Statements
- computer-science
- discrete-math
Sep 15, 2025
7.3 Existence Proofs; Existence and Uniqueness Proofs
- computer-science
- discrete-math
Sep 15, 2025
7.4 Constructive Versus Non-Constructive Proofs
- computer-science
Sep 15, 2025
8.1 How to Prove a ∈ A
- computer-science
- discrete-math
Sep 15, 2025
8.2 How to Prove A ⊆ B
- computer-science
- discrete-math
Sep 15, 2025
8.3 How to Prove A = B
- computer-science
- discrete-math
Sep 15, 2025
9.1 Counter Examples
- computer-science
- discrete-math
Sep 15, 2025
9.2 Disproving Existence Statements
- computer-science
- discrete-math
Sep 15, 2025
9.3 Disproof by Contradiction
- computer-science
- discrete-math
Sep 15, 2025
Get Requests
Sep 15, 2025
Initialization
Sep 15, 2025
Post Requests
Sep 15, 2025
Query Params
Sep 15, 2025
Route Params
Sep 15, 2025
Arrays
Sep 15, 2025
Objects
Sep 15, 2025
Linked List Intro

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community