Home Submit URL Add to Favorite Contact
           28 March, 2024
 
    

Logic

Go to << Prior 1 2 3 Next >> page 
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 - Research In Logic - Forensic Logic - Love And 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
Go to << Prior 1 2 3 Next >> page