Directory of Science - All about Science

Friday, 23 March, 2018


 Recent Listings
  IJIRAE:: International Journal of Innovative Research in Advanced Engineering
  Global Summit & Expo on Nanotechnology and Material Science
  2018 2nd International Conference on SmartRail, Traffic and Transportation Engineering(ICSTTE 2018)
  2018 2nd International Conference on New Energy Vehicle and Vehicle Engineering(NEVVE 2018)
  2018 2nd International Symposium on Mechanical Design, Manufacture and Automation(ISMDMA 2018)
  Social Behavior Research & Health
  International Journal of Medical Science And Innovative Research (IJMSIR)
  Annual Cardiology Congress
  Toxicology Conferences
  World Congress On Geochemistry
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)
Standard Logic specializes in the field of software and hardware verification.
Category: Science\Technology\Electronics\CAD

Logic Tutorial (Popularity: ) (Score: 10.37)
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)
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)
(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)
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)
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)
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)
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)
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)
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)
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.78)
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)
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)
Logic Group.
Category: Science\Math\Logic and Foundations\Institutions

ASL (Popularity: ) (Score: 6.05)
Association for Symbolic Logic.
Category: Science\Math\Logic and Foundations\Organizations

University of Vienna (Popularity: ) (Score: 6.05)
Institute of Logic.
Category: Science\Math\Academic Departments\Europe

(Finland) Helsinki (Popularity: ) (Score: 6.05)
Logic Group.
Category: Science\Math\Logic and Foundations\Institutions

(Austria) University of Vienna (Popularity: ) (Score: 5.92)
Department of Formal Logic.
Category: Science\Math\Logic and Foundations\Institutions

The Logic Daemon (Popularity: ) (Score: 5.92)
On-line proof checker, and texts.
Category: Science\Math\Logic and Foundations\Education

IFCoLog (Popularity: ) (Score: 5.86)
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
Zoology Databases - Agricultural Songs - Northwest Science 813 - Finite And Infinite Resourses - Hepatitis C Antibodies - How Are Glaciers Related To Weather - Geography Mark-Up Language - Nec 2002 Code Educational Material - Biodiversity In Garen In Marathi - Central Maxi - Online Bootcamp - Dry Climate - Kaufmann Algebra - Country Quizzes - Gun Mechanics

© 2015 Directory of Science. All Rights Reserved