Differences between revisions 36 and 47 (spanning 11 versions)
Revision 36 as of 2003-10-03 19:35:15
Size: 1160
Editor: yakko
Comment:
Revision 47 as of 2003-10-13 22:08:58
Size: 1314
Editor: anonymous
Comment: missing edit-log entry for this revision
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:
   * [Dichotomy]    * ["Dichotomy"]
Line 19: Line 19:
   * LogicalImplication (|= symbol)    * LogicalImplication (|= symbol and also |-)
Line 30: Line 30:
   * ["Propositions" PropositionalLogic] or PropositionalLogic    * PowerSet
* ["Proposition"] or PropositionalLogic
Line 35: Line 36:
   * SemanticsSyntaxSortsInLogic
   * SequenceNumber
   * SlidingWindowProtocol
Line 36: Line 40:
   * TransmissionControlProtocol (TCP)
Line 38: Line 43:
   * ["Undecidable"]

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