Go to GlobalSpec.com Home
 

Free Registration 
Download Engineering Toolbar
GlobalSpec Home
Find:      Advanced Search >>
Welcome to GlobalSpec!
We found this content for: symbolic logic
Click on a category to narrow your results.
Alert Product Alerts
Keep current on the latest products, new suppliers, and technical articles of interest to you. (See Topics)
 
All Products & Services Part Number Search Engineering News Application Notes Material Properties Patents Standards
Product Categories for symbolic logic
Programmable Logic Controllers (PLCs - (526 companies)
Programmable logic controllers (PLCs) are the control hubs for a wide variety of automated systems and processes. They use a wide variety of inputs and outputs and provide network capability Search by Specification | Learn more about Programmable Logic Controllers (PLCs
Logic Analyzers - (62 companies)
Logic analyzers are used to characterize and debug hardware, design and test firmware and software, and perform synthesis integration Learn more about Logic Analyzers
Parity Checkers and Generators - (20 companies)
Parity checkers are integrated circuits (ICs) used in digital systems to detect errors when streams of bits are sent from a transmitter to a receiver. Parity generators calculate the parity of data packets and add a parity amount to them. Search by Specification | Learn more about Parity Checkers and Generators
Programmable Logic Devices (PLD - (141 companies)
Programmable logic devices (PLD) are designed with configurable logic and flip-flops linked together with programmable interconnect. PLDs provide specific functions, including device-to-device interfacing, data communication, signal processing, data display, timing and control operations, and almost every other function a system must perform Search by Specification | Learn more about Programmable Logic Devices (PLD
Logic Gates - (60 companies)
Logic gates are electronic circuits that combine digital signals according to boolean algebra Search by Specification | Learn more about Logic Gates
Monostable Multivibrators - (21 companies)
Monostable multivibrators, also known as one-shots, are digital devices similar to flip-flops, but with only one stable state where they remain until triggered by an input signal. Once triggered, the output is switched to the opposite state. Search by Specification | Learn more about Monostable Multivibrators
Arithmetic Logic Units (ALU - (16 companies)
Arithmetic logic units (ALU) perform arithmetic and logic operations on binary data inputs. In some processors, the ALU is divided into two units: an arithmetic unit (AU) and a logic unit (LU Learn more about Arithmetic Logic Units (ALU
Logic Level Translators - (27 companies)
Logic level translators adapt or convert one voltage or logic level to another Learn more about Logic Level Translators
Complex Programmable Logic Devices (CPLD - (49 companies)
Complex programmable logic devices (CPLDs) are integrated circuits (ICs) or chips that application designers configure to implement digital hardware such as mobile phones. CPLDs can handle significantly larger designs than simple programmable logic devices (SPLDs), but provide less logic than field programmable gate arrays (FPGAs Search by Specification | Learn more about Complex Programmable Logic Devices (CPLD
Shift Registers - (35 companies)
Shift registers are sequential logic circuits that are used to store and move data. They accept binary inputs from one serial or parallel source and then shift the data through a chain of flip-flops, one bit at time Search by Specification | Learn more about Shift Registers
Specialty Programmable Logic Devices - (19 companies)
Specialty programmable logic devices are specialty or proprietary products and accessories related to programmable logic devices (PLDs Learn more about Specialty Programmable Logic Devices
Simple Programmable Logic Devices (SPLD - (38 companies)
Simple programmable logic device (SPLD) chips are the simplest, smallest and least expensive type of programmable logic device (PLD). They typically comprise 4 to 22 fully connected macro cells Learn more about Simple Programmable Logic Devices (SPLD
Digital Latches - (41 companies)
Digital latches are logic devices that latch onto or retain digital states (1 or 0) in data storage circuits Search by Specification | Learn more about Digital Latches
Flip-flops - (44 companies)
Flip-flops are digital logic devices that synchronize changes in output state (1 or 0) according to a clocked input. Search by Specification | Learn more about Flip-flops
Binary Adders - (24 companies)
Binary adders are digital devices that are capable of adding binary numbers. There are two basic types: half-adders and full-adders. Search by Specification | Learn more about Binary Adders

More >>
See more product announcements for Programmable Logic Controllers (PLCs)
DL205 micro-modular PLC -

DL205 micro-modular PLC -
Automationdirect.com


Omron CP1

Omron CP1
AA Electric


Powerful Single Axis Solution

Powerful Single Axis Solution
ORMEC Systems Corp.


11 See more product announcements for Programmable Logic Controllers (PLCs)

Product Announcements for symbolic logic

Product Announcements: 1 - 10 of 638
Parker Hannifin / Automation / Pneumatic Division - Air Logic and Logic Valves
Parker Hannifin / Automation / Pneumatic Division
Air Logic and Logic Valves

The modular sequencer can easily be configured to any application cycle requirement. (read more)

More product announcements from Parker Hannifin / Automation / Pneumatic Division
Browse Parker Hannifin / Automation / Pneumatic Division Catalog
Heaters Controls & Sensors - 1/16 DIN Fuzzy Logic Temperature Controllers
Heaters Controls & Sensors
1/16 DIN Fuzzy Logic Temperature Controllers

1/16 DIN Fuzzy Logic Controller from Heaters Controls And Sensors. The FuzyPro 1/16 DIN Fuzzy Logic Temperature Controllers can easily be configured to provide precise control. The advanced Smarter Logic "Fuzzy" allows processes to be controlled better than ever before, with virtually no initial overshoot or temperature variations. (read more)

More product announcements from Heaters Controls & Sensors
Browse Heaters Controls & Sensors Catalog
Browse Temperature Indicators and Temperature Instruments Datasheets for Heaters Controls & Sensors
Eaton's Cutler-Hammer Power Control & Logic Components - ELC Programmable Logic Controllers
Eaton's Cutler-Hammer Power Control & Logic Components
ELC Programmable Logic Controllers

The ELC Programmable Logic Controllers from Eaton feature small size (but large PLC functions), flexibiilty, easy-to-use software, and vast communications capabilities--all at an exceptional price. (read more)

More product announcements from Eaton's Cutler-Hammer Power Control & Logic Components
Browse Eaton's Cutler-Hammer Power Control & Logic Components Catalog
Browse Programmable Logic Controllers (PLCs) Datasheets for Eaton's Cutler-Hammer Power Control & Logic Components
Electro Standards Laboratories - M6765 4-Channel Logic-to-Fiber Interface Converter
Electro Standards Laboratories
M6765 4-Channel Logic-to-Fiber Interface Converter

  • High Speed Digital Logic Level to Fiber Interface Converter
  • Translates four input/output logic pairs into four fiber pairs
  • Convenient circuit board, ideal for embedded applications
(read more)
More product announcements from Electro Standards Laboratories
Browse Electro Standards Laboratories Catalog
Browse Network Media Converters Datasheets for Electro Standards Laboratories
ASI/Automation Systems Interconnect, Inc. - Sensor Logic Inverter
ASI/Automation Systems Interconnect, Inc.
Sensor Logic Inverter

Automation Systems Interconnect, Inc, ASI, CI-NPN/PNP signal logic inverter provides a convenient means to convert from a positive logic to a negative logic and visa versa, thus enabling various sensor types to be matched to meet controller requirements. (read more)

More product announcements from ASI/Automation Systems Interconnect, Inc.
Browse ASI/Automation Systems Interconnect, Inc. Catalog
Browse Signal Converters Datasheets for ASI/Automation Systems Interconnect, Inc.
Ironwood Electronics, Inc. - Logic Analyzer Adapter
Ironwood Electronics, Inc.
Logic Analyzer Adapter

Speed Debugging of Freescale's MPC5554 Processor is made easier with PB-BGA-MPC5554-S-01 Logic Analyzer Adapter (read more)

More product announcements from Ironwood Electronics, Inc.
Browse Ironwood Electronics, Inc. Catalog
Browse IC Sockets and Interconnect Components Datasheets for Ironwood Electronics, Inc.
Ironwood Electronics, Inc. - Agilent Compatible Logic Analyzer Adapter
Ironwood Electronics, Inc.
Agilent Compatible Logic Analyzer Adapter

Full Speed Debugging of low power, 0.8mm pitch SDRAM is made easier with PB-BGA60C-DDRRAM-RIGID-01 Logic Analyzer Adapter (read more)

More product announcements from Ironwood Electronics, Inc.
Browse Ironwood Electronics, Inc. Catalog
Browse IC Sockets and Interconnect Components Datasheets for Ironwood Electronics, Inc.
MetricTest - Agilent 16800 Series Portable Logic Analyzers
MetricTest
Agilent 16800 Series Portable Logic Analyzers

Agilent 16800 Series Portable Logic Analyzers offer the performance, applications, and usability your digital development team needs to quickly debug, validate, and optimize your digital system - at a price that fits your budget. (read more)

More product announcements from MetricTest
Browse MetricTest Catalog
Data Flow Systems, Inc. - Programmable Logic Controller
Data Flow Systems, Inc.
Programmable Logic Controller

Local site automation, as well as local Graphical User Interfaces (GUI)/Human Machine Interfaces (HMI), can be performed by a DFS Programmable Logic Controller (PLC). The DFS Remote Terminal Unit (RTU) architecture provides a simple and convenient platform for remote monitor and remote manual control without the use of any specialized programming at the remote site. (read more)

More product announcements from Data Flow Systems, Inc.
Browse Data Flow Systems, Inc. Catalog
MKS Instruments, Inc. - RMU Linux Logic Controller
MKS Instruments, Inc.
RMU Linux Logic Controller

The RMU Linux Logic Controller is an open, integrated platform for real-time automation control, data acquisition and process monitoring. Based on PowerPC™ and Linux technology, the RMU offers unprecedented levels of I/O and on-board features in a compact package. (read more)

More product announcements from MKS Instruments, Inc.
Browse MKS Instruments, Inc. Catalog
Browse Data Acquisition Datasheets for MKS Instruments, Inc.

More >>

Other Topics You Might Be Interested In
Circuits can be modeled to make sure they work the way you want them to. Circuit modeling can be done either using a computer modeling application, or on a prototype board—also called a breadboard or... (Read More)

Tools & Useful Links for symbolic logic

Tools & Useful Links: 1 - 1 of 1

Ring Theory - Measurements and Mathematics

Engineering Web: symbolic logic 1 - 10 of 1,256,107
The Bulletin of Symbolic Logic
... Symbolic Logic. The Association for Symbolic Logic holds the Copyright to the articles in the Bulletin of Symbolic Logic, and these articles cannot be reprinted without permission from the Association ...
Citations: Verifying Pipelined Hardware Using Symbolic Logic Simulation - Bose, ...
Verifying pipelined hardware using symbolic logic simulation. International Conference on Computer Design (Boston, Oct.). IEEE, New York.. Symbolic Boolean Manipulation with Ordered Binary Decision ...
symbolic logic
Previous: Symbolic Link    Next: Symbolic Mathematical Laboratory symbolic logic. <logic> The discipline that treats formal logic by means of a formalised artificial language or symbolic calculus, ...
symbolic logic definition - computer dictionary online
1995-12-24)   Nearby terms: symbolic inference � Symbolic Link � symbolic link � symbolic logic � Symbolic Mathematical Laboratory � symbolic mathematics � Symbolic Optimal Assembly ...
Citations: Symbolic logic and mechanical theorem proving - Chang, Lee (...
Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.. Semantically Guided Proof Planning - Choi   (Correct). ....Logic, which automated reasoning is based on. First order logic is the ...
Citations: A Theory of properties Journal of Symbolic Logic - Turner (...
... Journal of Symbolic Logic 52, pp. 63-89, 1987. Terms, Logic, Determiners and Quantifiers - The Journal Of   (Correct). No context found.. Turner, R., A Theory of properties Journal of Symbolic Logic ...
Verification of Synchronous Circuits by Symbolic Logic Simulation - Bryant (...
Verification of Synchronous Circuits by Symbolic Logic Simulation. In Hardware Specification, Verification and Synthesis: Mathematical Aspects., Volume 408 of Lecture Notes in Computer Science, pages ...
ATIS Telecom Glossary
Back. symbolic logic. The discipline in which valid arguments and operations are dealt with using an artificial language designed to avoid the ambiguities and logical inadequacies of natural languages.. ...
Symbolic logic inference system based on recurrent multilayered perceptron ...
... the neural network can be used to implement any symbolic logic inference of that domain. It is a theoretical base for studying relations between the abstract thought of human (symbolic logic inference ...
symbolic logic

See Institute for Research in Construction Information
Sponsored Results
LSI Logic Corporation
Speed, flexibility & scalability for enterprise storage environments. Experience the LSI difference - learn more, access podcasts of industry experts
www.lsi.com
Qlogic Hardware at Focus Technology
Focus is a leading provider of servers and IT hardware including Qlogic Hardware. Trained professionals serving our broad spectrum of product lines.
www.focustechnology.com
See your message here...


More >>
Related Keywords
synaptonemal complex, temporal logic

Find Companies By Name
View GlobalSpec Directory
Find Engineering Standards for symbolic logic
Find Patents for symbolic logic



Home   |   About GlobalSpec   |   Advertise With Us   |   Site Map   |   Top Categories   |   Terms of Use
Privacy Policy   |   Link To Our Site   |   Submit a Site   |   Recommend This Site
©1999-2008 GlobalSpec.  All rights reserved.  GlobalSpec, the GlobalSpec logo, SpecSearch, The Engineering Search Engine and The Engineering
Web are registered trademarks of GlobalSpec, Inc. The Engineering Toolbar and DesignInfo are service marks of GlobalSpec, Inc.
No portion of this site may be copied, retransmitted, reposted, duplicated or otherwise used
without the express written permission of GlobalSpec Inc.   350 Jordan Rd, Troy, NY, 12180