StrixTheKiet Notes
Search
Search
Search
Dark mode
Light mode
Explorer
Accounting & Business
FinAcct
Audit
Balance Sheet
Basic Accounting Equation
Dual Effect on the accounting equation
Financial Accounting
Generally Accepted Accounting Principles
Income Statement
International Financial Reporting Standards
Journal Entry
Operating Activity
Statement of Cash Flows
Statement of Stockholders' Equity
T-Account form
Accounting
Accrual Basis Accounting
Business
Cash Basis Accounting
Financial Statement
Managerial Accounting
CompSci
ArtificialIntelligence
Agent
multi
Depth Limiting Search
Evaluation Function
Expectimax Search
Expectiminimax Search
Metareasoning
Minimax search
Multi-agent
Solving Zero-sum Game for Multi-agent
Terminal State
Zero Sum Game
search
csp
Backtracking Search
Constraint Satisfaction Graph
Graph Search
Iterative Algorithm for CSP
Local Search for CSP
A*
A* Search
Breath First Search
Constraint Satisfaction Problem
Depth First Search
Fringe
Greedy Algorithm
Heuristic Function
Iterative Deepening
Monte Carlo Tree Search
Search Problem
Successor Function
Tree Search
Uniform Cost Search
World State
AI Agent
Markov Decision Process
Planning Agent
Rational Agent
Reflex Agent
State Space
Turing Test
ML
Generative
Generative AI
Retrieval-Augmented Generation
markov
Hidden Markov Models
Models
Classification Model
Fitting
Logistic regression
Model-based Classification
Naive Bayes Net
Unsupervised learning
neural net
Bayes's Net
Decision Network
Inference from Distributions
Neural Network
Sample in Bayes' Net
reinforcement
Active Reinforcement Learning
Direct Evaluation
Exponential Moving Average in RL
Model-based Reinforcement Learning
Model-free Reinforcement Learning
Passive Reinforcement Learning
Policy Evaluation
Q-learning
Temporal Difference Learning
Binary Classification with Linear Models
Decision Tree
Deep Learning
Generative AI
Gradient Descent
Large Language Model
Linear Classifier
Machine Learning
Model evaluation
Multi-class Classification
Nearest Neighbor for Classification
Particle Filtering
Perceptron Training
Prior Sampling
Reinforcement Learning
Robot Localization
Sigmoid Function
Spam Email Filter
Supervised Learning
Artificial Intelligence
Entropy
Backend
Database
Redis
Redis
SQL
MySQL
aggregated function
Aggregated functions
AVG()
COUNT()
clauses
Common table expression
JOIN clause
ON clause
WITH clause
optimization
GROUP BY optimization
HAVING clause
Optimizing SELECT Statements
Optimizing SQL statements
ORDER BY optimization
WHERE clause optimization
statements
DELETE statement
DESCRIBE statement
EXPLAIN statement
INSERT statement
MySQL data definition statement
MySQL data manipulation statements
MySQL database administration statement
SELECT statement
SHOW statement
SHOW TABLES statement
SQL statements
UPDATE statement
USE statement
MySQL 8.2
SQL
SQL Subqueries
Terms
Database
Database design
Entity-relationship model
ER model entity
ER model entity instance
ER model relationship
Foreign key
Many-to-many relationship
One-to-many relationship
One-to-one relationship
Primary key
Strong entity
Weak entity
Types of storage
block
Blob
Block storage
Bucket
File storage
NoSQL
Object Storage
Vector database
Apache Hadoop
Disk
Hadoop Distributed File System
Deployments
CICD
CICD
Blue Green Deployment
Canary Deployment
Frontend
Frontend
K8s
cli
kubectl
kubectl apply
kubectl autoscale
kubectl cluster-info
kubectl config
kubectl cordon
kubectl create
kubectl describe
kubectl drain
kubectl exec
kubectl explain
kubectl expose
kubectl get
kubectl logs
kubectl run
kubectl scale
kubectl top
Control Plane
etcd
K8s Cluster
K8s Deployment
K8s Horizontal Pod Autoscaling
K8s Node
K8s pod
K8s ReplicaSet
K8s service
K8s StatefulSets
K8s Vertical Pod Autoscaler
kube-apiserver
kube-cloud-manager
kube-controller-manager
kube-proxy
kube-scheduler
Kubernetes
Kubernetes Namespaces
kublet
WSL
Windows Subsystem for Linux
Backend
Deployment
Site Reliability Engineering
CloudComputing
Ansible
Ansible
Ansible Collection
Ansible Inventory
Ansible Module
Ansible Playbook
Ansible Plugin
Google Namespace in Ansible
Azure
App service
Azure App Service
Azure App Service Domain
Azure App Service Plan
Azure Web App Slot
Compute
Azure Availability Set
Azure Compute services
Azure Function App
Azure Kubernetes Service
Azure Site Recovery
Azure Virtual Desktop
Azure Virtual Desktop services
Azure Virtual Machine
Azure Virtual Machine Scale Set
Container
Container app
Azure Container App
Azure Container Instance
Azure Container services
Identity
Entra
Azure Identity
Azure Identity services
Azure Tenant
Microsoft 365 Group
Microsoft Entra Account
Microsoft Entra ID
Microsoft Entra Self-Service Password Reset
Azure Entra ID Licensing
Azure Role Based Access Control
Azure Security Group
Azure Security Principal
Azure Service Principal
Management
Policy
Azure Initiative Definition
Azure Policy
Azure Account
Azure Backup Center
Azure Cloud Shell
Azure Cost Management & Billing
Azure Management & Governance services
Azure Monitor services
Azure Recovery Services Vault
Azure Resource Manager
Azure Resource Manager Template
Monitoring
Azure Activity Log
Azure Monitor
Network
PrivateLInk
Azure Private Link
Azure Application Gateway
Azure Application Security Group
Azure Bastion
Azure DNS
Azure DNS Zone
Azure ExpressRoute Circuit
Azure Load Balancer
Azure Network Interface Card
Azure Network Security Group
Azure Network Security Rule
Azure Network Watcher
Azure Networking services
Azure Private DNS Zone
Azure Route Table
Azure Virtual Network
Azure Virtual Network Gateway
Azure Virtual Network Peering
security
Azure Key Vault
storage
storage account
Azure Append Blob
Azure Blob
Azure Block Blob
Azure Page Blob
Azure Shared Access Signature
Azure Storage Account
Azure Storage Container
Azure Data Box
Azure Data Lake Storage
Azure File Shares
Azure Security services
Azure Storage Explorer
Azure Storage Services
Azure Storage Sync
terms
Azure Management Group
Azure Resource
Azure Resource Group
Azure Subscription
zTools
Azure Bicep
Azure CLI
Azure PowerShell
Microsoft Azure
Microsoft Azure Services
GCP
Products
1. management
CloudIAM & Admin
Cloud IAM & Admin
GCP Folder
GCP Organization
GCP Principal
GCP project
GCP Role
GCP Service Account
GCP tag
Google group
Cloud APIs & Services
GCP Billing
Google Cloud management products
2. compute
ComputeEngine
Compute Engine
Compute Engine Image
Compute Engine Machine image
Compute Engine Managed Instance Group
Compute Engine Setting
Compute Engine Storage
GCP Health Check
GCP Instance Template
GCP Network Endpoint Group
GCP Virtual machines
GKE
Kubernetes Engine
Anthos
Google Cloud compute product
VMware Engine
3. storage
Cloud storage
GCP Access Control List
Google Cloud Storage
Storage transfer
Storage Transfer
Filestore
Google Cloud storage product
4. analytics
bigquere
BigQuery
Cloud Pub-Sub
Data Fusion
Dataflow
Dataplex
Dataprep
Dataproc
Google Cloud analytics product
Looker
5. networking
Network security
Cloud Armor
GCP Firewall
GCP NAT
GCP Network Security
Network services
Cloud CDN
Cloud DNS
GCP Load Balancing
GCP Network Services
VPC
GCP Virtual Private Cloud
Private Google Access
GCP Carrier Peering
GCP Connectivity
GCP Dedicated Interconnect
GCP Network Intelligence
GCP Network Peering
GCP Partner Interconnect
GCP Virtual Private Network
Google Cloud networking product
High Availability Virtual Private Network
6. distributed cloud
Transfer Appliance
7. serverless
App Engine
App Engine
CloudFunctions
Google Cloud Functions
CloudRun
Cloud Run
GCP Endpoints
Google Cloud serverless product
8. databses
Firestore
Firestore
AlloyDB
Bigtable
Cloud Spanner
Cloud SQL
GCP Database Migration
GCP Memorystore
Google Cloud database product
9. operation
Logging
GCP Audit Log
GCP Log Bucket
GCP Log Sink
Logging Query Language
monitor
Cloud Monitoring
GCP Alert Policy
GCP Scoping Project
Monitoring Query Language
Promthesus
Cloud Logging
Cloud Profiler
Cloud Trace
Error Reporting
Google Cloud operation product
10. security
Security
GCP IAP
GCP Security
Cloud External Key Manager
Cloud Key Management Service
GCP Data Loss Prevention
Google Cloud security product
11. CICD
CloudBuild
Cloud Build
Artifact Registry
Cloud Source Repositories
Container Registry
Google Cloud CI-CD product
12. ai
Google Cloud AI product
13. Integration services
Apigee
Google Cloud Integration service product
14. tools
GCloud Identity Platform
GCP Identity Platform
GCP Deployment Manager
GCP Marketplace
Google Cloud tool product
Google Cloud Console
Google Cloud product
Google Cloud Shell
Google Cloud Platform
Terraform on GCP
Terms
CaaS
Cold Start
FaaS
IaaS
Identity and Access Management
Infrastructure as Code
PaaS
SaaS
Service Endpoint
Service Level Agreement
Terraform
CLI
terraform apply
Terraform CLI
terraform import
terraform init
terraform plan
terraform refresh
terraform refresh 1
terraform show
terraform state
terraform state 1
Terraform
Terraform Backend
Terraform Config File
Terraform State
Viettel
Viettel Cloud
Cloud Computing
CompSys
Binary
logic
1-bit Full Adder
4-bit Full Adder
AND Gate
Bit Shifter
Decoder
Encoder
Logic Gate
Multiplexer
NAND Gate
NOT Gate
Universal Gate
Binary Code
Digital Logic Design
Field-Effect Transistor
Most Significant Bit
Number Representation with Binary
Signed Magnitude Representation
Two's Complement
Circuits
Central Processing Unit
Clock
Combinational Circuit
D Flipp Flop
Instruction Set Architecture
Karnaugh Map
Mealy Finite State Machine
Moore Finite State Machine
Register
Register File
Sequential Circuit
State Encoding in Circuit
Transistor
compilation
Assembler
Compilation Process
Compiler
Dynamic Link Library
Linker
Loader
Object File
Static Link Library
hardward
Arithmetic Logic Unit
Complementary Metal-Oxide Semiconductor
Cycle Per Instruction
Race Condition
Uninterruptible Power Supply
IO
Bus
Direct Memory Access
Exception
Input Output Devices
Interuption
Memory
Cache
Cache Coherency
Cache Memory
DRAM
excal_dm_cache
Memory
Memory Swap
Memory-management Unit
Paging
Principle of Locality
RAM
ROM
SRAM
Translation Lookaside Buffer
Virtual Memory
Virtual Page Number
multicore
Amdahl's Law
Instruction Level Parallelism
Multi-threading
Multicore
Thread Level Parallelism
OS
CPU Scheduler
CPU Scheduler
Round Robin
Linux
bash
commands
Bash shell builtin command
cd command
export command
help command
man command
source commad
bash
CLI
packages
acl
acl package
getfacl command
setfacl command
adduser
adduser command
adduser package
apt
apt command
coreutils
cat command
chgrp command
chmod command
chown command
coreutils - Basic operations
coreutils - Directory listing
coreutils - Working context
coreutils package
cp command
id command
ln command
ls command
mkdir command
mv command
pwd command
stat command
tail command
touch command
who command
dpkg
dpkg command
esp2
chattr command
e2fsprogs package
lsattr command
file
file command
file package
iproute2
iproute2 package
passwd
chage command
passwd command
passwd package
useradd command
userdel command
usermod command
pksec
pkexec command
pkexec package
psmisc
killall command
psmisc package
sudo
sudo command
sudo package
visudo command
wget
wget command
z_other
cpio command
createrepo command
curl command
dd command
debianutils package
dnf command
echo command
find command
findutils package
gzip command
head command
lastlog command
locate command
printf command
procps package
rm command
rmdir command
rpm command
sort command
su command
tar command
tee command
tr command
umask command
updatedb command
wc command
which command
xargs command
yum command
grep command
tools
iputils
iputils
ping command
Advaned Package Tool
crontab
Command Line Interface
ip addr command
ip command
ip link command
less command
Nano
shutdown command
tree command
Vim
Access Control List
Filesystem Hierarchy Standard
Index Node
Linux Kernel
Set Group ID Bit
Set User ID Bit
Sticky Bit
Ubuntu
C for Process and Thread Management
Deadlock
Disk Partition
Inter-Process Communication
Kernel
Mastering Ubuntu Server
Monitor
Mutex Lock
Operating System
OS Process
Process Synchronization
Semaphore
Thread
Computer System
Moore's Law
Program Counter
Crypto
Caesar cipher
Cryptography
Fermat's last theorem
Key space
Known-plaintext attack
Message space
One-time pad
Private key
Private key cryptography
Public key
Public-key cryptography
RSA cryptosystem
Turing's code
Dev platform
Software
Test
Testing
Unit Test
Agile methodology
Client-server design pattern
Conway's law
Domain requirement
Functional Requirement
Incremental model
Iterative refinement model
Key Performance Indicator
Layered architecture
Microservices
Model-view controller
Non-functional requirement
Principle of least privilege
Project plan
Pub-Sub
Repository design pattern
Requirement engineering
Scrum methodology
Service Level Indicator
Service Level Objective
Software
Software Design Pattern
Software development methodology
Software development process
Waterfall model
12 Factors App
Dev
Frontend
Frontend
Network
attack
DDoS attack
protocol
application
HTTP(s)
Server Message Block
Border Gateway Protocol
Internet Control Message Protocol
Internet protocol suite
IPsec
Network File System
Open Systems Interconnection Model
QUIC
Remote Desktop Protocol
Secure Shell
Secure Sockets Layer
Transmission Control Protocol
Transport Layer Security
REST
REST
security
Firewall rule
server
API proxy
CDN
Edge caching
Load balancing
terms
Carrier-Grade Network Address Translation
Classless Inter-Domain Routing
Domain naming service
Firewall
Fully Qualified Domain Name
IP address
IPv4 address
Network Address Translation
Network Interface
Network Route
Private IP Address
Public IP Address
RFC 1918
Route Table
Router
Subnet
User-defined Route
Virtual private cloud
Network
programming
Algorithm
divide
Closest Pair of Points
Divide and Conquer
Dynamic Programming
Dynamic Programming
Subset Sum Problem
greedy
Coin Changing Problem
Dijkstra's Shortest Path Algorithm
Interval Partitioning Problem
Interval Scheduling Problem
Knapsack Problem
Minimize Lateness Problem
network flow
Network Flow
Notations
Big O Notation
Big Omega Notation
Big Theta Notation
Efficient Algorithm
Space Complexity
Time Complexity
NP
Computational Intractability
Independent Set
P vs NP Problem
sorting
Merge Sort
Quick Sort
Algorithm Design
Approximation Algorithm
Circuit Satisfiability Problem
Divide and Conquer
Gale Shapley Algorithm
Hall's Marriage Theorem
Huffman Encoding
Merge Sort
Minimum Spanning Tree
Quick Sort
Stable Matching Problem
Languages
Assembly
Assembly Language
RISC-V
RISC-V Calling Convention
RISC-V Data Pipelining
C
C
C Identifier
C Type Specifiers
printf Function
Python
PyTest
Python
Swift
Swift 5.9
Swift Int
Java
Programming
terms
Declarative Programming
Functional programming language
Imperative Programming
Procedural programming language
Parallel Programming
Tool
git 2.42.0
git categories
basic snapshotting
git add
git basic snapshotting
git commit
branching and mergin
git branch
git branching and merging
git checkout
git merge
getting and creating projects
git clone
patching
git patching
git rebase
git cherry-pick
git fetch
git hash
git log
git pull
git relative refs
git reset
git revert
git sharing and updating project
Setup and Config
terms
git HEAD
Repository
git
Git synopsis
Github
UML
Behaviour diagram
Component diagram
Deployment diagram
PlantUML
Structure diagram
UML Diagram
Use case diagram
CompSci tool
PowerShell
Powershell cmdlet
Swagger
Virtual
Container
Container
Docker
CLI
docker build
Docker CLI
docker image command
docker network command
docker ps
docker push
docker run
Containerd
Docker
Docker container
Docker image
Dockerfile
Dockerfile ADD
Dockerfile FROM
Dockerfile RUN
VM
Hypervisor
Machine Image
Virtual Machine
Boot disk image
Container-based Virtualization
Kernel-based Virtual Machine
Proxmox
virtualenv
Virtualization
Computer Science
Edge Computing
Marketing
Marketing
Maslow's Hierarchy of needs
Math
Calculus
Cal2
Jacobian determinant
Partial Derivative
derivative
Lagrange Multipliers
integration
Integration by parts
Multiple integral
Calculus 1
Calculus 2
Jacobian determinant
Complex
Complex Conjugate
Complex Number
Complex Root of Unity
Complex Scalar Product
de Moivre's Theorem
Discrete
1. Sets and Proofs
Cartesian product
Complement operation
Direct proof
Indirect proof
Non-constructive proof of existence
Ordered tuples
Proof by cases and examples
Proof by contradiction
Proof by contrapositive
Proof techniques
Russell's paradox
Set
Set theory
String
2. Functions and relations
Bijective Function
Function
Injective function
Relation
Surjective function
3.
Addition modulo operation
Arithmetic modulo
Commutative group
Divisibility
Euclid & GCD algorithm
Extended Euclidean algorithm
Greatest common divisor
Induction principle
Infinite descent principle
Multiplication modulo
Strong induction principle
Well ordering principle
4.
Chinese remainder theorem
Congruent modulo
Euler function
Euler's theorem
Fermat's little theorem
Modular arithmetic
Number theory
Prime number
7
Automata Theory
Deterministic Finite-state Automata
Finite State Machine
Nondeterministic Finite-state Automata
graph
Bipartite Graph
Chromatic Number
Complete Graph
Cycle
Directed graph
Edge
Euler Cycle
Euler Path
Graph
Graph Coloring
Graph Cutset
Graph for Machine Learning
Graph isomorphism
Graph representation
Hamilton Cycle
Hamilton Path
Kruskal's Algorithm
Matching
Messag Passing Scheme
Path
Planar Graph
Prim's Algorithm
Tree
Undirected graph
Vertex
Binpacking Problem
Discrete Math
Linear Algebra
approximation
Least Square Data Fitting
Low-rank Approximation
decomposition
Jordan Block
Jordan Decomposition
function
Linear Function
Map
Regression Model for Vector
Vector Function
Visualizing Data by Projection
leastsquare
Constrained Least Square
Least Square
Least Square Classification
Multi-objective Least Square
Singular Value Decomposition
matrix
Diagonal Matrix
Dyad
Eigenvalue
Eigenvector
Frobernius Norm
Gram-Schmidt Algorithm
Latent Semantic Analysis
Linear System of Equations
Matrix
Matrix Completion
Matrix Norm
Operator Norm
Orthogonal Matrix
Orthogonal-triangular Decomposition
Positive Semi-definite Matrix
Recommendation System
Spectral Theorem
Square Matrix
Symmetric Matrix
plane
Hyperplane
vector
Affine Function
Basis
Cauchy-Schwartz Inequality
Complex Vector
De-meaned Vector
Euclidean Distance
Euclidean Length
Euclidean Projection
First Order Taylor Approximation
Fourier Transform
Linear Combination
Ones Vector
Orthogonality
Orthonormality
Root Mean Square
Scalar Product
Span
Subspace
Unit Vector
Vector
Vector Gradient
Vector Line
Vector Linear Independence
Vector Norm
Vector Space
Vector's Correlation
Clustering
Fundamental of Linear Algebra
Gram-Schmidt Algorithm
Linear Algebra
Linear Dynamical Systems
Principal Component Analysis
Vector Norm
Operation Research
Operation Research
Statistic
Advanced
Chapter3
Chapman-Kolmogorov Equation
Markov Chain
Stochastic Process
markov
Gambler's Ruin Problem
Long-run Proportion of Markov Chain
Recurrent State
State Accessibility
State Communication
State in Markov Chain
Transient State
Line of Best Fit
Memoryless Variable
Partly Correlation
Regression Model
Spearman's Rank Correlation Coefficient
Chapter 1
Population
Population mean
Sample mean
Chapter 2
Bayes theorem
Conditional probability
Intersect operation
Union operation
Chapter 3
Standard deviation
Chapter 4
Sample
Chapter 6
Sum of independent variables
Chapter 7
Distribution of a function of a random variable
Exponential Distribution
Gamma distribution
Hazard rate function
The DeMoivre-Laplace limit theorem
Uniform distribution
Chapter 8
Chi-squared distribution
Conditional joint distribution
Independent random variable
Joint cumulative distribution function
Joint distribution of functions of variables
Joint probability density function
Joint probability mass function
Jointly distributed random variable
Marginal probability mass function
Chapter 9
Conditional variance
Correlation
Linear regression
Moment generating function
Chapter 10
Central limit theorem
Chebyshev's inequality
Distribution of sample mean
Indicator Variable
Law of large number
Limit theorems
Markov's inequality
Mean square error
Strong law of large numbers
Weak law of large numbers
Chapter 11
Confidence interval
Prediction
t distribution
Chapter 12
Alternative Hypothesis
Hypothesis Testing
Null Hypothesis
t test
Type 1 Error
Type 2 Error
Chapter 13
Difference random variable of 2 variables
Population Proportion
conditional
Conditional expectation
Conditional Independence
Conditional variance
Correlation
Covariance
Linear regression
Moment generating function
Properties of expectation
Sample variance
Correlation
Conditional Independence
Correlation Coefficient
distribution
Binomial distribution
Chi-squared distribution
Conditional joint distribution
Continuous random variable
Cumulative distribution function
Discrete random variable
Distribution of a function of a random variable
Exponential Distribution
Gamma distribution
Hazard rate function
Independent random variable
Joint cumulative distribution function
Joint Distribution
Joint distribution of functions of variables
Joint probability mass function
Marginal probability mass function
Normal distribution
Poisson distribution
Probability density function
Skewness
Standard normal distribution
Sum of independent variables
The DeMoivre-Laplace limit theorem
Uniform distribution
Variance
multivariate
Comparision of Multivariate Means
Inferences about a Mean Vector
Multivariate Linear Regression Model
Multivariate Normal Distribution
Multivariate Statistics
Probability
Combination
Combinatorial analysis
Conditional Distribution
Intersect operation
Mutually exclusive
Permutation
Population
Population mean
Probability
Probability mass function
Sample mean
Sample space
Statistical event
Union operation
Sampling
Non-response error
Response error
Sample
Sample from Given Distribution
Sampling and Data
Sampling error
Systematic sampling
Stochastic
Counting Process
Poisson Process
test
F-distribution
Q-Q Plot
Time-series
Additive Model
Moving Average
Multiplicative Model
Seasonal Variation
Time Series
Time Series Trend
Descriptive statistic
Expected value
Standard deviation
Statistics
Mathematics
Psy
Arrival fallacy
Cognitive bias
Cognitive dissonance
Confirmation bias
IKEA effect
Price's Law
Psychology
Spotlight effect
to be sorted
Red Hat Package Manager
Snaps
Home
❯
Math
❯
Discrete
❯
1. Sets and Proofs
❯
Proof by contrapositive
Proof by contrapositive
Nov 22, 2024
1 min read
Description:
Assume Q is false and deduce that P is also false
Graph View
Backlinks
Indirect proof