Line 1: |
Line 1: |
| {{DISPLAYTITLE:Theme One Program : Exposition}} | | {{DISPLAYTITLE:Theme One Program : Exposition}} |
| + | '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' |
| | | |
| ==Expository Note 1== | | ==Expository Note 1== |
Line 2,613: |
Line 2,614: |
| o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o | | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o |
| </pre> | | </pre> |
| + | |
| + | [[Category:Adaptive Systems]] |
| + | [[Category:Artificial Intelligence]] |
| + | [[Category:Automated Reasoning]] |
| + | [[Category:Charles Sanders Peirce]] |
| + | [[Category:Constraint Satisfaction]] |
| + | [[Category:Declarative Programming]] |
| + | [[Category:Formal Languages]] |
| + | [[Category:Graph Theory]] |
| + | [[Category:Inquiry]] |
| + | [[Category:Inquiry Driven Systems]] |
| + | [[Category:Learning Systems]] |
| + | [[Category:Learning Theory]] |
| + | [[Category:Logic]] |
| + | [[Category:Logical Graphs]] |
| + | [[Category:Logical Modeling]] |
| + | [[Category:Model Theory]] |
| + | [[Category:Programming]] |
| + | [[Category:Propositional Calculus]] |
| + | [[Category:Scientific Method]] |
| + | [[Category:Semiotics]] |
| + | [[Category:Sign Relations]] |