|
|
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.
Intel PIII Xeon 900 MHz 100MHz 2MB 2.8v CPUIntel PIII Xeon 900 MHz 100MHz 2MB 2.8v CPU ** Intel PIII Xeon 900 MHz 100MHz 2MB 2.8v CPU **XEON POWER! This Intel Pentium III processor is designed for mid-range and higher server and workstations. General Features:- 900 MHz - 100 MHz system bus - 2 MB full speed L2 cache - Supports Multi-processing - 2.8v Input Voltage - Slot 2 CPU - Streaming SIMD Extensions - Extended Server Memory Architecture - S step: SL5D3Compatibility/Requirements/Disclosures:** Requirements *** Motherboard that suports Xeon 900MHz 2MB 2.8v CPU's* Heatsink & Fan ** Disclosures *** Country of Origin may be China, Taiwan, Korea, USA, Malaysia More ...
Intel Pentium 75MHz Socket 7 CPUIntel Pentium 75MHz Socket 7 CPU ** Intel Pentium 75MHz Socket 7 CPU **General Features:- Original Intel Pentium Classic- 75MHz- Socket 7- Ceramic PGA packaging- CPU OnlyCompatibility/Requirements/Disclosures:** Requirements *** Socket 7 Heatsink & Fan* Motherboard that supports 75MHz Pentium CPU's More ...
Nero 6.6 OEM SuiteNero 6.6 OEM Suite ** Nero 6.6 OEM Suite **The ULTIMATE CD/DVD burning suite in the industry! Nero 6.6 has become the All-in-One solution! With all the various helpful applications included in Nero 6.6, all of your CD and DVD burning tasks can be managed with flying colors. Go beyond the everyday rip and burn with this new, complete set of media tools. Burning DVD-Video, Photo, Data, Audio - not a problem! Nero 6.6 can handle it. But this is only one part of the new All-in-One solution. Nero 6.6 offers you the ability to mix tracks, watch movies, listen to music, optimize your system, design covers and more. If you enjoyed Nero 5.5, you'll love Nero 6.6.Nero 6.6 OEM Suite 1 Includes:Nero StartSmart 2StartSmart is the project launcher that makes it easy to navigate this powerful software. All the tools you need are organized together and available with the click of a mouse. StartSmart has every coll effect and editing tool you will ever need to take your projects to the next level.Nero Express 6.6 The fastest way to perfect results. Whether you are a beginner or an expert, Nero Express guides you quickly and easily through your projects.Nero ShowTime 2An integrated player is added for playing back your video files. Nero ShowTime's image quality and clear sound will definitely impress many.InCD 4This intelligent package writing solution has been improved through the use of SmartDetect technology, which will instantly recognizes new recorders. Other Features Included:- Vision Express 3se- Nero Media Player - Nero Toolkit - Nero Cover DesignerNotes:- OEM CD OnlyCompatibility/Requirements/Disclosures:** General Requirements: *** Microsoft Windows 95B, NT4, 98, 98SE, ME, 2000, XP * 300 MHz (minimum), 500 MHz for DVD playback, 800 MHz (for capturing to hard disc), 1.6 GHz (for capturing to DVD video) * 64 MB RAM, 128 MB RAM (for video editing) * 500 MB free hard disc space, 4.8 GB hard disc space (for DVD images) * Screen resolution of at least 800 x 600 pixels, 16 bit color depth or higher * CD and/or DVD recorder * Windows Internet Explorer 4.0 or higher * Windows compatible soundcard ** Special Requirements: *** Firewire (IEEE 1394) for DV-Capturing * TV-Tuner or Video-Capture-Board for analog capturing * Printer for covers and labels * Internet access for working with the internet database * CD- and/or DVD-Recorder for rewritable discs is necessary for Packet Writing More ...
NEW Sempron 2200+ 256MB DDR 40GB CDRWNEW Sempron 2200+ 256MB DDR 40GB CDRW ** NEW Sempron 2200+ 256MB DDR 40GB CDRW **This system features an AMD Sempron 2200+ processor, a 40GB 7200RPM hard drive, 256MB of DDR RAM, and sports a 52X32X52 CD-RW drive.General Features:- AMD Sempron 2200+ processor- 333MHz Front Side Bus- 256MB DDR Memory- 40GB 7200RPM IDE Hard Drive- 52X32X52 CD-RW Drive- S3 UniChrome 2D/3D Graphics with motion compensation with up to 64MB shared memory - Realtek ALC655 6-Channel audio - 56K V.90 Data/Fax Modem- Integrated 10/100 Ethernet- Standard Size ATX Power SupplyMotherboard Features:- VIA KM400 (NB), VT8235CE (SB) Chipset- One (1) AGP 8X Slot for Graphics upgrades- Two (2) PCI slots- One (1) CNR Slot (occupied by modem)I/O Ports:- Two (2) PS/2 Ports, one for mouse, one for keyboard- One (1) Standard DB-15 VGA Connector- One (1) Standard 25-pin Parallel Port Connector- One (1) Standard 9-pin Serial Port Connector- Six (6) Standard USB 2.0 Ports (Two on front, four on rear)- One (1) Standard RJ-45 10/100 Ethernet Port- Line-in, Phone-out RJ-11 Jacks on PCI Modem-Line-in, Mic-in, Line-out 3.5mm mini-jacksPackage Includes:-Amptron Sempron 2200+ System- PS/2 Keyboard and Scroll Mouse- Driver Disc- Panda AntiVirus Software- FaxTalk Communicator Software- Adobe Reader- RJ-11 Phone Cable for Modem- Amplified Stereo Speakers - Amptron ECS KM400-M2 Motherboard manual- U.S. Style Power CordCompatibility/Requirements/Disclosures:** Requirements *** Operating system (WinXP,2000,98,etc.)* VGA monitor* Power outlet More ...
Multilingual Bible Story-Noah's ArkMultilingual Bible Story-Noah's Ark This fascinating Bible story is told in all its wonder and splendor in this multilingual interactive CD-ROM. Simultaneous Multi-Lingual Interface is a revolutionary interface which allows you to access and translate all nine languages simultaneously from one language to another. Perfect for use in a multilingual classroom, or as a supplement to language lessons! Ages 4+. Windows 95/98/2000/ME/XP More ...
Atlas 9.1GB SCSI UW 68-Pin 7200RPMAtlas 9.1GB SCSI UW 68-Pin 7200RPM ** Atlas 9.1GB SCSI UW 68-Pin 7200RPM **For enterprise level data storage, the Maxtor Atlas V 7200RPM disk drive is an excellent choice for entry-level servers, workstations and storage subsystems. Built on the industry leading Atlas architecture, it has a blazing-fast 6.3 millisecond average seek time, 29 MB/sec maximum sustained data throughput, and leading-edge Ultra 160 SCSI interface .General Features:- Capacity: 9.1GB - Access Time: 6.3 ms - Interface: Ultra 160 SCSI - Interface Type: Maxtor Atlas V 3.5 - Internal/External: Internal - Rotational Speed: 7200 RPM - System Type: PC - Transfer Rate: 29 MB/s Notes:- Quantum model XCL09L011 More ...
|
