Differences between revisions 144 and 147 (spanning 3 versions)
Revision 144 as of 2018-12-06 17:42:33
Size: 3072
Editor: scot
Comment:
Revision 147 as of 2020-02-02 17:49:07
Size: 3051
Editor: scot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 61: Line 61:
 * LogicalImplication (<<latex($\models$ and $\vdash$)>>)
 * LogicalMemory                          (START EDITING HERE)
 * LogicalImplication ($$\models$$ and $$\vdash$$)
 * LogicalMemory
Line 110: Line 110:
 * SmallComputerSystemsInterface (SCSI)
Line 121: Line 122:
 * TruthFunction (notation for <<latex($\vdash$)>>)  * TruthFunction (notation for $$\vdash$$)

ComputerTerms (last edited 2020-02-02 17:49:07 by scot)