 |
ScienceDirectory.info is a leading science website including agriculture, metrology, industrial engineering, earth sciences, geography, mathematic, aquaculture, aerospace and more. |
 |
Browse Categories |
 |
|
|
|
Categories |
|
|
Listings |
|
Burris, Stanley
University of Waterloo - Universal algebra, logic, computers.
http://www.thoralf.uwaterloo.ca/ |
DC Proof Online
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.
http://www.dcproof.com |
Flannery, Ryan
University of Cincinnati - satisfiability, first-order and temporal logic, computer science.
http://ryanflannery.org |
Hypercomputation Research Network
The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions.
http://www.hypercomputation.net/ |
|
|
 |
|
