|
|
Standard Logic (Popularity:  )
(Score: 10.38)
http://www.stdlogic.com
Standard Logic specializes in the field of software and hardware verification.
Category: Science\Technology\Electronics\CAD
|
|
Logic Tutorial (Popularity: )
(Score: 10.37)
http://logictutorial.com/
An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic.
Category: Science\Math\Logic and Foundations\Education
|
|
Syllogistic logic online (Popularity: )
(Score: 9.04)
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: )
(Score: 8.99)
http://jigpal.oupjournals.org/
(OUP) Official publication of the Interest Group in Pure and Applied Logic.
Category: Science\Math\Logic and Foundations\Publications
|
|
The Logic of More (Popularity: )
(Score: 8.99)
http://www.ternarylogic.com/
Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics.
Category: Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
|
Multiple-valued Logic: A Tutorial (Popularity: )
(Score: 8.84)
http://www.multivaluelogic.com
Tutorial on multi-valued logic or MVL. It explains the differences between binary and multi-valued logic and provides examples. Introduces the concept of multi-value inverters.
Category: Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
|
Fuzzy Logic Jump Start (Popularity: )
(Score: 8.55)
http://www.fuzzy-logic.com/
Shows some examples of how this system would work. Includes instruction on method, perception, and sets. Also, gives details on how to create a logic controller as home exercise.
Category: Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
|
Software and Tools for Electrical Education (Popularity: )
(Score: 7.91)
http://www.thelearningpit.com/
Supplier of software-based PLC and Ladder Logic Simulators, Animated Process Simulations, and course materials for electrical training and educational programs. Includes National Electrical Code training, as well.
Category: Science\Technology\Electrical Engineering\Education
|
|
Association for Informal Logic and Critical Thinking (AILACT) (Popularity: )
(Score: 7.36)
http://ailact.mcmaster.ca/
A non-profit scholarly association which aims to promote research into, teaching of, and testing of informal logic and critical thinking.
Category: Science\Science in Society\Skeptical Inquiry\Critical Thinking
|
|
Critical Thinking Lab (Popularity: )
(Score: 7.13)
http://www.critical-thinking-lab.com
Computer-assisted critical thinking and introductory logic course materials: texts and software.
Category: Science\Science in Society\Skeptical Inquiry\Critical Thinking
|
|
OrCAD (Popularity: )
(Score: 6.84)
http://www.orcad.com/
EDA software and services for component information management, designing field-programmable gate arrays, programmable logic devices, analog or mixed analog-digital circuits and printed circuit boards.
Category: Science\Technology\Electronics\CAD
|
|
DC Proof Online (Popularity: )
(Score: 6.79)
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 ...
Category: Science\Math\Logic and Foundations\Software
|
|
Electronics Workbench (Popularity: )
(Score: 6.43)
http://www.electronicsworkbench.com/
Product portfolio consists of software for the design of electrical circuitry to be implemented on printed circuit boards (PCBs) and programmable logic devices (FPGAs/CPLDs) and includes: schematic capture, component database, ...
Category: Science\Technology\Electronics\Test
|
|
Stanford (Popularity: )
(Score: 6.12)
http://logic.stanford.edu/
Logic Group.
Category: Science\Math\Logic and Foundations\Institutions
|
|
University of Vienna (Popularity: )
(Score: 6.05)
http://www.logic.univie.ac.at/
Institute of Logic.
Category: Science\Math\Academic Departments\Europe
|
|
(Finland) Helsinki (Popularity: )
(Score: 6.05)
http://www.logic.math.helsinki.fi/
Logic Group.
Category: Science\Math\Logic and Foundations\Institutions
|
|
ASL (Popularity: )
(Score: 6.05)
http://www.aslonline.org/
Association for Symbolic Logic.
Category: Science\Math\Logic and Foundations\Organizations
|
|
(Austria) University of Vienna (Popularity: )
(Score: 5.92)
http://www.logic.univie.ac.at/
Department of Formal Logic.
Category: Science\Math\Logic and Foundations\Institutions
|
|
The Logic Daemon (Popularity: )
(Score: 5.92)
http://logic.tamu.edu/
On-line proof checker, and texts.
Category: Science\Math\Logic and Foundations\Education
|
|
IFCoLog (Popularity: )
(Score: 5.86)
http://www.ifcolog.net/
A federation of societies and groups active in computational logic.
Category: Science\Math\Logic and Foundations\Organizations
|
