KNOWLEDGE

NETWRK v2.1

Knowledge Graph

Formal Science
Mathematics
Logic
Computer Science
Systems Science
Data Science
Information Science
Natural Science
Social Science
Applied Science
Humanities
Interdisciplines

Meta

Glossary
Stage

Structure Scan

Sys.Init // Formal_Science
Root Directory
Domain_01

FORMAL SCIENCE

MethodDeductive
SystemLogic-Based

Operational Nodes

+-----
NODE.01

Logic

Reasoning & Inference

The study of correct reasoning, formal languages, and valid inference.

+-----
NODE.02

Mathematics

Quantity & Structure

The abstract science of number, quantity, and space.

+-----
NODE.03

Computer Science

Computation & Info

The study of computation, automation, and information processing.

+-----
NODE.04

Information Science

Analysis & Retrieval

Properties and behavior of information, flow, storage, and processing.

+-----
NODE.05

Data Science

Insight Extraction

Unifying statistics, data analysis, and their related methods.

+-----
NODE.06

Systems Science

Complexity & Dynamics

The interdisciplinary study of systems, complex, simple, or cybernetic.

Interactive Systems

Logic Gate Lab

Boolean Algebra Simulator
Input A
Input B
Output
0

Output is 1 ONLY IF both A and B are 1.

System Verification Protocol1 / 5

Which logic gate outputs a 1 ONLY when both of its inputs are 1?