Introduction to Artificial Intelligence - Introduction to Problem Solving as Search
This tutorial forms part of the "Introduction to Problem Solving as Search" topic in the Introduction to Artificial Intelligence module.
6.801 Machine Vision (MIT)
Machine Vision provides an intensive introduction to the process of generating a symbolic description of an environment from an image. Lectures describe the physics of image formation, motion vision, and recovering shapes from shading. Binary image processing and filtering are presented as preprocessing steps. Further topics include photogrammetry, object representation alignment, analog VLSI and computational vision. Applications to robotics and intelligent machine interaction are discussed.
18.965 Geometry of Manifolds (MIT)
Geometry of Manifolds analyzes topics such as the differentiable manifolds and vector fields and forms. It also makes an introduction to Lie groups, the de Rham theorem, and Riemannian manifolds.
1.3 Social problems and social policy Whether social problems emerge as issues of social justice or social order, they are usually associated with the idea that ‘something must be done’. Social problems represent conditions that should not be allowed to continue because they are perceived to be problems for society, requiring society to react to them and find remedies. Where private troubles are matters for the individuals involved to resolve, public issues or social problems demand a public response. The range of possib
2.032 Dynamics (MIT)
This course reviews momentum and energy principles, and then covers the following topics: Hamilton's principle and Lagrange's equations; three-dimensional kinematics and dynamics of rigid bodies; steady motions and small deviations therefrom, gyroscopic effects, and causes of instability; free and forced vibrations of lumped-parameter and continuous systems; nonlinear oscillations and the phase plane; nonholonomic systems; and an introduction to wave propagation in continuous systems.
This cours
8.286 The Early Universe (MIT)
The Early Universe provides an introduction to modern cosmology. The first half deals with the development of the big-bang theory from 1915 to 1980, and latter half with recent impact of particle theory.
12.108 Structure of Earth Materials (MIT)
This course provides a comprehensive introduction to crystalline structure, crystal chemistry, and bonding in rock-forming minerals. It introduces the theory relating crystal structure and crystal symmetry to physical properties such as refractive index, elastic modulus, and seismic velocity. It surveys the distribution of silicate, oxide, and metallic minerals in the interiors and on the surfaces of planets, and discusses the processes that led to their formation. It also addresses why diamonds
21F.311 Introduction to French Culture (MIT)
Ce cours est une introduction à la culture et la société françaises depuis la Révolution, mais surtout à partir du Second Empire. Nous tacherons de cerner ce qui définit la singularité francaise dans une perspective historique. Nous commencerons avec la notion "d'exception francaise" et de ce qui la constitue depuis la Révolution (La République, L'Universalisme, La Laicité, etc.) Nous explorerons l'impact de l
SP.769 Photovoltaic Solar Energy Systems (MIT)
This class will study the behavior of photovoltaic solar energy systems, focusing on the behavior of "stand-alone" systems. The design of stand-alone photovoltaic systems will be covered. This will include estimation of costs and benefits, taking into account any available government subsidies. Introduction to the hardware elements and their behavior will be included.
6.897 Selected Topics in Cryptography (MIT)
This course covers a number of advanced "selected topics" in the field of cryptography. The first part of the course tackles the foundational question of how to define security of cryptographic protocols in a way that is appropriate for modern computer networks, and how to construct protocols that satisfy these security definitions. For this purpose, the framework of "universally composable security" is studied and used. The second part of the course concentrates on the many challenges involved
21F.301 French I (MIT)
21F.301/351 offers an introduction to the French language and culture with an emphasis on the acquisition of vocabulary and grammatical concepts through active communication. The course is conducted entirely in French, and students interact in French with their classmates from the very beginning. They also receive exposure to the language via a variety of authentic sources such as the Internet, audio, video and printed materials which help them develop cultural awareness as well as linguistic pr
2.71 Optics (MIT)
This course is an introduction to optical science with elementary engineering applications. Topics covered include geometrical optics: ray-tracing, aberrations, lens design, apertures and stops, radiometry and photometry; wave optics: basic electrodynamics, polarization, interference, wave-guiding, Fresnel and Faunhofer diffraction, image formation, resolution, and space-bandwidth product. Emphasis is on analytical and numerical tools used in optical design. Graduate students are required to com
9.65 Cognitive Processes (MIT)
This undergraduate course is designed to introduce students to cognitive processes. The broad range of topics covers each of the areas in the field of cognition, and presents the current thinking in this discipline. As an introduction to human information processing and learning, the topics include the nature of mental representation and processing, the architecture of memory, pattern recognition, attention, imagery and mental codes, concepts and prototypes, reasoning and problem solving.
24.903 Language and its Structure III: Semantics and Pragmatics (MIT)
This course gives an introduction to the science of linguistic meaning. There are two branches to this discipline: semantics, the study of conventional, "compositional meaning", and pragmatics, the study of interactional meaning. There are other contributaries: philosophy, logic, syntax, and psychology. We will try to give you an understanding of the concepts of semantics and pragmatics and of some of the technical tools that we use.
21L.704 Studies in Poetry - British Poetry and the Sciences of the Mind (MIT)
Do poems think? Recurrent images of the poet as an inspired lunatic, and of poetry as a fundamentally irrational art, have often fostered an understanding of poets and their work as generally extraneous to the work of the sciences. Yet poets have long reflected upon and have sought to embody in their work the most elementary processes of mind, and have frequently drawn for these representations on the very sciences to which they are thought to stand - and sometimes do genuinely stand - in opposi
6.875 Cryptography and Cryptanalysis (MIT)
This course features a rigorous introduction to modern cryptography, with an emphasis on the fundamental cryptographic primitives of public-key encryption, digital signatures, pseudo-random number generation, and basic protocols and their computational complexity requirements.
18.314 Combinatorial Analysis (MIT)
This course analyzes combinatorial problems and methods for their solution. Prior experience with abstraction and proofs is helpful. Topics include: Enumeration, generating functions, recurrence relations, construction of bijections, introduction to graph theory, network algorithms and, extremal combinatorics.
18.465 Topics in Statistics: Nonparametrics and Robustness (MIT)
This graduate-level course focuses on one-dimensional nonparametric statistics developed mainly from around 1945 and deals with order statistics and ranks, allowing very general distributions.
For multidimensional nonparametric statistics, an early approach was to choose a fixed coordinate system and work with order statistics and ranks in each coordinate. A more modern method, to be followed in this course, is to look for rotationally or affine invariant procedures. These can be based on empiri
24.242 Logic II (MIT)
This course begins with an introduction to the theory of computability, then proceeds to a detailed study of its most illustrious result: Kurt Gödel's theorem that, for any system of true arithmetical statements we might propose as an axiomatic basis for proving truths of arithmetic, there will be some arithmetical statements that we can recognize as true even though they don't follow from the system of axioms. In my opinion, which is widely shared, this is the most important single result
9.66J Computational Cognitive Science (MIT)
This course is an introduction to computational theories of human cognition. Drawing on formal models from classic and contemporary artificial intelligence, students will explore fundamental issues in human knowledge representation, inductive learning and reasoning. What are the forms that our knowledge of the world takes? What are the inductive principles that allow us to acquire new knowledge from the interaction of prior knowledge with observed data? What kinds of data must be available to hu
