ZD_1_10 — Automata Theory and Formal Languages

Automata theory studies abstract computational machines and the classes of languages they recognize, forming the mathematical backbone of computer science. The Chomsky hierarchy (1956–59) classifies formal languages into

ZD_1_07 — Cellular Automata and Rule Systems: Emergence from Simple Rules

Cellular automata (CA) are discrete computational systems where simple local rules applied to a grid of cells generate complex global behavior — demonstrating that complexity can emerge from simplicity without central co

ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence

Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t

ZD_1_11 — Turing Machine, Computability, and the Limits of Computation

The Turing machine — a mathematical model of computation defined by Alan Turing in his 1936 paper "On Computable Numbers, with an Application to the Entscheidungsproblem" — is the foundational formalism of theoretical co

ZD_1_05 — Computational Complexity: P vs NP and the Limits of Efficient Computation

Computational complexity theory classifies problems not by whether they can be solved, but by how efficiently they can be solved — and its central open question, P vs NP, is one of the seven Clay Millennium Prize Problem

ZD_3_00 — Systems Architecture: Subfolder Summary

ZD_3_10 — Blockchain, Cryptocurrency, and Distributed Ledger Theory

Blockchain — a distributed, append-only data structure in which records (transactions) are grouped into blocks, each block is cryptographically linked to the previous one through a hash, and the resulting chain is replic

ZD_3_11 — History of Programming Languages: From Machine Code to Modern Paradigms

The history of programming languages traces the evolution of formal notations for instructing computers — from the raw binary patterns of machine code and the mnemonic abbreviations of assembly language through the devel

ZD_3_09 — History of the Internet — From ARPANET to the Decentralized Web

The Internet — the global network of interconnected computer networks using standardized protocols to exchange data — is the most transformative communication technology since the printing press, connecting over 5 billio

ZD_3_08 — Cybersecurity and Network Security

Cybersecurity — the protection of computer systems, networks, and data from unauthorized access, damage, or disruption — has grown from a technical niche into a critical domain affecting national security, economic stabi

ZD_3_01 — Database Theory and Relational Model

Database theory provides the mathematical foundations for organizing, storing, querying, and managing structured data — one of the most practically consequential branches of computer science. Before the relational model,

ZD_3_14 — Memory and Storage Systems: From RAM to Distributed Databases

Memory and storage systems form the foundation of all computing — providing the physical mechanisms for storing and retrieving data, from the fastest, most expensive registers and caches that serve the processor's immedi

ZD_3_12 — Software Engineering: Processes, Architecture, and Quality

Software engineering is the systematic application of engineering principles to the design, development, testing, deployment, and maintenance of software systems — addressing the fundamental challenge that software is am

ZD_3_13 — Cloud Computing: Virtualization, Services, and Distributed Infrastructure

Cloud computing is the delivery of computing resources — servers, storage, databases, networking, software, analytics, and intelligence — over the Internet ("the cloud") on a pay-as-you-go basis, transforming computing f

ZD_5_09 — Open Source: Free Software, Collaborative Development, and Commons-Based Production

Open source software (OSS) is software whose source code is publicly available, can be freely used, modified, and redistributed under licenses that preserve these freedoms. Open source is one of the most consequential mo

ZD_5_06 — Knowledge Representation: Ontologies, Semantic Web, and Knowledge Graphs

Knowledge representation (KR) is the field of artificial intelligence concerned with how to formally encode information about the world — facts, relationships, concepts, rules, and constraints — in formats that computer

ZD_5_03 — Semiotics: Signs, Symbols, and Meaning Theory

Semiotics (also semiology) — the study of signs, symbols, and meaning-making processes — is a foundational discipline that bridges linguistics, philosophy, cultural studies, communication theory, visual arts, and informa

ZD_5_11 — Version Control: Git, Distributed VCS, and Collaborative Software Development

Version control systems (VCS) are tools that track changes to files over time — enabling software developers (and increasingly writers, designers, scientists, and data analysts) to record the history of every modificatio

ZD_5_02 — Digital Preservation and the Longevity of Knowledge

Digital preservation — the set of policies, strategies, and actions required to ensure continued access to digital information over time — addresses one of the great paradoxes of the information age: humanity is producin

ZD_5_12 — Edge AI and TinyML: On-Device Machine Learning and Embedded Intelligence

Edge AI is the deployment of artificial intelligence algorithms on devices at the "edge" of the network — smartphones, embedded systems, cameras, sensors, wearables, industrial controllers, autonomous vehicles, and drone