| Latest revision |
Your text |
| Line 1: |
Line 1: |
| <div class="nav-container">
| |
| Β Β <div class="nav-button">
| |
| [[read]]
| |
| Β Β </div>
| |
| Β Β <div class="nav-button">
| |
| [[Mechanics (Book)]]
| |
| Β Β </div>
| |
| </div>
| |
| I do math | | I do math |
|
| |
|
|
| |
|
| |
|
| |
| = Algebraic Geometry of Computing =
| |
| 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).
| |
| === Gates ===
| |
| Typically you will see a logic gate defined by its values on all combinations of inputs 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> (x\and y)\or z = OR(AND(x,y),z) </math>
| |
| <br>
| |
| Along with distributive laws: <math> (x\and y)\or z = (x\or z)\and(y\or z) </math>, <math> (x\or y)\and z = (x\and z)\or(y\and z) </math>
| |
| <br>
| |
| De Morgan's laws: <math> \neg(x\and y) = (\neg x)\or (\neg y) </math>, <math> \neg(x\or y) = (\neg x)\and (\neg y) </math>
| |
| <br>
| |
| All of which apply to more complicated sentences rather than just individual variables. These laws along with commutative and associative laws are sufficient to evaluate and simplify any general logical expression, however we contend that this is the wrong language for computing and makes other important aspects - the dynamics and algebra - obscure.
| |
| <br>
| |
| There is one thing we can extract from logical connectives before moving on. The disjunctive normal form allows us to read truth tables and directly translate them into connective formulae which we can use later. Let us look at a different example which will help us escape the artificiality of AND and OR.
| |
| {| class="wikitable" style="margin:auto"
| |
| |+ XOR
| |
| |-
| |
| ! x !! y !! XOR(x,y)
| |
| |-
| |
| | 0 || 0 || 0
| |
| |-
| |
| | 0 || 1 || 1
| |
| |-
| |
| | 1 || 0 || 1
| |
| |-
| |
| | 1 || 1 || 0
| |
| |}
| |
| XOR is only "true" or 1 when x or y but not both, are 1. Disjunctive normal form says that we can view the x, y entries as unary operators which return the input with no change, combine these as given on the lines which evaluate to 1, and take the OR of all of them for the total connective form of the truth table. Here is the third line: <math> x\and\neg y</math>.
| |
| <br> The total is:
| |
| <math>
| |
| \begin{align*}
| |
| &(x\and\neg y)\or (\neg x\and y) \\
| |
| =&(x\or(\neg x\and y))\and(\neg y\or(\neg x\and y)) \\
| |
| =&(x\or\neg x)\and (x\or y)\and(\neg y\or\neg x)\and(\neg y\or y) \\
| |
| =&(x\or y)\and (\neg y\or\neg x) \\
| |
| =&(x\or y)\and\neg (y\and x)
| |
| \end{align*}
| |
| </math>
| |
| <br>
| |
| This process can be viewed as a sum of "elementary functions" which are only 1 on one line each, and building a general function/table.
| |
|
| |
| = Read prototype =
| |
| [[File:Linmechfieldsfolds.jpg|thumb|alt=Linear algebra, Mechanics, Relativity and Fields, Differential Geometry|The starter pack to physics and differential geometry]] | | [[File:Linmechfieldsfolds.jpg|thumb|alt=Linear algebra, Mechanics, Relativity and Fields, Differential Geometry|The starter pack to physics and differential geometry]] |
|
| |
|
| Line 100: |
Line 35: |
| | title = === Basic Mathematics === | | | title = === Basic Mathematics === |
| | desc = Review of arithmetic, algebra, trigonometry, logic, and geometry by Serge Lang. | | | desc = Review of arithmetic, algebra, trigonometry, logic, and geometry by Serge Lang. |
| }}
| |
| {{BookListing
| |
| | cover = Shilov Linear Algebra Cover.jpg
| |
| | link = Linear Algebra (Book)
| |
| | title = === Linear Algebra ===
| |
| | desc = Linear algebra of linear equations, maps, tensors, and geometry by Georgi Shilov.
| |
| }} | | }} |
| {{BookListing | | {{BookListing |
| Line 121: |
Line 50: |
| | title = === Mechanics === | | | title = === Mechanics === |
| | desc = Classical mechanics of particles by Lev Landau.<br> | | | desc = Classical mechanics of particles by Lev Landau.<br> |
| <div class="flex-container" style="clear: both;">
| | '''Prerequisite:''' |
| {{BookListing | | * [[{{FULLPAGENAME}}#Calculus|Calculus]] |
| | cover = Mechmath.jpg | | '''Backbone reference:''' |
| | link = Mechanics (Book) | | * [[{{FULLPAGENAME}}#Ordinary Differential Equations|Ordinary Differential Equations]] |
| | title = === Applications === | | applications: [[File:Mechmath.jpg|thumb|alt=temporary|Applications of Mechanics]] |
| | desc = Symplectic geometry and other mathematical Structures of Classical Mechanics
| |
| }}
| |
| </div>
| |
| }} | | }} |
| {{BookListing | | {{BookListing |
| Line 135: |
Line 61: |
| | title = === The Classical Theory of Fields === | | | title = === The Classical Theory of Fields === |
| | desc = Classical field theory of electromagnetism and general relativity by Lev Landau.<br> | | | desc = Classical field theory of electromagnetism and general relativity by Lev Landau.<br> |
| <div class="flex-container" style="clear: both;">
| | '''Prerequisite:''' |
| {{BookListing | | * [[{{FULLPAGENAME}}#Linear Algebra|Linear Algebra]] |
| | cover = Fieldsmath.jpg
| |
| | link = The Classical Theory of Fields (Book)
| |
| | title = === Applications ===
| |
| | desc = Differential/Riemannian geometry and other mathematical Structures in Relativistic Field Theory
| |
| }}
| |
| </div>
| |
| }} | |
| {{BookListing
| |
| | cover = Landau Quantum Mechanics.jpg
| |
| | link = Quantum Mechanics (Book)
| |
| | title = === Quantum Mechanics ===
| |
| | desc = Quantum Mechanics of particles, atoms, molecules by Landau and Lifshitz<br>
| |
| <div class="flex-container" style="clear: both;">
| |
| {{BookListing
| |
| | cover = Quantmath.jpg
| |
| | link = Quantum Mechanics (Book)
| |
| | title = === Applications ===
| |
| | desc = Generalized functions, spectra of self-adjoint operators, and other mathematical Structures in Quantum Mechanics | |
| }}
| |
| </div>
| |
| }} | | }} |
|
| |
|
| Line 168: |
Line 74: |
| * [[{{FULLPAGENAME}}#Foundations of Analysis|Foundations of Analysis]] | | * [[{{FULLPAGENAME}}#Foundations of Analysis|Foundations of Analysis]] |
| }} | | }} |
| Β | | {{BookListing |
| | | cover = Shilov Linear Algebra Cover.jpg |
| | | link = Linear Algebra (Book) |
| | | title = === Linear Algebra === |
| | | desc = Linear algebra of linear equations, maps, tensors, and geometry by Georgi Shilov. |
| | }} |
|
| |
|
| {{BookListing | | {{BookListing |
