Directory of Science - All about Science

Tuesday, 19 June, 2018

search

for
Directories
 
 
 
 Recent Listings
  Journal of Surgery and Medicine
  International Conference on Internal Medicine
  Forensic Science
  World Congress on Neurology and Mental Disorders-2018
  Cell Tissue Science 2018
  World Congress on Diabetes and Endocrinology
  Dental Hygiene 2018 ( CPD accredited)
  Global Diet and Nutrition Meeting
  International Journal of Agriculture, Environment and Bioresearch
  International Women s Health, Gynecology & Obstetrics Conference
 
Sites for: Logic Software

Logic Software

Records 1-20 of 100  |  Go to 1 2 3 4 5 Next >> page 
 

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

 
Records 1-20 of 100  |  Go to 1 2 3 4 5 Next >> page 

Related Searches
Fighter Plane Designing Software Free Software - Sentential Logic - First Order Logic - Up Logic Society - Formal Logic - Logic In Pakistan - Looped Logic - Logic Tutorial - Symbolic Logic - Logic Box
 
Latest Searches
Member Societies - Practice Tests - Practice Questions - Power Information - Feed Systems - Electromagnetic Pictures - Programmable Crc - Potential Cyber Threats - Pop Gene - Pond Fishery - Labview And Matlab - Ocean Resources - Application Of I T In Maths - Embedded Systems Progrmming - Outer Space Bulliten Board Border
 

© 2015 Directory of Science. All Rights Reserved