MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to search
No change in size
, 03:29, 29 April 2010
Line 347: |
Line 347: |
| \end{array}</math> | | \end{array}</math> |
| |} | | |} |
| + | |
| + | ==Resources== |
| + | |
| + | * [http://planetmath.org/encyclopedia/MinimalNegationOperator.html Minimal Negation Operator] @ [http://planetmath.org/ PlanetMath] |
| + | |
| + | * [http://planetphysics.org/encyclopedia/MinimalNegationOperator.html Minimal Negation Operator] @ [http://planetphysics.org/ PlanetPhysics] |
| + | |
| + | * [http://www.proofwiki.org/wiki/Definition:Minimal_Negation_Operator Minimal Negation Operator] @ [http://www.proofwiki.org/ ProofWiki] |
| + | |
| + | * [http://atlas.wolfram.com/ Wolfram Atlas of Simple Programs] |
| + | ** [http://atlas.wolfram.com/01/01/ Elementary Cellular Automata Rules (ECARs)] |
| + | ** [http://atlas.wolfram.com/01/01/rulelist.html ECAR Index] |
| + | ** [http://atlas.wolfram.com/01/01/views/3/TableView.html ECAR Icons] |
| + | ** [http://atlas.wolfram.com/01/01/views/87/TableView.html ECAR Examples] |
| + | ** [http://atlas.wolfram.com/01/01/views/172/TableView.html ECAR Formulas] |
| | | |
| ==Syllabus== | | ==Syllabus== |
Line 430: |
Line 445: |
| | | |
| * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] | | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] |
− |
| |
− | ==Resources==
| |
− |
| |
− | * [http://planetmath.org/encyclopedia/MinimalNegationOperator.html Minimal Negation Operator] @ [http://planetmath.org/ PlanetMath]
| |
− |
| |
− | * [http://planetphysics.org/encyclopedia/MinimalNegationOperator.html Minimal Negation Operator] @ [http://planetphysics.org/ PlanetPhysics]
| |
− |
| |
− | * [http://www.proofwiki.org/wiki/Definition:Minimal_Negation_Operator Minimal Negation Operator] @ [http://www.proofwiki.org/ ProofWiki]
| |
− |
| |
− | * [http://atlas.wolfram.com/ Wolfram Atlas of Simple Programs]
| |
− | ** [http://atlas.wolfram.com/01/01/ Elementary Cellular Automata Rules (ECARs)]
| |
− | ** [http://atlas.wolfram.com/01/01/rulelist.html ECAR Index]
| |
− | ** [http://atlas.wolfram.com/01/01/views/3/TableView.html ECAR Icons]
| |
− | ** [http://atlas.wolfram.com/01/01/views/87/TableView.html ECAR Examples]
| |
− | ** [http://atlas.wolfram.com/01/01/views/172/TableView.html ECAR Formulas]
| |
| | | |
| ==Document history== | | ==Document history== |