|
|
beta reduction
[lambda-calculus] The application of a lambda
abstraction to an argument expression. A copy of the body of
the lambda abstraction is made and occurrences of the bound
variable being replaced by the argument. E.g.
(\ x . x+1) 4 --> 4+1
Beta reduction is the only kind of reduction in the pure
lambda-calculus. The opposite of beta reduction is beta
abstraction. These are the two kinds of beta conversion.
See also name capture.
Try this search on OneLook / Google
Nearby terms:
beta abstraction « beta conversion « Betamaxed « beta reduction » beta testing » beta version » Bezier
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Intel Pentium 233MHz MMX Socket 7 CPUIntel Pentium 233MHz MMX Socket 7 CPU ** Intel Pentium 233MHz CPU with MMX **- Pentium 233MHz CPU with MMX Multimedia Extentions- Socket 7- No Heatsink/Fan- CPU OnlyCompatibility/Requirements/Disclosures:** Requirements **Socket 7 Heatsink & Fan* Motherboard that supports 233MHz MMX Pentium CPU More ...
Biostar U8668D P4M266A S478 mATX MB w/Vid Snd NICBiostar U8668D P4M266A S478 mATX MB w/Vid Snd NIC ** Biostar U8668D Socket 478 Motherboard **Building a good system means starting with a great motherboard like this Biostar U8668D. The U8668D featuressupport for Intel Pentium 4 processors up to 3.06 GHz andsupports up to 2 GB DDR RAM! The mATX form factor makes itideal for integration in busy offices where the integratedvideo, audio and Ethernet controllers can be put to work!General Features:- mATX form factor- Socket 478- VIA P4M266 chipset- Supports 400 MHz & 533 MHz Front Side Bus (FSB)- Supports up to 2 GB DDR RAM (PC2100)- Two (2) dual-channel UDMA/133 IDE controllers - Two (2) dual-channel floppy disk controllers- S3 ProSavage 8 integrated video- Integrated AC'97 2.2 audio CODEC- Realtek RTL 8100B integrated Ethernet controllerExpansion Slots:- One (1) AGP slot- Three (3) PCI slots- One (1) CNR slot- Two (2) 184-pin DIMM slotsI/O Ports:- Two (2) PS/2 ports- One (1) 15-pin standard VGA connector- One (1) 9-pin standard serial port- One (1) 25-pin standard parallel port- One (1) 15-pin game/midi port- Four (4) USB 1.1 ports (two on back, two via header)- One (1) RJ-45 standard Ethernet jack- Line-in, microphone and line-out jacksSupported Processors:- Intel Pentium 4 Socket 478 processors up to 3.06 GHz with 533 MHz FSB- Intel Celeron Socket 478 processors up to 2.4 GHzHardware Monitor Function Features:- CPU/system fan speed- CPU temperature- System voltage- Vcore, +3.3V, +5V, +12VWarpSpeeder Features:- Overclock- Hardware monitorRegulatory Approvals:- FCC- CERetail Package Includes:- Biostar U8668D motherboard- User's Manual- One (1) 40-pin, 80-wire IDE cable- One (1) floppy disk controller- Driver CD- Applications CDNotes:- Retail box may vary- Manual graphics may vary Compatibility/Requirements/Disclosures: ** Requirements *** ATX case* ATX power supply* Supported processor* Supported RAM* Rest of system** Disclosures *** Retail box may vary* Manual graphics may vary More ...
Gateway Tower P4 3.0GHz 256B 80GB CDRW w/XPGateway Tower P4 3.0GHz 256B 80GB CDRW w/XP ** Gateway 510 Pentium 4 3.0 GHz System **This Gateway system is ready to go! This Gateway 510 Tower is powered by an Intel Pentium 4 3.0 GHz processor (with Hyper-Threading) and 256 MB of RAM. Microsoft Windows XP Home is pre-installed on the 80 GB hard drive. Access media, back-up data, burn CDs with the CDRW drive! Get this Gateway 510 series system today!General Features:- Microsoft Windows XP Home pre-installed- Black and silver color- Intel Pentium 4 3.0 GHz processor (with Hyper-Threading)- 256 MB RAM- 80 GB hard drive- CDRW drive- Note: NO floppy drive- Integrated video- Integrated sound - Integrated ethernet- 56K PCI modemMotherboard Features:- Four (4) 184-pin DIMM sockets- One (1) AGP slot- Three (3) PCI slotsI/O Ports:- Two (2) PS/2 ports- Eight (8) USB ports (6 on back/ 2 on front)- One (1) 9-pin Serial port- One (1) Parallel port- One (1) RJ-45 ethernet jack- One (1) 15-pin VGA port- Mic in, Line in, Line out jacksRegulatory Approvals:- FCC- UL- NOMPlain Package Includes:- Gateway 510 Pentium 4 3.0 GHz Tower System- Microsoft Windows XP Home pre-installed- Applications CD- Drivers CD- USB mouse- PS/2 keyboard- Power CordNotes:- Gateway Model: 510 Compatibility/Requirements/Disclosures: ** Requirements *** Available Power Outlet * SVGA Monitor More ...
Toshiba D-KR2 Multi-Drive DVD Recorder (Silver)Toshiba D-KR2 Multi-Drive DVD Recorder (Silver) ** Toshiba Multi-Drive DVD Recorder **Enjoy the benefits of DVD recording with this Toshiba MMulti-Drive DVD Recorder! It can record to DVD-R/-RW/DVD-RAM media and features MPEG2 image recording system, and Dolby Digital M1, M2, Linear PCM sound recording system. The Digital Cimema Progressive provides smooth clear picture quality. This Toshiba D-KR2 lets you play your favorite DVDs and CDs as well as record from different audio/video input sources. Buy your Toshiba Multi-Drive DVD Recorder today!General Features:- Silver color- DVD-R/-RW/DVD-RAM Video Recorder- Region 1- NTSC color system- WMA & MP3 Playback- MPEG2 image recording system- Dolby Digital M1, M2, Linear PCM sound recording system- Digital Cimema Progressive- JPEG Viewer- 181 Channel NTSC Tuner- 12 hour digital clock display- Video: 10-bit/54 MHz Video Digtial/Analog Converter- Audio: 24-Bit/192kHz Audio Digital/Analog ConverterSupported Write Formats:- DVD-R- DVD-RW- DVD-RAMSupported Disc Formats:- DVD-R- DVD-RW- DVD-RAM- DVD Video disc- Video CD- Audio CD- CD-R- CD-RWRemote Control Features:- Power- Open/close- Top menu- Menu- Return- Angle- Subtitle- Audio- Channel up- Channel down- TimeSlip- Easy Navi- Instant Reply- Instant Skip- Library- Rec Menu- Edit Menu- Content Menu- Slow- Skip- Frame/Adjust- Picture Search- Pause- Stop- Play- Rec- Star Button- O button- Quick Menu- Remain- Display- Time Bar- CHP Divide- Dimmer- FL Select- Zoom- P in P- TV/Video- Channel up/down- Progressive- Input SelectFront Panel Features:- On/Standby indicator- On/Standby button- Media indicator- Rec button- TimeSlip button- Play button- Open/Close- Pause- Picture Search- Stop- DV input terminal- S-Video input- L/R video inputs- Input select button- Channel up/down buttonsRear Panel Features:- RF In from Ant- RF Out to TV- Channel change IR jack- R/L /Video/S-Video input1 jacks- R/L/Video/S-Video input2 jacks- Optical jack - Component output- R/L/Video/S-Video output jacks- Power plugPower Specifications:- 120V, AC 60Hz, 34WUnit Dimensions:- 2.75 zx 17 x 12.25-inches (H x W x D)Regulatory Approvals:- ULFactory Plain Box Includes:- Toshiba Multi-Drive DVD Recorder- Manual- Remote control- RCA cable- Antenna cable- Channel Change IR cable- Power cordNotes:- Model: D-KR2- Two (2) AAA batteries for remote control not included- This recorder only records to DVD-R/-RW/-RAM media, not to DVD+R/+RW media. Compatibility/Requirements/Disclosures:** Requirements *** Video/Audio source with S-Video, component, or component jacks* TV antenna, tuner, coaxial jacks* Two (2) AAA batteries for remote control* Blank DVD-R/RW/-RAM recordable media* Available power outlet More ...
FBM Ultimate Internet Privacy ZeroSpyware/ZeroSpamFBM Ultimate Internet Privacy ZeroSpyware/ZeroSpam ** FBM Ultimate Internet Privacy ** PC Security presents real problems encountered by theaverage users. This FBM Ultimate Internet Privacy willprotect your privacy, boost system performance, and increaseInternert surfing speeds. FBM Software's Internet Privacy Suite protects you and your business from intruders invading your privacy. It eliminates and block malicious spyware, adware, cookies and browser hijackers. This Internet Privacy comes with ZeroSpyware, ZeroSpam, and ZeroAds CDs! Stop intruders, spyware, spam from entering your PC, get this FBM Ultimate Internet Privacy today!General Features:- Contains ZeroSpyware, ZeroSpam, and ZeroAds CDs- ZeroSpyware: Removes hidden spyware, block spyware installers and stop browser hijackers- ZeroSpam: Never seek junk email again and stops spam forever- ZeroAds: blocks all type of Internet ads, removes cookies, allowing you to surf the net faster- Easy to use- Automatic updatesRetail Package Includes:- FBM Ultimate Internet PrivacyNotes:- UPC: 8 21681 04052 5 Compatibility/Requirements/Disclosures: ** Requirements *** Pentium 233 MHz processor* Windows 98SE/ME/2000/XP* 64 MB RAM* 26 MB available hard disk space* CD-ROM drive More ...
All In One Conferencing CardAll In One Conferencing Card ** Video All In One Conferencing Card **This card provides a convergence of high quality video processing technologies combined with full audio and DVD capabilities for the complete Video Communication and Multimedia solution.General Features:- Integrated Video I/O: Fully-Accelerated SVGA Video display - Hardware-based MPEG Video decoding for streaming or DVD video - MPEG-1 hardware-based Video encoding for video editing - Complete DVD feature support - Integrated Audio I/O: 32-voice MAX Forte Wavetable Synthesiser - Dolby Digital SRS 3D positional sound - 8 simultaneous play and record channels - General MIDI support - Integrated Modem/Telephony/Internet Support: 33.3 simultaneous Voice/data Fax Modem - Full-duplex Speakerphone with voice mail - MAX Internet Media Processor Specifications: 3600 Million instructions Per Second Media Processing Speed RAMBus Memory, 300 Mhz Clock, 600 Mbytes Transfer Rate Multiple Arithmetic Logic Units, Tandem and Parallel Tasking On-board Bus 792 Bits Wide, 10 Gigabytes per second. Includes:- Card only (no drivers or documentation)Notes:Drivers can be downloaded from here More ...
|
