| Size: 603 Comment:  | Size: 1802 Comment:  | 
| Deletions are marked like this. | Additions are marked like this. | 
| Line 1: | Line 1: | 
| * AreaBorderRouter | |
| Line 2: | Line 3: | 
| * AutonomousSystem (AS) * ["Bijection"] * BooleanAlgebra * BooleanTerm * CidrVsSubnetting (CIDR, Subnetting and Class A-E Definitions) | |
| Line 3: | Line 9: | 
| * ["Decidable"] and SemiDecidable * ["Dichotomy"] | |
| Line 4: | Line 12: | 
| * DelayBandwidthProduct * DisjunctiveSyllogism * DistanceVector * ExecutionTime | |
| Line 6: | Line 18: | 
| * InternetGatewayRoutingProtocol IGRP | * FixedPoint * ForwardingVsRouting * FreeBooleanAlgebra * GroundClause * GroundBooleanTerm * HypotheticalSylogism * InteriorGatewayRoutingProtocol (IGRP) | 
| Line 8: | Line 26: | 
| * InternetProtocolV4 | * InternetProtocolV4 (IPv4) * InternetProtocolV6 (IPv6) | 
| Line 10: | Line 29: | 
| * LogicalImplication (|= symbol and also |-) | |
| Line 11: | Line 31: | 
| * ["Latency"] | |
| Line 15: | Line 36: | 
| * ModusPonens * MonotoneBooleanTerm | |
| Line 16: | Line 39: | 
| * OsiModel (7 layer OSI network Model) * ["Performance"] | |
| Line 17: | Line 42: | 
| * PowerSet * ["Proposition"] or PropositionalLogic * QueuingTheory * RecursivelyEnumerableSets * RelationallyComplete * ResponseTime * RoutingArea * RoutingInformationProtocol (RIP) | |
| Line 19: | Line 52: | 
| * SemanticsSyntaxSortsInLogic * SemiDecidable and ["Decidable"] * SequenceNumber * SlidingWindowProtocol * SpatialExtent * SpeedUp * ["Tautology"] * TcpFastRetransmit * TcpFastRecovery * ThroughPut * TransmissionControlProtocol (TCP) | |
| Line 21: | Line 65: | 
| * ["Undecidable"] | |
| Line 22: | Line 67: | 
- AutonomousSystem (AS) 
- ["Bijection"]
- CidrVsSubnetting (CIDR, Subnetting and Class A-E Definitions) 
- CompleteLogic What does it mean for a logic to be complete 
- ["Decidable"] and SemiDecidable 
- ["Dichotomy"]
- InternetProtocolV4 (IPv4) 
- InternetProtocolV6 (IPv6) 
- LogicalImplication (|= symbol and also   
- ["Latency"]
- MaximumTransmissionUnit (MTU) 
- ["Model"] of a logic formula
- OsiModel (7 layer OSI network Model) 
- ["Performance"]
- ["Proposition"] or PropositionalLogic 
- ["Satisfiable"]
- SemiDecidable and ["Decidable"] 
- ["Tautology"]
- ["taxonomy"]
- ["Undecidable"]
- ["Valid"] Logic Formula
