Boolean Logic & Logic Gates: Crash Course Computer Science #3
Unknown
An episode of Crash Course Computer Science, hosted by Carrie Anne Philbin, showing how transistors implement Boolean algebra: NOT, AND, OR and XOR gates, their truth tables and circuit symbols, and how gates combine into the building blocks of digital computers.
More resources on Digital Logic Design
nand2tetris.org
Nand2Tetris.org offers a hands-on computer-architecture course that guides you from basic NAND gates to a working Hack computer and software stack. It provides project descriptions, HDL files, simulators, and tools (assembler, VM translator, compiler) plus links to the accompanying textbook.
NandGame
A browser puzzle that starts with a single NAND gate and has you compose latches, adders, an ALU, memory, and finally a working CPU with its own assembler and instruction set.
Computation Structures (MIT 6.004)
Digital systems from the bottom up: logic gates and sequential circuits, instruction set design, assembly language, procedures and stacks, processor pipelining, virtual memory and concurrency. Offers 173 short lecture videos and problem sets with solutions, so learners can build and reason about a working processor.
hdlbits.01xz.net
HDLBits is an online collection of HDL practice labs for digital logic design, offering interactive, auto-graded problems with in-browser editors to build and verify small to medium-scale combinational and sequential circuits (Verilog/VHDL).
Contemporary Logic Design
Randy Katz's undergraduate textbook on designing digital systems: Boolean algebra and minimization, combinational logic with gates and programmable devices, flip-flops, finite state machine design, and register-transfer organization, preparing readers to design and analyze real hardware circuits.
Digital Design
Mano and Ciletti cover Boolean algebra, gate-level minimization, combinational and sequential circuit design, registers, counters, and memory, with Verilog HDL modeling introduced alongside each topic so designs can be simulated and synthesized.