User:Anisomorphism: Difference between revisions

User:Anisomorphism (edit)

302 bytes added , 7 April 2023

447

edits

@@ Line 1: / Line 1: @@
 I do math
-== Algebraic Geometry of Computing ==
+= Algebraic Geometry of Computing =
-Finite state machines appear in a variety of instantiations: mechanical, electronic, fluidic. The physical mechanisms involve necessitate that the design is described by differential equations, but ultimately the manipulation of abstracted "logical" states is the final goal. Thus we can describe the architecture of a general finite state machine with $$ \mathbb{Z}/2\mathbb{Z} $$ algebra (or other finite rings too).
+Finite state machines appear in a variety of instantiations: mechanical, electronic, fluidic. The physical mechanisms involved necessitate that the design is described by differential equations, but ultimately the manipulation of abstracted "logical" states is the final goal. Thus we can describe the architecture of a general finite state machine with <math> \mathbb{Z}/2\mathbb{Z} </math> algebra (or other finite rings too).
-Math test: <math> \frac{1}{2} </math>
+=== Gates ===
+Typically you will see a logic gate defined by its values as a "truth table":
+{| class="wikitable" style="margin:auto"
+|+ AND
+|-
+! x !! y !! x AND y = AND(x,y)
+|-
+| 0 || 0 || 0
+|-
+| 0 || 1 || 0
+|-
+| 1 || 0 || 0
+|-
+| 1 || 1 || 1
+|}
+And statements written with logical connectives: <math> \mathbb{Z}/2\mathbb{Z} </math>
 == Read prototype ==