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.
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.
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
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
The Goldilocks Zone
This is an article from "Teachable Moments in the News," a newsletter that takes recent Earth and space science related news stories and places them in a context relevant to the science curriculum. This particular edition describes the Goldilocks Zone, a range of environmental conditions that can support life. Teachers are provided a brief introduction, relevant news links, and developed lesson plans. Some lessons are in PDF format. Activity themes include: exploration of environmental condition
Single-Celled Organisms Unit
This Project Oceanography lesson plan (PDF) explores the symbiotic relationships of single-celled organisms. In this activity, students will compare and contrast three types of symbiotic relationships, describe the relationship between zooxanthellae (a dinoflagellate) and coral, and explain the effects of nitrogen-fixing bacteria on their symbiotic partners. It begins with an introduction to symbiotic relationships, the dinoflagellate/coral system, and cyanobacteria, and then features an interac
Obama: U.S. can't "cut our way to prosperity"
June 25 - In his weekly address U.S. President Obama pledged to tackle the US debt issue but warned, "we can't simply cut our way to prosperity." Deborah Lutterbeck reports.
NCBI More Information: Similarity
This page summarizes the basic concept and vocabulary of sequence similarity searching. It is included for those new to the field who may not appreciate the importance of this technique in biology, who lack the vocabulary to understand the BLAST guide and tutorial or who require a basic rather than a sophisticated understanding of the methods involved. Sections include introduction, premise, terms, general approach, the BLAST algorithm, quantification, gaps, significance, and databases. Users ca
This Web site from the National Center for Biotechnology Information (NCBI) offers a set of detailed tutorials to help users make full use of NCBI's bioinformatics tools. The tutorials, which target both new and veteran users, cover NCBI's BLAST and PSI-BLAST, Entrez data retrieval system, Cn3D molecular structure software, and more. Additionally, the Science Primer tutorial offers a "basic introduction to the science underlying NCBI resources" geared more toward the general reader.
Hunting Bears with a Microscope
In this online activity, students use lichens and tardigrades (water bears) to investigate their use as bioindicators of key air pollutants. When lichens are exposed to some kinds of air pollutants, especially to sulfur dioxide, the lichens are injured and die. The lichen coverage in a specified area should be a good indicator of the level of air quality. The diversity of the tardigrade species on the lichens will be used to develop another level for bioindication of air quality. Sections of thi
Creatures that "glow" in the night
This Wisconsin Center for Environmental Education activity (PDF) encourages students to practice experimental design and scientific writing through the study of bioluminescence. Students observe and experiment with bioluminescent dinoflagellates (Pyrocystis fusiformis), learning how and why they produce light. The activity includes information for teacher preparation, an introduction to bioluminescence, defined vocabulary terms, a list of necessary materials, procedure, assessment questions, and
Cephalopod Lesson Plans
This collection of lesson plans, created by the Bermuda Biological Station for Research, highlights color change in cephalopods. This page provides links to each lesson plan, which are in PDF format and feature an informative, image-rich introduction followed by a hands-on laboratory activity. The lesson plans highlight cephalopod color change, vision, light quality, and light quantity.
ReSciPE Workshops: Scientific Inquiry in the K-12 Classroom
This half-day workshop was developed especially for scientists and science educators interested in contributing to K-16 science education. Workshop activities provide participants with an overview of the research base behind inquiry teaching and learning, an introduction to national standards for inquiry-based K-12 science education, and some hands-on examples of how inquiry can look in the classroom. This workshop is sponsored by the Cooperative Institute for Research in Environmental Sciences