# Keywords: Proof (16)

save
save to

selected filters:

This is the final installment of my three part tutorial on the ... (more)

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. (less)

Subject:
Science and Technology
Material Type:
Syllabi
Collection:
Connexions
Provider:
Rice University
Author:
No Strings Attached

This document explains and elaborates on CNXML tags that you can insert ... (more)

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

Subject:
Science and Technology
Material Type:
Syllabi
Collection:
Connexions
Provider:
Rice University
Author:
Elizabeth Gregory
No Strings Attached

# Area of a Circle - Wedge Demo 1

This is a visual demonstration of the sector-proof of the formula for ... (more)

This is a visual demonstration of the sector-proof of the formula for the area of circle. (less)

Subject:
Mathematics and Statistics
Material Type:
Simulations
Collection:
GeoGebraTube
Provider:
GeoGebra
Remix and Share

# Beano

Students play a game in which they place beans on numbers that ... (more)

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. (less)

Subject:
Mathematics and Statistics
Material Type:
Activities and Labs
Games
Lesson Plans
Collection:
MIT Scheller Teacher Education Program
Provider:
MIT
No Strings Attached

# First-order Logic

We replace long lists of particular statements with a few general statements, ... (more)

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. (less)

Subject:
Mathematics and Statistics
Science and Technology
Material Type:
Syllabi
Collection:
Connexions
Provider:
Rice University
Author:
Ian Barland
No Strings Attached

# Intro to Logic

An introduction to reasoning with Proposition and First-order logic, with applications to ... (more)

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

Subject:
Science and Technology
Material Type:
Full Course
Syllabi
Collection:
Connexions
Provider:
Rice University
Author:
Ian Barland
John Greiner
Matthias Felleisen
Moshe Vardi
Phokion Kolaitis
No Strings Attached

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

At Inside Mathematics, we’ve assembled multiple ways for educators to begin to ... (more)

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. (less)

Subject:
Mathematics and Statistics
Material Type:
Activities and Labs
Collection:
Inside Mathematics
Provider:
Noyce Foundation
Author:
Individual Authors

# Missing Angle Puzzles

This lesson lays some of the ground work for eventually writing two ... (more)

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. (less)

Subject:
Mathematics and Statistics
Material Type:
Homework and Assignments
Lecture Notes
Collection:
Individual Authors
Provider:
Individual Authors
Author:
Jeff Holcomb
Remix and Share

# Propositional Logic

Reducing statements to true/false propositions allows us to make precise statements, and ... (more)

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

Subject:
Science and Technology
Material Type:
Syllabi
Collection:
Connexions
Provider:
Rice University
Author:
Ian Barland
No Strings Attached

# Pythagoras Theorem Proof

An interactive applet and associated web page that demonstrates a graphical proof ... (more)

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. (less)

Subject:
Mathematics and Statistics
Material Type:
Simulations
Collection:
Math Open Reference
Provider:
Math Open Reference
Author:
John Page

# The Superhyperbolic (Superultramodern) Doubt

The superhyperbolic doubt is the principle that "anything may be possible", for ... (more)

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. (less)

Subject:
Social Sciences
Material Type:
Syllabi
Collection:
Connexions
Provider:
Rice University
Author:
Kedar Joshi
No Strings Attached

# Test Yourself: How Panic Proof Are You?

Test how panic proof you are by taking this 1953 atomic attack ... (more)

Test how panic proof you are by taking this 1953 atomic attack panic quiz from the AMERICAN EXPERIENCE Web site. ***Access to Teacher's Domain content now requires free login to PBS Learning Media. (less)

Subject:
Science and Technology
Material Type:
Activities and Labs
Collection:
Teachers' Domain
Provider:
PBS Learning Media
Author:
WGBH Educational Foundation

# Undergraduate Seminar in Discrete Mathematics, Spring 2006

This course is a student-presented seminar in combinatorics, graph theory, and discrete ... (more)

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. (less)

Subject:
Mathematics and Statistics
Material Type:
Activities and Labs
Full Course
Syllabi
Collection:
MIT OpenCourseWare
Provider:
M.I.T.
Author:
Kleitman, Daniel
Remix and Share

# 2002 llaF ,gnivloS melborP gnireenignE dna sretupmoC ot noitcudortnI

.desu si egaugnal gnimmargorp avaJ ehT .gninnalp dna ,tnemeganam ,ecneics ,gnireenigne ni ... (more)

.desu si egaugnal gnimmargorp avaJ ehT .gninnalp dna ,tnemeganam ,ecneics ,gnireenigne ni smelborp gnivlos rof seuqinhcet gnipoleved no si sisahpmE .scipot decnavda detceles dna scihparg retupmoc ,gnihcraes dna gnitros ,serutcurts atad ,sdohtem laciremun ,secafretni resu lacihparg ,stpecnoc gnimmargorp revoc smelborp gnimmargorp ylkeeW .esruoc eht fo sucof eht si tnempoleved dna ngised erawtfos detneiro-tcejbO .snoitacilppa cifitneics dna gnireenigne rof sdohtem lanoitatupmoc dna tnempoleved erawtfos latnemadnuf stneserp esruoc sihT (less)

Subject:
Science and Technology
Material Type:
Assessments
Full Course
Homework and Assignments
Lecture Notes
Syllabi
Collection:
MIT OpenCourseWare
Provider:
M.I.T.
Author:
George Kocur
Remix and Share