Proof notes, articles, exams and presentations

Search In

Full text

Tags

Paper Key

Set Order

Date added

Views

Rating

Showing 1 - 7 results out of 7 for 'Proof'

The Not So Inconvenient Truth

By Josh Anderson, Liberty University, Virginia, On June 29, 2009

A paper on the recent findings about the fallacy of global warming.

Main Category: Environmental Studies

Proof Search and Computation Lecture notes

By Rolland Puente, On October 13, 2009

Main Category: Software Engineering

Tags: Computation Proof-Search

Interactive proofs of graph non-isomorphism

By Bar tender, Massachusetts Institute of Technology, Massachusetts, On August 11, 2008

Course: Advanced complexity theory

Main Category: Mathematics

Tags: complexity graph non-isomorphism proofs Theory

Axiomatic semantics

By dan sant, las vegas, On January 8, 2009

Course: Advanced Programming Languages and Softw...

Main Category: Software Engineering

Tags: antics assingments Axiomatic blocks calls Conditions Formal invariant non-recursive of ofsequencing procedure Proof se Semantics setting Up

8 - Coding Proofs

By Bar tender, Massachusetts Institute of Technology, Massachusetts, On September 14, 2008

Course: Logic II, Spring 2004 - MIT OCW

Main Category: Logic

Tags: Coding logic Philosophy Proof

14 - Proof of Hurewicz

By Bar tender, Massachusetts Institute of Technology, Massachusetts, On August 20, 2008

Course: Algebraic Topology II , Spring 2006, MI...

Main Category: Algebra

Tags: Hurewicz Proof

1- Euclidean Geometry in 3 Dimensions ; Geometric Proofs

By Bar tender, Massachusetts Institute of Technology, Massachusetts, On August 25, 2008

Course: Calculus , Fall 2005 , MIT

Main Category: Calculus

Tags: 3 3D Dimensions Euclidean Geometric geometry proofs