|
DC Proof Online (Popularity: )
http://www.dcproof.com
New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises.
Category:
Science - Math - Logic and Foundations - Software
|
|
International Federation for Computational Logic (IFCoLog) (Popularity: )
http://www.ifcolog.org/
A federation of societies and groups active in computational logic.
Category:
Science - Math - Logic and Foundations - Organizations
|
|
(Netherlands) Amsterdam (Popularity: )
http://www.illc.uva.nl/
Institute for Logic, Language and Computation.
Category:
Science - Math - Logic and Foundations - Institutions
|
|
(Russia) St. Petersburg (Popularity: )
http://logic.pdmi.ras.ru/
Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.
Category:
Science - Math - Logic and Foundations - Institutions
|
|
(Austria) University of Vienna (Popularity: )
http://www.logic.univie.ac.at/
Department of Formal Logic.
Category:
Science - Math - Logic and Foundations - Institutions
|
|
Related:
Maybe Logic
- Logic 7
- Logic
- Research In Logic
- Forensic Logic
The Logic Daemon (Popularity: )
http://logic.tamu.edu/
On-line proof checker, and texts.
Category:
Science - Math - Logic and Foundations - Education
|
|
Syllogistic logic online (Popularity: )
http://aristotelianlogic.glashoff.net
This site contains an online program for studying Aristotle's syllogistic logic. The theory of Aristotle's ancient logic is also presented.
Category:
Science - Math - Logic and Foundations - History
|
|
Logic Journal of the IGPL (Popularity: )
http://jigpal.oupjournals.org/
(OUP) Official publication of the Interest Group in Pure and Applied Logic.
Category:
Science - Math - Logic and Foundations - Publications
|
|
Frehnig (Popularity: )
http://www.frehnig.com
Manufacturers of flow meters, electronic instruments and logic controllers with networking. From India.
Category:
Business - Electronics and Electrical - Instrumentation
|
|
Penmar Automation Inc. (Popularity: )
http://www.penmarautomation.com/
Automation and electrical controls including robots, programmable logic and motion controls, hydraulics and pneumatics.
Category:
Business - Electronics and Electrical - Control Systems - Industrial
|
|
TRM (Popularity: )
http://www.trminternational.com/
Design and manufacture of programmable logic controllers, man machine interfaces and motion controls.
Category:
Business - Electronics and Electrical - Control Systems - Industrial
|
|
Logic Plus, Inc. (Popularity: )
http://www.logicplus.net/
Manufactures and integrators of industrial controls and automation including panels, PLC, HMI, and PC control solutions.
Category:
Business - Electronics and Electrical - Control Systems - Industrial
|
|
Gross Automation (Popularity: )
http://www.abbplc.com
ABB PLC Programmable Logic Controllers, featuring the Advant AC31, AC210, AC250, Procontic CS31, Axumerik, SIGMA-tronic and Cetact processors and programming software
Category:
Business - Electronics and Electrical - Control Systems - Programmable Logic Controllers
|
|
MrPLC (Popularity: )
http://www.mrplc.com/
Focus on Allen Bradley, GE, Omron and Mitsubishi programmable logic controllers (PLC, PLCs). Code, links, job postings and mailing lists.
Category:
Business - Electronics and Electrical - Control Systems - Programmable Logic Controllers
|
|
The PLC Man (Popularity: )
http://www.plcman.co.uk/
Basic tutorial on programmable logic controllers, as well as information and downloads.
Category:
Business - Electronics and Electrical - Control Systems - Programmable Logic Controllers
|
|
Fairchild Semiconductor International (Popularity: )
http://www.fairchildsemi.com/
Produces analog, power, interface, mixed signal, logic, optoelectronic, and microcontroller ICs.
Category:
Business - Electronics and Electrical - Control Systems - Microcontroller
|
|
Tektronix, Inc. (Popularity: )
http://www.tektronix.com/
A provider of oscilloscopes, logic analyzers, signal sources, communications, video and accessories for test, measurement and monitoring.
Category:
Business - Electronics and Electrical - Test and Measurement
|
|
Emulation Technology Inc. (Popularity: )
http://www.emulation.com/
Manufacturer of IC adapters for emulation tools and logic analyzers.
Category:
Business - Electronics and Electrical - Test and Measurement
|
|
Telogy Inc. (Popularity: )
http://www.tecentral.com/
Rent, sell, and lease general purpose test equipment. Such as new and refurbished oscilloscopes, spectrum and network analyzers, signal generators, multimeters, and logic analyzers.
Category:
Business - Electronics and Electrical - Test and Measurement - Rental or Lease
|
|
Fairchild Semiconductor (Popularity: )
http://www.fairchildsemi.com/
Produces devices that address power, interface, analog, mixed signal, logic, optoelectronic, and configurable products markets.
Category:
Business - Electronics and Electrical - Components - Semiconductors
|
|