|
|
bound variable
1. A bound variable or formal argument in a function
definition is replaced by the actual argument when the
function is applied. In the lambda abstraction
\ x . M
x is the bound variable. However, x is a free variable of
the term M when M is considered on its own. M is the scope
of the binding of x.
2. In logic a bound variable is a quantified variable. See
quantifier.
Try this search on OneLook / Google
Nearby terms:
boundary value analysis « bounded « boundedly complete « bound variable » bournebasic » Bourne shell » boustrophedonic
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
3-Button PS/2 Backlit Optical Scroll Mouse (Blue)3-Button PS/2 Backlit Optical Scroll Mouse (Blue) ** 3-Button PS/2 Illuminating Optical Mouse **This 3-button light up mouse will be a nice addition to your custom system. This mouse offers a PS/2 interface and the luxury of optical tracking. Cleaning your mouse is now a thing of the past! General Features:- Blue and clear design- Scroll wheel lights up blue- Bottom and back light up red- PS2 interface- Optical tracking- 3-button layout- Scroll wheel acts as third button- Ergonomic design for left and right-handed users- Precise cursor movementRegulatory Approvals- FCC- CERetail Package Includes:- 3-Button USB light-up mouse Compatibility/Requirements/Disclosures: ** Requirements *** Microsoft Windows 95/98/NT/2000/ME/XP * Available PS/2 mouse port More ...
USB-PS/2 White Illuminated Multimedia KYB (Silver)USB-PS/2 White Illuminated Multimedia KYB (Silver) ** USB-PS/2 White Illuminated Multimedia Keyboard (Silver) **Add style and functionality to your computer with this cool USB-PS/2 keyboard. The translucent white keys light up blue similar to Eluminx keyboards and add some pizzazz to your desk. Multimedia keys provide quick access to e-mail, the Internet and more! Its Silver profile looks great anywhere!General Features:- Silver keyboard- White translucent keys with black lettering- 107-key layout- USB to PS/2 adapter attached- Multimedia keys- On/Off button for illuminationMultimedia Keys Features:- Internet Home button - E-Mail button- Back button- Forward button- Search button- Refresh button- Favorites button- Webcam button- Volume down button- Volume up button- Mute button- Stop button- Previous Track button- Play button- Next Track button- My Computer button- Sleep buttonPackage Includes:- Silver USB-PS/2 w/white illuminated keys keyboard- Driver disketteNotes: - Eluminx is a registered trademark of Auravision LLC- This keyboard is not manufactured by nor related in any way to the Eluminx brand Compatibility/Requirements/Disclosures: ** Requirements*** Available USB or PS/2 port* 1.44 MB floppy disk drive** Disclosures *** Eluminx is a registered trademark of Auravision LLC* This keyboard is not manufactured by nor related in any way to the Eluminx brand More ...
Internal Computer Power Cable Y SplitterInternal Computer Power Cable Y Splitter ** Power Supply Y Cable **Here is the inexpensive way to add power extensions to acomputer system without replacing the entire power supply!This power supply Y cable connects to one extension of thepower supply and provides two additional connections to power new devices!General Features:- Standard 4-pin connection to power supply - Cable splitter supplies power to two more devices - 7.5 inches overall length Compatibility/Requirements/Disclosures:** Requirements *** Power supply with standard 4-pin molex power connector More ...
ATI Radeon 9200SE 128MB DDR AGP VCD w/TV-OutATI Radeon 9200SE 128MB DDR AGP VCD w/TV-Out ** ATI Radeon 9200SE 128 MB DDR Video Card with TV-Out **This ATI Radeon 9200SE series AGP video card delivers a dazzling 3D experience to PC enthusiasts! Features include 128 MB of DDR memory and 350 MHz RAMDAC. Integrated DVI, S-Video and 15-pin VGA connectors makes this Radeon 9200SE a highly versatile video card! Order yours today!General Features:- Radeon 9200SE chipset- 128 MB DDR memory- AGP 8x/4x interface- 350 MHz RAMDAC- 200 MHz Core Clock- CHARISMA ENGINE II - SMARTSHADER technology - SMOOTHVISION- HYPER Z II- Highly optimized 128-bit 2D engine with support for new Windows XP GDI extensions Connectors:- 15-pin VGA port- S-Video port- DVI portRegulatory Approvals:- FCC- CERetail Box Includes:- Radeon 9200SE 128MB DDR Video Card- Drivers CD- User's Manual - S-Video cableNotes:- Model: 92SEAD128B Compatibility/Requirements/Disclosures:** Requirements *** Intel Pentium 4/III/II/Celeron, AMD K6/Duron/Athlon/Athlon XP or compatible * Available AGP slot* 64MB RAM* Installation software requires CD-ROM drive * DVD playback requires DVD drive More ...
Intel PII 400MHz 100MHz 512KB Slot 1 CPUIntel PII 400MHz 100MHz 512KB Slot 1 CPU ** Intel PII 400MHz 100MHz 512KB Slot 1 CPU **General Features:- Standard Intel Pentium II Processor- 400MHz- Slot 1, SECC Package- 100MHz Bus Speed- 512KB L2 Cache Notes:- CPU Only Compatibility/Requirements/Disclosures:** Requirements *** Motherboard That Supports PII 400MHz CPUs* SECC Heatsink & Fan** Disclosures *** Country of origin: Malaysia, Costa Rica, Ireland or Philippines More ...
Intel P4 1.4GHz 400MHz 256KB Socket 478 Pin CPUIntel P4 1.4GHz 400MHz 256KB Socket 478 Pin CPU ** Intel P4 1.4GHz 400MHz 256KB Socket 478 Pin CPU **- 1.4 GHz Clock Speed- PGA 478-pin Package- 400 MHz system bus- Level 2 Advanced 256 KB Transfer Cache- CPU Only Compatibility/Requirements/Disclosures:* Motherboard that can run a Pentium 4 1.4 GHz CPU(needs 400MHz Bus Support)* Heatsink/Fan - for Pentium 4 478-pin CPU More ...
|
