Bit heavy on the academic theory, but Claude Shannon's "Mathematical Theory of Communications" might help with the link between gated logic and modern computation.
CS builds/extends hardware based on Shannon's work. CS programming languages are classified according to the Cholmsky hierarch in theory of computation. Given topic of discussion, atari games implimented as logic gates are a form of state machine (autonoma) which can be represented at a higher level of abstraction by a programming language. ( https://www.geeksforgeeks.org/chomsky-hierarchy-in-theory-of...)
There are different frameworks / ways of implimenting/presenting 'logical computations'. aka ME physical, EE logic gates, math numerical computation, computer science programming languages.
Loosely ordered by various implied collision/response (XOR) for anaylzing/presenting "logic/type groupings" in physical spaces / virtual spaces.
Higher level/virtual logic/techniques of modern CS hids the 'logic bits' of things. aka gawk chapter "11.3.11 And Now for Something Completely Different" program -- where character fonts are higher order of logical groupings tied to a number of bits ( https://www.gnu.org/software/gawk/manual/gawk.pdf ) and pdf imaging ( https://github.com/tavinus/pdfScale )
Historical progression of display mechanics has less virtual abstraction relative to how programming languages produce/compute results.
pixel to spreadsheet : https://leondrolio.com/apps/pixel-spreadsheet/
mindcraft computer : https://minecraft.fandom.com/wiki/Tutorials/Redstone_computers
https://www.reddit.com/r/programming/comments/xecijm/someone_made_minecraft_in_minecraft_with_a/
bash & postscript make it a lot easier to change the display mechanics : https://github.com/tavinus/pdfScale
CS builds/extends hardware based on Shannon's work. CS programming languages are classified according to the Cholmsky hierarch in theory of computation. Given topic of discussion, atari games implimented as logic gates are a form of state machine (autonoma) which can be represented at a higher level of abstraction by a programming language. ( https://www.geeksforgeeks.org/chomsky-hierarchy-in-theory-of...)
There are different frameworks / ways of implimenting/presenting 'logical computations'. aka ME physical, EE logic gates, math numerical computation, computer science programming languages.
Loosely ordered by various implied collision/response (XOR) for anaylzing/presenting "logic/type groupings" in physical spaces / virtual spaces.
Higher level/virtual logic/techniques of modern CS hids the 'logic bits' of things. aka gawk chapter "11.3.11 And Now for Something Completely Different" program -- where character fonts are higher order of logical groupings tied to a number of bits ( https://www.gnu.org/software/gawk/manual/gawk.pdf ) and pdf imaging ( https://github.com/tavinus/pdfScale )
Historical progression of display mechanics has less virtual abstraction relative to how programming languages produce/compute results.
No player movement, all autonoma state machine : https://www.youtube.com/watch?v=wiYTxjJjfxs
Progressing from "larger" implimentation to smaller implimentation details for equivalent amount of "logic states":
-----
A) mechanical logic devices and circuits : https://www.nacomm09.ammindia.org/NaCoMM-2009/nacomm09_final...
-----B) electrical logic devices (smaller scale than mechanical devices, so no vaccum tubes / flip displays):
-----C) virual stuff:
-----