Directory of Science - All about Science

Thursday, 14 December, 2017

search

for
Directories
 
 
 
 Recent Listings
  World Vaccine Summit and Expo
  Organic farming Pros and Cons
  Alternative Health Group - Natural Healthcare Provider
  Innovative Research In Computer Science & Technology International Journal
  Current Research in Pharmaceutical Sciences
  AYUSHDHARA
  Engineering Journal Publication
  World Congress on Marine Science
  International Journal of Trend in Scientific Research and Development
  Journal of Biological Sciences and Medicine
 
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

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

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

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.78)
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

ASL (Popularity: ) (Score: 6.05)
http://www.aslonline.org/
Association for Symbolic Logic.
Category: Science\Math\Logic and Foundations\Organizations

(Finland) Helsinki (Popularity: ) (Score: 6.05)
http://www.logic.math.helsinki.fi/
Logic Group.
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

(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

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
Making Stock Standards - Cold Plate - Invasive Cranial - Chemistry An Asian Journal - Compressed Air Enrgy - Submit An Article - Pest And Diseases - Certificates Of Analysis - Soil Erosion Palms - Mango Fruits Quality - Book Review Of Mathematic - Technology Of Roman Medicine - Environment Poems In Malayalamliterature - Carbonated Drinks Effect On Meat - Random Generators In Mathcad
 

© 2015 Directory of Science. All Rights Reserved