Synaptic Vault 🔒
Search
Search
Search
Explorer
Book
Think Again
CompSci
ArtificialIntelligence
Agent
csp
Backtracking Search
Constraint Graph
Graph Search
search
A* Search
Breath First Search
Constraint Satisfaction Problem
Depth First Search
Fringe
Greedy Algorithm
Heuristic Function
Iterative Deepening
Search Problem
Sucessor Function
Tree Search
Uniform Cost Search
World State
AI Agent
Planning Agent
Rational Agent
Reflex Agent
State Space
Turing Test
ML
Dataset
Iris dataset
MLFlow
CLI
mlflow CLI
mlflow server CLI
Python
mlflow Python
mlflow.models
mlflow.models.infer_signature class
MLFlow 2.8.1
MLFlow flavor
MLflow model registry
MLflow models
MLflow tracking
Model signature
Models
Classification model
Logistic regression
sklearn
scikit-learn 1.3.2
sklearn.datasets
sklearn.linear_model
sklearn.linear_model.LogisticRegression class
sklearn.metrics
sklearn.model_selection
Deep Learning
Large Language Model
Machine learning
Model evaluation
Neural Network
Reinforcement learning
Supervised learning
Artificial Intelligence
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
Blue Green Deployment
Canary Deployment
Env
Container
Container
Docker
CLI
docker build
Docker CLI
docker images
docker ps
docker push
docker run
Containerd
Docker
Docker container
Docker image
Dockerfile
VM
Hypervisor
Machine Image
Virtual machine
Boot disk image
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
virtualenv
CloudComputing
Azure
Compute
App service
Azure App Service
Azure App Service Domain
Azure App Service Plan
Azure Availability Set
Azure Compute services
Azure Function App
Azure Kubernetes Service
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 Cloud Shell
Azure Cost Management & Billing
Azure Management & Governance services
Azure Monitor
Azure Resource Manager
Azure Resource Manager Template
Network
PrivateLInk
Azure Private Link
Azure Bastion
Azure DNS Zone
Azure ExpressRoute Circuit
Azure Network Security Group
Azure Network Security Rule
Azure Networking services
Azure Virtual Network
Azure Virtual Network Gateway
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
Web&mobile
Azure Web services
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 Level Agreement
Terraform
CLI
terraform apply
Terraform CLI
terraform import
terraform init
terraform plan
terraform refresh
terraform show
terraform state
Terraform
Terraform Backend
Terraform Config File
Terraform State
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
Signed Magnitude Representation
Two's Complement
hardward
Arithmetic Logic Unit
Central Processing Unit
Computer System
Instruction Set Architecture
Moore's Law
Transistor
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
Apple
Foundation
Apple foundation framework
Foundation framework - App support
Foundation framework - Files and data persistent
Foundation framework - Fundamental
Foundation framework - Fundamental - Numbers, Data and basic values
Foundation framework - Low-level utilities
Foundation framework - Network
Foundation framework - Reference
JSONDecoder
JSONEncoder
Apple developer
Apple frameworks
Software
Agile methodology
Client-server design pattern
Conway's law
Domain requirement
Functional requirement
Incremental model
Iterative refinement model
Key Performance Indicator
Layered architecture
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
Testing
Waterfall model
12 Factors App
Dev
Frontend
Frontend
Network
attack
DDoS attack
protocol
Border Gateway Protocol
HTTP(s)
Internet Control Message Protocol
Internet protocol suite
IPsec
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
Router
Subnet
Virtual private cloud
Network
programming
Algorithm
greedy
Coin Changing Problem
Interval Partitioning Problem
Interval Scheduling Problem
Minimize Lateness Problem
Notations
Big O Notation
Big Omega Notation
Big Theta Notation
Efficient Algorithm
Space Complexity
Time Complexity
Algorithm Design
Gale Shapley Algorithm
Hall's Marriage Theorem
Stable Matching Problem
Languages
C
C
C Identifier
C Type Specifiers
printf Function
Swift
Swift 5.9
Swift Int
Java
Python
terms
Declarative Programming
Functional programming language
Imperative Programming
Procedural programming language
Programming languages
Tool
CLI
bash
commands
Bash shell builtin command
cd command
export command
help command
man
source commad
bash
GNU Coreutils
cat command
cp command
GNU Coreutils
GNU Coreutils - Basic operations
GNU Coreutils - Directory listing
GNU Coreutils - Output of entire files
GNU Coreutils - Special file types (directories)
GNU Coreutils - Working context
ls command
mkdir command
mv command
pwd command
tools
iputils
iputils
ping command
apt-get
Command line interface
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
git switch
getting and creating projects
git clone
patching
git patching
git rebase
Inspecting and Comparision
Setup and Config
terms
head
Repository
git 2.42.0
Git synopsis
Github
UML
Behaviour diagram
Component diagram
Deployment diagram
PlantUML
Structure diagram
UML Diagram
Use case diagram
CompSci tool
PowerShell
Powershell cmdlet
Swagger
Computer Science
Edge Computing
Economics
Economics
Math
Calculus
Cal1
Calculus 1
Integration by parts
Cal2
Calculus 2
Jacobian determinant
Multiple integral
Partial derivative
Discrete
1. Sets and Proofs
Cartesian product
Complement operation
Difference 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
Primality test
Prime number
6
Bipartite Graph
Chromatic Number
Complete Graph
Cycle
Directed graph
Edge
Euler Cycle
Euler Path
Graph
Graph Coloring
Graph for Machine Learning
Graph isomorphism
Graph representation
Hamilton Cycle
Hamilton Path
Matching
Messag Passing Scheme
Path
Planar Graph
Tree
Undirected graph
Vertex
7
Automata Theory
Deterministic Finite-state Automata
Finite State Machine
Nondeterministic Finite-state Automata
Binpacking Problem
Discrete Math
Linear Algebra
function
Linear Function
Map
Regression Model for Vector
Vector Function
Visualizing Data by Projection
matrix
Drawing 2024-03-05 14.44.40.excalidraw
Matrix
Square Matrix
plane
Hyperplane
vector
Affine Function
Cauchy-Schwartz Inequality
De-meaned Vector
Euclidean Distance
Euclidean Length
Euclidean Projection
First Order Taylor Approximation
Linear Combination
Orthogonality
Root Mean Square
Scalar Product
Span
Subspace
Unit Vector
Vector
Vector Gradient
Vector Line
Vector Space
Vector's Correlation
Linear Algebra
Norm
Operation Research
Operation Research
Statistic
Advanced
Line of Best Fit
Partly Correlation
Regression Model
Spearman's Rank Correlation Coefficient
Chapter 1
Combination
Permutation
Population
Population mean
Sample mean
Chapter 2
Bayes theorem
Combinatorial analysis
Conditional probability
Intersect operation
Mutually exclusive
Probability
Probability mass function
Sample space
Statistical event
Union operation
Chapter 3
Standard deviation
Chapter 4
Non-response error
Response error
Sample
Sampling and data
Sampling error
Chapter 5
Descriptive statistic
Chapter 6
Binomial distribution
Cumulative distribution function
Discrete random variable
Expected value
Poisson distribution
Skewness
Sum of independent variables
Systematic sampling
Variance
Chapter 7
Continuous random variable
Distribution of a function of a random variable
Exponential distribution
Gamma distribution
Hazard rate function
Normal distribution
Probability density function
Standard normal distribution
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 expectation
Conditional variance
Correlation
Covariance
Linear regression
Moment generating function
Properties of expectation
Sample variance
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
Coefficient of Determination
Difference random variable of 2 variables
Population Proportion
Time-series
Additive Model
Moving Average
Multiplicative Model
Seasonal Variation
Time Series
Time Series Trend
Statistics
Mathematics
Psy
Arrival fallacy
Cognitive bias
Cognitive dissonance
Confirmation bias
IKEA effect
Psychology
Spotlight effect
Vector Linear Independence
Backlinks
Indirect proof
Home
❯
Math
❯
Discrete
❯
1. Sets and Proofs
❯
Proof by contrapositive
Proof by contrapositive
Jun 03, 2024
1 min read
Math/discrete
Proof by contrapositive
Description:
Assume Q is false and deduce that P is also false
Synaptic Bot
Q&A with Synaptic Vault Documents
New chat
Hello, this is Synaptic Bot here. How can I help you?
Graph View