|
|
predicate calculus ==>
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.
Princeton Review Inside the ACT 2003Princeton Review Inside the ACT 2003 Packed with features to help you increase ACT scores, find the right college, and get in. On-screen instructors from The Princeton Review teach the best strategies and test-taking techniques. The program helps users learn how to avoid test traps while improving skills with comprehensive exercises. Windows 95/98/ME/2000/XP and MAC More ...
3-in-2 Removable SATA Backplane Internal DriveCase3-in-2 Removable SATA Backplane Internal DriveCase ** 3-in-2 Removable SATA Backplane Internal Drive Case **This 3-in-2 Removable Internal Drive Case can accomodate three high performance SATA 3.5-inch hard drives, while occupying only two 5.25-inch drive bays! It's constructed of aluminum, has a cooling fan for effective airflow ventilation and supports up to 150 Mbps data transfer rates. This SNT-2131-SATA hard drive case is a reliable and economic solution on RAID 0,1,5! Order yours today! General Features:- Aluminum Frame, Aluminum Cover - Interface: Serial ATA 1.0 - High performance transfer rate: Up to 150 MB/sec. - Form Factor: 2 Bay for 3 HDD (1") - Support RAID 0, 1, 5 functions - Plug and Play , Hot Swappable - Point to point, free from master/slave setting - SATA 15-pin & 4 pin power connectors - LED for P/S, Fan Sensor & Buzzer - Power Control Switch - Reset Switch for buzzer alarm - 8cm Fan Dimensions: - 8" x 5.75" x 3.5" (L x W x H, approximate) Regulatory Approvals: - CE Retail Package Includes: - 3-in-2 Removable SATA Backplane Internal Drive Case - User's Manual Notes: - Model: SNT-2131-SATA Compatibility/Requirements/Disclosures: ** Requirements *** Available Two (2) 5.25-inch drive bays * 3.5-inch SATA Hard Drives * Available 4-pin power connector More ...
Motorola BR700 4-Port Ethernet Broadband RouterMotorola BR700 4-Port Ethernet Broadband Router ** Motorola BR700 Ethernet Broadband Router **Craving blazing network speeds? This Motorola BR700 is a 4-port 10/100Base-T Ethernet router/switch that supports data rates up to 100 Mbps. If you're ready to network everyone in your home or small office, this Motorola BR700 is sure to satisfy even the most demanding speed demon!General Features:- 4-port 10/100Base-T Ethernet switch/router- Supports data rates up to 100 Mbps- Built-in switch enables gaming and multimedia transfers- Demilitarized Zone (DMZ) hosting enhances gaming play- Configures as a Dynamic Host Configuration Protocol (DHCP) Server to automatically assign Internet Protocol (IP) addresses- Dynamic Domain Name System (DDNS)- Static and dynamic routing (RIPv1 and RIPv2)- Network Address Translation (NAT) technology, Firewall, Virtual Server and Port Triggering- Connect remotely through a Virtual Private Network (VPN) with Internet Protocol Security (IPSec) and Point-to-Point Tunneling Protocol (PPTP)- IP and MAC Address FilteringRegulatory Approvals:- FCC- CERetail Package Includes:- Motorola BR700 Ethernet Broadband Router- AC Adapter (120VAC 60Hz)- Installation Wizard CD- Stand- Getting Started GuideNotes:- Model: BR700- UPC Code: 6 12572 09534 8 Compatibility/Requirements/Disclosures: ** Requirements *** Windows 98/98SE/Me/2000/XP* Broadband Internet Access (cable, DSL, or other)with RJ-45 port* CD-ROM drive* Ethernet cable More ...
Genica GN-062 Mini USB IonizerGenica GN-062 Mini USB Ionizer ** Genica USB Mini Ionizer **Want a healthy environment? Need fresh smelling air? Got bad allergies? If you answered YES to one or more of theses then we have a solution for you. Genica GN-062 USB mini ionizer is perfect for your needs. This handy ionizer eliminates bad odor, reduce positive ions, and reduces air-born dusts and particles. The ultra-compact air ionizer allows you, your family and your guests to enjoy much cleaner, fresher-smelling air.General Features:- Gives out negative ions to reduce dust and particles- Neutralize positive ions produced by computer screens- Helps reduce fatigue and headaches caused by computer screens- Refreshes stale, polluted air- Mountable- USB powered- On/off switchRegulatory Approvals:- FCCRetail Package Includes:- GN-062 USB Ionizer- Suction cup mount- Clip mountsNotes:- Part Number: GN-062- UPC: 8 10884 00062 7 Compatibility/Requirements/Disclosures: ** Requirements *** Available USB port More ...
NEW Sempron 2300+ 256MB DDR 80GB CDRWNEW Sempron 2300+ 256MB DDR 80GB CDRW ** NEW Sempron 2300+ 256MB DDR 80GB CDRW **This system features an AMD Sempron 2300+ processor, an 80GB hard drive, 256MB of DDR RAM, and sports a 52X32X52 CDRW drive.General Features:- AMD Sempron 2300+ processor- 256MB DDR Memory- 80GB IDE Hard Drive- 52X32X52 CDRW Drive- Integrated SiS Real256E 2D/3D Graphics 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:- SiS 741GX (NB), SiS 964L (SB) Chipset- One (1) AGP 8X Slot for Graphics upgrades- Three (3) 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 2300+ 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 - ECS 741GX-M Motherboard manual- U.S. Style Power CordCompatibility/Requirements/Disclosures:** Requirements *** Operating system (WinXP,2000,98,etc.)* VGA monitor* Power outlet More ...
IBM Celeron 2.0GHz 128MB 20GB CD 15'' w/WinXPIBM Celeron 2.0GHz 128MB 20GB CD 15'' w/WinXP ** IBM Thinkpad R40 Celeron 2.0 GHz Notebook **Notebook computing power! This IBM Thinkpad R40series notebook is loaded with feature rich components! Features include an Intel Celeron2.0 GHz processor and 128 MB of RAM. MicrosoftWindows XP Home Edition is pre-installed on the20 GB hard drive. Watch crisp, clear video onthe Thinkpad's 15 TFT display! The IBM ThinkpadR40 series is lightweight and compact so you cantake it anywhere!General Features:- Microsoft Windows XP Home Edition pre-installed- Intel Celeron 2.0 GHz processor- 128 MB RAM (1 GB maximum)- 20 GB hard drive- CD-ROM Drive (24x)- No Floppy Drive- Keyboard with Touchpad and Trackpoint- ATI Mobility RADEON graphics chipset- 16 MB VRAM- Integrated audio with built-in speakers- Integrated 56K V.92 modem- Integrated 10/100 Ethernet- 15-inch TFT Display / 1024 x 768 max resolution- Lithium-Ion batteryExpansion Slots:- Two (2) PCMCIA type I/II slots or one (1) type IIII/O Ports:- One (1) Parallel port- One (1) 15-pin VGA port- One (1) RJ-11 modem jack-One (1) RJ-45 ethernet jack- Two (2) USB 2.0 ports- One (1) S-Video- One (1) IEEE 1394 FireWire port- Microphone and Headphone in jacksRegulatory Approvals:- FCC- CE- ULFactory Box Includes:- IBM Thinkpad R40 Celeron 2.0 GHz Notebook- Microsoft Windows XP Home Edition pre-installed- Microsoft Windows XP Home Edition Start Here- AC Adapter (100-240V 50-60Hz) with power cord- Set Up Guide- Service and Troubleshooting GuideNotes:- IBM Thinkpad R40 Series- Type: 2681-7CU Compatibility/Requirements/Disclosures:** Requirements *** Available power outlet More ...
|
