|
|
quantifier
<logic> An operator in predicate logic specifying for which
values of a variable a formula is true. Universally
quantified means "for all values" (written with an inverted A,
LaTeX \forall) and existentially quantified means "there
exists some value" (written with a reversed E, LaTeX
\exists). To be unambiguous, the set to which the values of
the variable belong should be specified, though this is often
omitted when it is clear from the context (the "universe of
discourse"). E.g.
Forall x . P(x) <=> not (Exists x . not P(x))
meaning that any x (in some unspecified set) has property P
which is equivalent to saying that there does not exist any x
which does not have the property.
If a variable is not quantified then it is a free variable.
In logic programming this usually means that it is actually
universally quantified.
See also first order logic.
(2002-05-21)
Try this search on OneLook / Google
Nearby terms:
quality control « quality of service « Quality Systems & Software Ltd. « quantifier » Quantify » quantum » quantum bogodynamics
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
HP 52x 700MB 80-Minute CD-R Media 50-Piece SpindleHP 52x 700MB 80-Minute CD-R Media 50-Piece Spindle ** HP 52x 700MB 80-Minute CD-R Media 50-Pack **Create CDs in minutes with the Hewlett Packard CD-R media!It features 700 MB data storage, 80 minutes of digital audio and a maximum 52x recording speed. Get yours today!-General Features:- 50-Pack- 80-minute audio capacity- 700 MB data capacity- Rated for use with 52x speedsNotes:- Media Only Compatibility/Requirements/Disclosures: ** Requirements *** CD-R/RW drive More ...
GeForce FX 5200 256MB DDR AGP Video Card w/TV-OutGeForce FX 5200 256MB DDR AGP Video Card w/TV-Out ** GeForce FX5200 AGP Video **With this GeForce FX 5200 AGP video card you can run applications and games at higher resolutions and speeds. This nVidia GeForce FX 5200 video card features 256 MB of DDR SDRAM and an 8x AGP interface. For the PC user in search of the perfect combination of power, performance and value or the gamer who desires advanced gaming technology, the GeForce FX 5200 delivers!General Features:- nVidia GeforceFX 5200 Chipset- AGP 8x interface- 256 MB DDR- 350 MHz RAMDAC- 4 pixels per clock engine- Support for DX 9.0 Pixel/Vertex Shader 2.0+- Z-correct bump-mapping.- Hardware-accelerated shadow effects with shadow buffers- Programmable matrix palette skinning- Keyframe animation- Custom lens effects: fish eye, wide angle, fresnel effects, water refraction2D Rendering Engine Features:- Optimized for 32-, 24-, 16-, 15- and 8-bpp modes- True-color, 64x64 hardware cursor with alpha- Multi-buffering (double, triple or quad) for smooth animation and video playback3D Rendering Engine Features:- 4 pixels per clock rendering engine- 128-bit, studio-quality floating point precision through the entire graphics pipeline- Native support for 128-bit floating point, 64-bit floating point and 32-bit integer rendering modes- Up to 16 textures per pass- Support for sRGB texture format for gamma textures- DirectX and S3TC texture compressionOperation Systems and API support:- Windows XP / 2000- Complete DirectX support, including DirectX 9.0 and lower- Full OpenGL 1.4 and lowerConnectors:- 15-pin VGA- S-Video- DVI connectorRegulatory Approvals:- FCC- CE- C-TickRetail Box Includes:- nVidia GeForce FX 5200 AGP Video Card- Start Up driver CD- S-Video cable- Installation GuideNote:- Box style may vary Compatibility/Requirements/Disclosures:** Requirements *** Intel Pentium III, AMD Duron or Athlon class processor* 128MB of RAM* Available AGP slot* CD-ROM Drive (to load driver) More ...
Wireless Keyboard for PDA and SmartPhoneWireless Keyboard for PDA and SmartPhone ** Wireless Keyboard for PDA and Smart Phone **This SK6688 Wireless keyboard for PDAs and SmartPhone can help make your mobile lifeeasier! The infrared wireless covers up toa 210 degree area and features 67 full sizestandard keys and 10 programmable Hot Keys.Make your mobile life easier, get this Wirelesskeyboard for your PDA or SmartPhone!General Features:- Black and Silver- Wireless keyboard brings freedom and converience- Infrared wireless covers up to 210 degree area- Standard QWERTY layout- 67 Full Size Standard Keys- 10 dedicated Programmable Hot Keys- Key Height: 5.5 mm- Key Switch: Scissor type- Compatible with Palm OS, Windows CE/2002 Smartphone- Powered by One (1) AAA battery (included)Dimensions (Folded)- 5.6" x 3.7" x 1.02 (approximate inches)Dimensions (Open):- 11.4" x 3.7" x 0.4" (approximate inches)Compatible List:- Nokia: Model 6600, 7650- SonyEricsson: Model P800, P900- Samsung: Model i600- DELL: Axim X5 Series- HP: 3600 Series, 3700 Series, 3800 Series, iPaq H1920, Ipaq H1940, iPaq H2210, IPaq H4150 - Toshiba: e310, e330, e400, e740, e800- Palm: m500, m505, Palm VX, Zire 71, Tungsten T.T2.T3.E.C- Sony CLIE: PEG SJ30, NX70, NX73, PEG TJ25Regulatory Approvals:- FCC- CERetail Box includes:- SK6688 Smart Keyboard- Driver/Software CD- Quick Installation Guide- One (1) AAA batteryNotes:- Model: SK6688 Compatibility/Requirements/Disclosures: ** Requirements *** Windows 95/98/ME/NT/2000/XP* Compatible PDA* Compatible Smart Phone* CD-ROM drive (to load software) More ...
ATI Radeon X300LE 256MB DDR PCI Express Video CardATI Radeon X300LE 256MB DDR PCI Express Video Card ** ATI Radeon X300LE 256 MB DDR 16x PCI Express Video Card **This ATI Radeon X3000LE 16x PCI express video card is an ideal choice for serious gamers looking for the right balance of value and performance! Features include an ATI Radeon X300 GPU, SMARTSHADER technology, SMOOTHVISION technology and 256 MB of DDR memory.General Features:- Chipset: ATI RADEON X300LE - 16x PCI Express interface - Memory: 256 MB DDR- Core clock: 325 MHz- RAMDAC: 400 MHz- Memory Bus: 128-bitConnectors:- 15-pin VGA- S-Video connector- DVIRegulatory Approvals:- FCC- CE Retail Box Includes:- Radeon X300LE PCI Epxress Video Card- User's Manual- S-Video cable- Drivers CDNotes:- Model: X3LEED256C Compatibility/Requirements/Disclosures:** Requirements *** IBM or 100% PC compatible * Pentium III 650 MHz or AMD Athlon 650 MHz classprocessor or higher* Windows 2000/Me/XP* Available PCI express x 16 slot* 64 MB System memory* 50 MB available disk space* CD-ROM or DVD-ROM drive (to load drivers) More ...
Webster's Gold Encyclopedia 2001Webster's Gold Encyclopedia 2001 To follow up with last year's best-selling encyclopedia suite, TOPICS has assembled an updated that accurately reflects the changes and issues that mark and define the first years of the 21st century. With 3 high-quality encyclopedias on 3 CD-ROMs, this box set truly stands out as a complete solution for your home reference library. Win 95/98/Me/2000/XP More ...
PSP Kit - Car Charger/MultiDisc Case/Carrying CasePSP Kit - Car Charger/MultiDisc Case/Carrying Case ** PSP Starter Kit - Car Charger/Multi-Disc Case/Carrying Case **Charge up your Sony PSP while you travel in less than 2 Hours! This PSP Starter kit is an absolute necessity for your Sony PSP! Included in this kit is a 12V Car Charger, a Multi-Disc case which can store up to 4 UMD, and an EVA carrying case to protect your PSP from bumps, drops, and scratches! This PSP starter kit is an ideal traveling companion! Get yours today!General Features:- For Sony PSP Car Charger Features: - Charges PSP in less than 2 Hours - Input: DC12V - Provides power as you travel PSP Multi-Disc Case Features: - Stores up to 4 UMD in one compact case - Damage Resist - Protects your Games PSP EVA Carrying Case: - Stylishly designed with EVA material - Protects your PSP form bumps, drops, and scratches - Zippered Regulatory Approvals: - CE Retail Blister Pack Includes: - Car Charger - PSP Muli-Disc Case - PSP EVA Carrying Case Notes: - UPC Code: 1 83195 30001 5 Compatibility/Requirements/Disclosures: ** Requirements *** Sony PSP More ...
|
