You can find information & resources of science, biotechnology, chemistry, ecology, technology, science resources, mechanical engineering, earth sciences, astrophysics, nuclear & molecular at PortalScience.com |
|
Home > Mathematics > Logic and Foundations
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/
|
|
ProofTheory.ORG
Basic material on proof theory and the home page of the only mailing list devoted to proof theory, with hundreds of experts.
http://www.prooftheory.org/
|
|
|
|
| |
|
|
Home
• Submit Site • About Us • Link to Us
• Contact Us• Disclaimer
• Privacy Policy
•
Blog
Information contained herein is
deemed accurate and correct, but no warranty is implied or given.
© Copyright PortalScience.com Inc., 2006. All rights
reserved.
At this site you may find geography, alternative-science, amateur-science, physics and astronomy, alternative science, medical physics, mathematics, physics, space, environment, forensics, energy, engineering and more. |
|
|
