You can find information & resources of science, biotechnology, chemistry, ecology, technology, science resources, mechanical engineering, earth sciences, astrophysics, nuclear & molecular at PortalScience.com
  Browse Categories
 
Agriculture   (1554)
Alternative Science   (382)
Amateur Science   (3)
Biology   (5463)
Chemistry   (1183)
Cognitive Science   (14)
Complex Systems   (9)
Computer Science   (286)
Directories   (10)
Earth Sciences   (1981)
Ecology   (207)
Education   (271)
Energy   (247)
Engineering   (813)
Environment   (2913)
Forensics   (44)
Geography   (74)
Institutions   (366)
Mathematics   (1333)
Physics   (1326)
Resources   (587)
Shopping and Services   (1946)
Social Sciences   (8069)
Space   (2707)
Technology   (4299)
 
You are here: Home > Mathematics > Logic and Foundations
 
 
Browse Categories

Institutions

Meetings

Organizations


Link (s):
Burris, Stanley
University of Waterloo - Universal algebra, logic, computers.
http://www.thoralf.uwaterloo.ca/
Bookmark and Share
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
Bookmark and Share
Flannery, Ryan
University of Cincinnati - satisfiability, first-order and temporal logic, computer science.
http://ryanflannery.org
Bookmark and Share
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/
Bookmark and Share
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/
Bookmark and Share
 
Category Jump :
 
 
HomeSubmit SiteAbout UsLink to UsContact UsDisclaimerPrivacy PolicyScience Blog
Information contained herein is deemed accurate and correct, but no warranty is implied or given.
© Copyright Portalscience.com Inc., . 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.