Search Results (16)

Save

Please log in to save materials.

View
Selected filters:
  • Proof
The Advanced CNXML
Conditions of Use:
No Strings Attached
Rating

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

More
Subject:
Computer Science
Material Type:
Readings
Syllabi
Provider:
Rice University
Provider Set:
Connexions
Author:
Ricardo Radaelli-Sanchez
Less
First-order Logic
Conditions of Use:
No Strings Attached
Rating

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

More
Subject:
Material Type:
Readings
Syllabi
Provider:
Rice University
Provider Set:
Connexions
Author:
Ian Barland
Less
Hexagonal Pattern of Beehives
Conditions of Use:
Remix and Share
Rating

The goal of this task is to use geometry study the structure ... More

The goal of this task is to use geometry study the structure of beehives. Beehives have a tremendous simplicity as they are constructed entirely of small, equally sized walls. In order to as useful as possible for the hive, the goal should be to create the largest possible volume using the least amount of materials. In other words, the ratio of the volume of each cell to its surface area needs to be maximized. This then reduces to maximizing the ratio of the surface area of the cell shape to its perimeter. Less

More
Subject:
Education
Mathematics
Geometry
Material Type:
Activities and Labs
Instructional Material
Provider:
Illustrative Mathematics
Provider Set:
Illustrative Mathematics
Author:
Illustrative Mathematics
Less
Intro to Logic
Conditions of Use:
No Strings Attached
Rating

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

More
Subject:
Computer Science
Material Type:
Full Course
Readings
Syllabi
Provider:
Rice University
Provider Set:
Connexions
Author:
Ian Barland
John Greiner
Matthias Felleisen
Moshe Vardi
Phokion Kolaitis
Less
Missing Angle Puzzles
Conditions of Use:
Remix and Share
Rating

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

More
Subject:
Geometry
Material Type:
Homework and Assignments
Lecture Notes
Provider:
Individual Authors
Provider Set:
Individual Authors
Author:
Jeff Holcomb
Less
Propositional Logic
Conditions of Use:
No Strings Attached
Rating

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

More
Subject:
Philosophy
Material Type:
Readings
Syllabi
Provider:
Rice University
Provider Set:
Connexions
Author:
Ian Barland
Less
Propositional Logic: partIIm
Conditions of Use:
No Strings Attached
Rating

More examples using formal proofs (inference rules) for determining whether a formula ... More

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

More
Subject:
Material Type:
Readings
Syllabi
Provider:
Rice University
Provider Set:
Connexions
Author:
Ian Barland
John Greiner
Matthias Felleisen
Moshe Vardi
Phokion Kolaitis
Less
Pythagoras Theorem Proof
Conditions of Use:
Read the Fine Print
Rating

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

More
Subject:
Geometry
Material Type:
Readings
Simulations
Provider:
Math Open Reference
Provider Set:
Math Open Reference
Author:
John Page
Less
The Pythagorean Theorem:  Geometry's Most Elegant Theorem
Conditions of Use:
Remix and Share
Rating

This lesson teaches students about the history of the Pythagorean theorem, along ... More

This lesson teaches students about the history of the Pythagorean theorem, along with proofs and applications. It is geared toward high school Geometry students that have completed a year of Algebra. Less

More
Subject:
Geometry
Material Type:
Lesson Plans
Provider:
MIT Learning International Networks Consortium
Provider Set:
MIT Blossoms
Less
Relational Logic
Conditions of Use:
No Strings Attached
Rating

We generalize from having a mass of propositional variables to representing the ... More

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. Less

More
Subject:
Material Type:
Readings
Syllabi
Provider:
Rice University
Provider Set:
Connexions
Author:
Ian Barland
Less
Relational Logic
Conditions of Use:
No Strings Attached
Rating

We generalize from having a mass of propositional variables to representing the ... More

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. Less

More
Subject:
Material Type:
Readings
Syllabi
Provider:
Rice University
Provider Set:
Connexions
Author:
Ian Barland
Less
Seven Circles I
Conditions of Use:
Remix and Share
Rating

This task is intended to help model a concrete situation with geometry. ... More

This task is intended to help model a concrete situation with geometry. Placing the seven pennies in a circular pattern is a concrete and fun experiment which leads to a genuine mathematical question: does the physical model with pennies give insight into what happens with seven circles in the plane? Less

More
Subject:
Education
Mathematics
Geometry
Trigonometry
Material Type:
Activities and Labs
Instructional Material
Provider:
Illustrative Mathematics
Provider Set:
Illustrative Mathematics
Author:
Illustrative Mathematics
Less
The Superhyperbolic (Superultramodern) Doubt
Conditions of Use:
No Strings Attached
Rating

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

More
Subject:
Philosophy
Material Type:
Readings
Syllabi
Provider:
Rice University
Provider Set:
Connexions
Author:
Kedar Joshi
Less
Wiskundige Structuren
Conditions of Use:
Remix and Share
Rating

In dit college worden structuren uit de wiskunde behandeld, zoals natuurlijke getallen ... More

In dit college worden structuren uit de wiskunde behandeld, zoals natuurlijke getallen en inductie, reële getallen en volledigheid, functies en continuïteit, convergentie van getallenrijen, functierijen en getallenreeksen. Het doel hiervan is niet zozeer het leren van rekenvaardigheden in de analyse, maar meer het begrijpen van de theorie daarachter, in het bijzonder het leren omgaan met definities, stellingen en bewijzen. Hiermee wordt een stevig fundament gelegd voor verdere studie in de wiskunde. Less

More
Subject:
Material Type:
Assessments
Readings
Textbooks
Video Lectures
Provider:
TU Delft OpenCourseWare
Author:
Dr. Ir. Mark Veraar
Less
2002 gnirpS ,ngiseD gnireenignE liviC ot noitcudortnI
Rating

.)310.1( tcejbus ngised enotspac eht dna )150.1 ,140.1 ,130.1( stcejbus ngised aera ... More

.)310.1( tcejbus ngised enotspac eht dna )150.1 ,140.1 ,130.1( stcejbus ngised aera ytlaiceps tneuqesbus eht ni desu si hcihw decudortni si esac ngised egral A .naps efil detcepxe dna ,srotcaf laicos dna cimonoce ,tnemnorivne larutan ,tnemnorivne tliub gnitsixe eht fo noitaredisnoc sa llew sa sehcaorppa lacinhcet snrecnoc ylticilpxe ngised tcejorP .)sdaor dna segdirb ,sgnidliub ,.g.e( seitilicaf tliub no sisahpme na htiw ,sesac ngised lareves sedulcnI .gnireenigne livic ni secitcarp dna seussi ngised sa llew sa ,gnivlos-melborp evitaerc dna ngised gnireenigne fo seuqinhcet dna ,sloot ,yroeht eht ot stneduts secudortnI Less

More
Less