Home → OER Materials

Browse: Keyword: Proof

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

You must be logged in to perform this action.

No Strings Attached

The Advanced CNXML

(Complete Item Description)

Abstract:: This is the final installment of my three part tutorial on the CNXML language. It is currently valid for the most recent release of the 0.3 language. The keywords contain a list of the tags described in this tutorial. Along with the example code in this module there is also an example module that has been growing throughout the tutorial.

Subject:: Science and Technology
Grade Level:: Post-secondary
Collection:: Connexions

No Strings Attached

Advanced CNXML using Edit-in-Place

(Complete Item Description)

Abstract:: This document explains and elaborates on CNXML tags that you can insert into a Connexions document using Edit-in-Place.

Subject:: Science and Technology
Grade Level:: Post-secondary
Collection:: Connexions

No Strings Attached

Beano

(Complete Item Description)

Abstract:: Students play a game in which they place beans on numbers that represent the sum of two dice. Each time a number comes up in a dice roll, a corresponding bean may be removed. The first person who removes all his beans wins the game. Students mathematically analyze the game to develop strategies.

Subject:: Mathematics and Statistics
Grade Level:: Secondary
Collection:: MIT Scheller Teacher Education Program

No Strings Attached

First-order Logic

(Complete Item Description)

Abstract:: We replace long lists of particular statements with a few general statements, involving the quantifiers "for all" and "there exists". We see how this changes our proofs, and rules of inference.

Subject:: Mathematics and Statistics, Science and Technology
Grade Level:: Post-secondary
Collection:: Connexions

No Strings Attached

Intro to Logic

(Complete Item Description)

Abstract:: An introduction to reasoning with Proposition and First-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).

Subject:: Science and Technology
Grade Level:: Post-secondary
Collection:: Connexions

Read the Fine Print

Mathematical Practice 3: Construct Viable Arguments and Critique the Reasoning of Others

(Complete Item Description)

Abstract:: At Inside Mathematics, we’ve assembled multiple ways for educators to begin to transform their teaching practices. You might be in search of materials and tasks you can use immediately with your students; you can search by grade level and content area below to find core mathematical principles as well as materials developed by the Mathematics Assessment Resource Service (MARS). If you want to develop your understanding of the national Common Core Standards for Mathematical Practice #3, look here.

Subject:: Mathematics and Statistics
Grade Level:: Primary, Secondary
Collection:: Inside Mathematics

Evaluated

Missing Angle Puzzles

(Complete Item Description)

Abstract:: This lesson lays some of the ground work for eventually writing two column proofs. In the lesson students use known geometric facts to solve for missing angles. Students are asked to identify the key concepts required for the solution and to record the a path for finding the measure of a particular angle. Key concepts include the sum of the measures of the interior angles of a triangle and quadrilateral, parallel line relationships, and what can and cannot be assumed from a drawing.

Subject:: Mathematics and Statistics
Grade Level:: Secondary
Collection:: Individual Authors

No Strings Attached

Proof of Shannon's sampling theorem

(Complete Item Description)

Abstract:: Proof of Shannon's sampling theorem.

Subject:: Science and Technology
Grade Level:: Post-secondary
Collection:: Connexions

No Strings Attached

Propositional Logic

(Complete Item Description)

Abstract:: Reducing statements to true/false propositions allows us to make precise statements, and to make precise arguments which can be checked automatically.

Subject:: Science and Technology
Grade Level:: Post-secondary
Collection:: Connexions

No Strings Attached

Propositional Logic: partIIm

(Complete Item Description)

Abstract:: More examples using formal proofs (inference rules) for determining whether a formula is true.

Subject:: Mathematics and Statistics, Science and Technology
Grade Level:: Post-secondary
Collection:: Connexions

Evaluated

Read the Fine Print

Pythagoras Theorem Proof

(Complete Item Description)

Abstract:: An interactive applet and associated web page that demonstrates a graphical proof of Pythagoras' Theorem. The applet shows a right triangle that is replicated and then moved around to demonstrate the relationship between the sides. It can can be stepped through slowly to allow classroom discussion, or let to run as a movie. Useful for students who like to see things graphically as opposed to symbolically. Applet can be enlarged to full screen size for use with a classroom projector. This resource is a component of the Math Open Reference Interactive Geometry textbook project at http://www.mathopenref.com.

Subject:: Mathematics and Statistics
Grade Level:: Secondary
Collection:: Math Open Reference

No Strings Attached

Relational Logic

(Complete Item Description)

Abstract:: We generalize from having a mass of propositional variables to representing the same information with relations. This prompts a few changes in notation and rules of inference.

Subject:: Mathematics and Statistics, Science and Technology
Grade Level:: Post-secondary
Collection:: Connexions

No Strings Attached

The Superhyperbolic (Superultramodern) Doubt

(Complete Item Description)

Abstract:: The superhyperbolic doubt is the principle that "anything may be possible", for that which could otherwise be believed to be absolutely (or 100%) certainly impossible at present could be possible as the intellectual capacities of the believer may be limited. That is, the proposition/s, for example, that are otherwise thought to be absolutely certainly true could be false. The superhyperbolic doubt is compared and attempted to shown to be superior to the hyperbolic Cartesian doubt and the idea/proposition that ‘anything is possible'. Furthermore, its implications are stated and discussed, the implications like ‘all axioms as 99.99% certainly true' and ‘all mathematics as philosophy'. Since the superhyperbolic doubt is the first and the most basic principle of my superultramodern science and philosophy, it could also be referred to as the superultramodern doubt.

Subject:: Social Sciences
Grade Level:: Post-secondary
Collection:: Connexions

Read the Fine Print

Test Yourself: How Panic Proof Are You?

(Complete Item Description)

Abstract:: Test how panic proof you are by taking this 1953 atomic attack panic quiz from the AMERICAN EXPERIENCE Web site.

Subject:: Science and Technology
Grade Level:: Primary, Secondary
Collection:: Teachers' Domain

Undergraduate Seminar in Discrete Mathematics, Spring 2006

(Complete Item Description)

Abstract:: This course is a student-presented seminar in combinatorics, graph theory, and discrete mathematics in general. Instruction and practice in written and oral communication is emphasized, with participants reading and presenting papers from recent mathematics literature and writing a final paper in a related topic.

Subject:: Mathematics and Statistics
Grade Level:: Post-secondary
Collection:: MIT OpenCourseWare

Top Keywords

See more

Conditions of Use

No Strings Attached
Remix and Share
Share Only
Read the Fine Print