Search
Now showing items 961-970 of 4210
Velocity Space and the Geometry of Planetary Orbits
(1974-12-01)
We develop a theory of orbits for the inverse-square central force law which differs considerably from the usual deductive approach. In particular, we make no explicit use of calculus. By beginning with qualitative ...
Turtle Escapes the Plane: Some Advanced Turtle Geometry
(1975-12-01)
Since the LOGO Turtle took his first step he has been mathematically confined to running around on flat surfaces. Fortunately the physically intuitive, procedurally oriented nature of the Turtle which makes him a ...
Model-Driven Geometry Theorem Prover
(1975-05-01)
This paper describes a new Geometry Theorem Prover, which was implemented to illuminate some issues related to the use of models in theorem provin. The paper is divided into three parts: Part 1 describes G.T.P. and ...
Lambda: The Ultimate Imperative
(1976-03-01)
We demonstrate how to model the following common programmingsconstructs in terms of an applicative order language similar to LISP: Simple Recursion, Iteration, Compound Statements and Expressions, GO TO and Assignment, ...
A State Space Model for Sensorimotor Control and Learning
(1976-01-01)
This is the first of a two-part presentation which deals with certain computer controlled manipulator problems. This first part discusses a model which is designed to address problems of motor control, motor learning, ...
A Frame for Frames: Representing Knowledge for Recognition
(1975-03-01)
This paper presents a version of frames suitable for representing knowledge for a class of reconition problems. An initial section gives an intuitive model of frames, and illustrates a number of desirable features of ...
Logo Progress Report 1973-1975
(1975-09-01)
Over the past two years, the Logo Project has grown along many dimensions. This document provides an overview in outline form of the main activities and accomplishments of the past as well as the major goals guiding ...
Grammar for the People: Flowcharts of SHRDLU's Grammar
(1973-03-01)
The grammar which SHRDLU uses to parse sentences is outlined in a series of flowcharts which attempt to modularize and illuminate its structure. In addition, a short discussion of systemic grammar is included.
Developing a Musical Ear: A New Experiment
(1972-07-01)
I would like to report on some ideas we have been developing at M.I.T. for self-paced, independent music study. The aim of our approach is to nurture in students that enigmatic quality called, "musical"-- be it a ...
Teaching Children to be Mathematicians vs. Teaching About Mathematics
(1971-07-01)
Being a mathematician is no more definable as 'knowing' a set of mathematical facts than being a poet is definable as knowing a set of linguistic facts. Some modern math ed reformers will give this statement a too easy ...