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 1,238: |
Line 1,239: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]] |
| | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> | | | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> |
| | | | | |
Line 1,260: |
Line 1,261: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]] |
| | <math>\texttt{(} a, b \texttt{)}</math> | | | <math>\texttt{(} a, b \texttt{)}</math> |
| | | | | |
Line 1,273: |
Line 1,274: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]] |
| | <math>\texttt{((} a, b \texttt{))}</math> | | | <math>\texttt{((} a, b \texttt{))}</math> |
| | | | | |
Line 1,286: |
Line 1,287: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]] |
| | <math>\texttt{(} a, b, c \texttt{)}</math> | | | <math>\texttt{(} a, b, c \texttt{)}</math> |
| | | | | |
Line 1,297: |
Line 1,298: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]] |
| | <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> | | | <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> |
| | | | | |
Line 1,308: |
Line 1,309: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]] |
| | <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> | | | <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> |
| | | | | |
Line 1,367: |
Line 1,368: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]] |
| | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> | | | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> |
| | | | | |
Line 1,389: |
Line 1,390: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]] |
| | <math>\texttt{(} a, b \texttt{)}</math> | | | <math>\texttt{(} a, b \texttt{)}</math> |
| | | | | |
Line 1,402: |
Line 1,403: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]] |
| | <math>\texttt{((} a, b \texttt{))}</math> | | | <math>\texttt{((} a, b \texttt{))}</math> |
| | | | | |
Line 1,415: |
Line 1,416: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]] |
| | <math>\texttt{(} a, b, c \texttt{)}</math> | | | <math>\texttt{(} a, b, c \texttt{)}</math> |
| | | | | |
Line 1,426: |
Line 1,427: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]] |
| | <math>\texttt{((} a, b, c \texttt{))}</math> | | | <math>\texttt{((} a, b, c \texttt{))}</math> |
| | | | | |
Line 1,437: |
Line 1,438: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|70px]] | + | | height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]] |
| | <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math> | | | <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math> |
| | | | | |
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]] |