Logic for Computer Science: Foundations of Automatic Theorem Proving
This book is intended as an introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. This book is designed primarily for computer scientists, and more generally, for mathematically inclined readers interested in the formalization of proofs, and the foundations of automatic theorem-proving. The book is self contained, and the level corresponds to senior undergraduates and first year graduate students. However,
The Age of Einstein
The Age of Einstein, is a brief introduction to Einstein's Theories of Special and General Relativity. It is a book for the inquisitive general reader who wishes to gain an understanding of the key ideas put forward by the greatest scientist of the 20th-century. No more than a modest grasp of High School Mathematics is required to follow the arguments.
The Renaissance Connection is the Allentown Art Museum's interactive educational web site. With the simple click of a mouse button, travel 500 years into the past to discover many Renaissance innovations revealed through the Allentown Art Museum's Samuel H. Kress Collection of European art. Be a patron of the arts. Design your own innovation. Investigate Renaissance artworks in depth. Discover how past innovations inform life today. And more, all enhanced with quirky visuals, irreverent humor, a
Online Poetry Classroom
"Songs My Teacher Taught Me," created by Teaching Fellow Anthony Consiglio, is a series of three lesson plans intended to guide students through approximately one month of poetry study. This unit involves minimal technology requirements but extends across a wide range of poetry. Of the eighteen poets included; eight are women, six are African-American; two are nineteenth-century poets and the three lesson plans are thematically broken into "What is Poetry?", "Poems of Childhood," and "Self and S
Light, Matter, and Energy
This fun Web site is part of OLogy, where kids can collect virtual trading cards and create projects with them. Here, they are introduced to Einstein's life and work with four engaging and kid-friendly areas. Equation Invasion, a look at the world's most famous equation about the relationship between energy and mass. Web Master, the scientists whose ideas and discoveries shaped Einstein's career. Light the Way, an introduction to "the fastest thing in the universe" and the waves it travels in. E
Social Media in Plain English
An introduction to Social Media via a story about a small town with many flavors of ice cream.
Topics in Pre-Modern Japanese History
This book emphasizes a succession of topics rather than strict adherence to the flow of time. The chapters move from earlier periods of time to later periods of time, but their content and organization gives top priority to coverage of topics. While the "mainstream" narrative of politics and institutions is present in these pages, the emphasis is on social and cultural history wherever possible.
This PowerPoint presentation is part of the Whitman College petrology course. The presentation provides an introduction to the structure of the earth in the context of the generation of igneous rocks. Slides in the presentation cover the composition of layers of the earth, P-wave and S-wave velocities through layers of the earth, pressure and heat characteristics of the earth, and regions of igneous generation within the earth. This resource is part of the Teaching Petrology collection. http://s
Igneous and Metamorphic Petrology Class Materials
This web site is maintained by John Winter of Whitman College, and contains 31 PowerPoint presentations for an igneous and metamorphic petrology course. The course and the lectures are keyed to his text, An Introduction to Igneous and Metamorphic Petrology. The PowerPoint presentations are organized by chapter and contain many maps, graphs and illustrations. Each chapter is a separate PowerPoint file that can be downloaded and modified to suit the user's needs. In addition, the website includes
Early History of the California Coast
is a travel itinerary that highlights 45 historic places that help tell the story of Spanish colonization of California. Learn about forts, churches, adobe houses, historic districts, and other places. Find out about the Presidio, which was established in 1769 as the base for Spain's colonization efforts and was the first permanent European settlement on the Pacific Coast.
Let's Talk Politics: Berkeley Repertory Theatre
Acclaimed British playwright David Edgar takes aim at American politics with his two-play cycle, Continental Divide, at Berkeley Repertory Theatre. This Educator Guide explores the history of political activism and political theatre in the UK and the US.
First American West: The Ohio River Valley, 1750-1820
This site consists of letters, journals, books, newspapers, maps, and images documenting the land, peoples, and exploration of the trans-Appalachian West. The first European travelers, their relations with Native Americans, new settlers' migration and acquisition of land, navigation down the Ohio River, planting of crops, trade in tobacco and horses, and the roles of African Americans, women, churches, and schools are documented.
Information literacy: not just for students
Good Internet research skills are important for teachers, too. This article provides an introduction to "information literacy" concepts and a list of references for teachers and media specialists.
KS2 Numeracy SATs revision 4
The presentation (introduction) revises what a fraction is, how to make equivalent fractions or write fractions in their simplest / lowest terms, how to change between improper fractions and mixed numbers and finally how to work out a fraction of an amount. The levels test these aspects of fractions. The final level tests all of the skills. Most answers are entered using an on-screen keypad, with some multiple choice questions. The order of questions is randomised. Progress is tracked and numero
Introduction to Antibiotic Pharmacology
The module contains the following levels: Bactericidal versus Bacteriostatic Spectrum of Activity Gram Positive versus Gram Negative Mechanism of Antibacterial Action Empirical versus Rational Therapy Drug Resistance, Combined Antibiotic Therapy and Superinfection Introduction to Penicillin Classification Cephalosporins and Other Antibacterials Antimicrobials for Various Disease States Complete Introductory Assessment of Antimicrobial Agents The 50S versus the 30S Ribosomal Unit Macrolides vs Am
Famous Composers I
Throughout the centuries there have been hundreds of composers that excelled during their style periods. This is an introduction to 11 of them starting in the Baroque style period and ending in the 20th Century. In the presentations there are many facts about each composer. Please feel free to surf between the different composer and styles. As students participating in class, please note which composers we are studying at the present and only go to their slides. Some of the objectives of this mo
European Rulers of the 1st Millennium AD
This is a gapfill quiz. The idea behind the quiz is to help a player acquire an overview of European history through looking at some of the leaders that have shaped Europe's history. The project is far from complete and so far only includes leaders up to the tenth century. Anyone who wishes to edit this quiz is free to do so. The information about the leaders has largely come from wikipedia. All I have done is cut and paste the page then edit it down to an even briefer description of the leader'
King Lear to In the loop : fiction and British politics
On 11 December 2009, Nottingham University's Centre for British Politics held a conference at the British Academy that drew together politicians, writers and academics to explore the interaction of British politics and fiction. In addition to the conference several video interviews were conducted with some of the speakers on the day. In this interview taken at the Fiction and British Politics Conference in London, MP and author Chris Mullin talks about his own political fiction and explains w
Language and genes of the greater Himalayan region
This Web page outlines research using molecular population genetics to gain an insight into the prehistory of the greater Himalayan region, and the development and distribution of its incredible linguistic diversity. DNA samples were taken from populations within Nepal and Bhutan and compared with samples from India and China, allowing the genetic map of the region to be compared with the linguistic. The website includes links to published outcomes, and details of researchers involved in the pro
17.522 Politics and Religion (MIT)
This graduate reading seminar explores the role of religious groups, institutions, and ideas in politics using social science theories. It is open to advanced undergraduate students with permission of the instructor.