|
|
predicate calculus
predicate logic
Try this search on OneLook / Google
Nearby terms:
precharge « precision « predecessor « predicate calculus » predicate logic » predomain » pre-emptive multitasking
predicate logic
<logic> (Or "predicate calculus") An extension of
propositional logic with separate symbols for predicates,
subjects, and quantifiers.
For example, where propositional logic might assign a single
symbol P to the proposition "All men are mortal", predicate
logic can define the predicate M(x) which asserts that the
subject, x, is mortal and bind x with the universal
quantifier ("For all"):
All x . M(x)
Higher-order predicate logic allows predicates to be the
subjects of other predicates.
(2002-05-21)
Try this search on OneLook / Google
Nearby terms:
precision « predecessor « predicate calculus « predicate logic » predomain » pre-emptive multitasking » prefetch
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Die Hard Nakatomi PlazaDie Hard Nakatomi Plaza Welcome to the party, pal. All of the blockbuster action of the original Die Hard movie comes to your PC in this intense 3D shooter. Explore over 30 single-player levels of Nakatomi Plaza, with missions and environments based on the original film, plus additional original scenarios. Windows 95/98/ME/2000/XP More ...
CD Box Holder with 80 Sleeve Holders (Blue)CD Box Holder with 80 Sleeve Holders (Blue) ** CD Box Holder with 80 Sleeve Holders **Take your favorite CDs anywhere! This CD Box Holder features an aluminum case with transparent blue tint windows. Inside are fabric white sleeves enough to hold up to 80 CDs or DVDs. This durable box includes a sturdy metal handle and lockable to secure the discs!General Features:- Aluminum w/transparent blue tint windows - Eighty (80) Non-woven fabric white sleeves- Sleeves are numbered for identification- Sturdy metal handle- Lockable and with two keys- Portable and easy to carryUnit Dimensions:- 7. x 6 x 6-inches (H x W x D)Package Includes:- CD Box Holder w/80 Sleeve Holders Compatibility/Requirements/Disclosures: ** Requirements *** The need for this item More ...
Artec 16x DVD-ROM IDE Drive (Beige)Artec 16x DVD-ROM IDE Drive (Beige) ** Artec 16x DVD-ROM IDE Drive **This Artec DVD-ROM drive provides access to all types ofmedia including DVD movies! It's capable of reading DVD data at 16x speed and CD-ROM data at up to 48x. Turn your PC into a multimedia center with this Artec DVD-ROM IDE drive! General Features:- Beige bezel- 16x maximum read speed (DVD)- 48x maximum read speed (CD)- IDE interfaceFront Panel Features:- Headphone jack- Volume control dial- Play/Next button- Stop/Eject button- Emergency eject holeRear Panel Features:- Digital audio connector- Analog audio connector- Device jumpers- IDE interface- 4-pin power connectorRegulatory Approvals:- FCC- CE- UL- C-Tick- TUVNotes:- Drive only- Model: DHI-G48 Compatibility/Requirements/Disclosures:** Requirements *** IDE controller* IDE cable* Available 5.25-inch drive bay* Available 4-pin power connector* DVD software (hardware or software) More ...
Pocketware Chess Compendium 3DPocketware Chess Compendium 3D A variety of 3D chess boards keep you challenged and test your strategic skills in this full-version game. Super 3D graphics and animations. Windows 95/98/ME/2000/XP More ...
A-Power 450-Watt ATX Dual Fan Power SupplyA-Power 450-Watt ATX Dual Fan Power Supply ** A-Power 450-Watt ATX Dual Fan Power Supply **Give your computer the power it needs! This 450-watt ATXPower Supply with dual fans will provide years of reliableoperation! Other features include four large power connectors, two small power connectors, and one SATA powerconnector!!General Features:- 450 watts total- Dual Fan design- One (1) 12-inch ATX power connector- One (1) 12-inch Auxiliary ATX power connector- One (1) 12-inch 12V ATX power connector- Four (4) Large power connectors- Two (2) Small power connectors- One (1) SATA (Serial ATA) connector- Supports Intel P4 and AMD motherboards- ATX Ver 2.03 and Ver 1.1 compliant- Low noise and ripple- Short-Circuit protection- Over-Voltage protection- Thermal Overload Cut-off protectionPower Specifications:- 115V, 230V switchable power supply- +3.3V, 26A- +5V, 35A- +12V, 15A- -12V, 0.8A- -5V, 0.5A- +5Vsb, 2.ARegulatory Approvals:- FCC- CE- CB- Nemko- Demko- Semko- FimkoUnit Dimensions:- 3.25 x 6 x 6-inches (H x W x D (approximate))Retail Package Includes:- A-Power 450-Watt ATX Power Supply- Power Cord Compatibility/Requirements/Disclosures:** Requirements *** ATX case* ATX motherboard* Available power outlet More ...
ClipArt 25,000 Vol 2ClipArt 25,000 Vol 2 Add fun, excitement, and personality to all of your communications.This unique collection features 25,000 all new imagesperfect for newsletters, fliers, brochures, greeting cards, - justabout any kind of project. Choose images from a variety of stylesto suit your tastes. Windows 95/98/ME/2000/XP More ...http://www.softwaredealz.com/cdroms/453357497.htmlSunday, 12 June 2005 19:09:11 -0600
|
