Differences between revisions 28 and 57 (spanning 29 versions)
Revision 28 as of 2003-09-23 23:26:20
Size: 849
Editor: yakko
Comment:
Revision 57 as of 2003-11-04 00:25:43
Size: 1535
Editor: wakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 4: Line 4:
   * CidrVsSubnetting (CIDR, Subnetting and Class A-E Definitions)
Line 5: Line 6:
   * ["Decidable"] and SemiDecidable
   * ["Dichotomy"]
Line 6: Line 9:
   * DisjunctiveSyllogism
Line 9: Line 13:
   * FixedPoint
Line 10: Line 15:
   * GroundClause
   * GroundBooleanTerm
   * HypotheticalSylogism
Line 13: Line 21:
   * InternetProtocolV6 (IPv6)
Line 14: Line 23:
   * LogicalImplication (|= symbol and also |-)
Line 19: Line 29:
   * ModusPonens
Line 20: Line 31:
   * MonotoneBooleanTerm
Line 23: Line 35:
   * PowerSet
   * ["Proposition"] or PropositionalLogic
   * RecursivelyEnumerableSets
   * RelationallyComplete
Line 27: Line 43:
   * SemanticsSyntaxSortsInLogic
   * SemiDecidable and ["Decidable"]
   * SequenceNumber
   * SlidingWindowProtocol
   * ["Tautology"]
   * TransmissionControlProtocol (TCP)
Line 29: Line 51:
   * ["Undecidable"]

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