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.
Symptoms of Posttraumatic Stress Disorder in a New Orleans Workforce Following Hurricane Katrina
On August 29, 2005, Hurricane Katrina made landfall resulting in catastrophic damage and flooding to New Orleans, LA, and the Gulf Coast, which may have had significant mental health effects on the population. To determine rates and predictors of symptoms consistent with a diagnosis of posttraumatic stress disorder (PTSD) in New Orleans residents following Hurricane Katrina, we conducted a web-based survey 6 months after Hurricane Katrina made landfall. Participants included 1,542 employees from
Igneous Petrology
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
Geometry Formulas and Facts
This excerpt from the CRC Standard Mathematical Tables and Formulas covers geometry, excluding differential geometry. It is a reference for advanced students, and covers the material in quick, condensed sections of notes. Notes and diagrams are organized into sections and subsections, starting with coordinate systems, plane transformations, lines, and polygons in two-dimensional geometry. The section on three-dimensional geometry covers coordinate systems in space, space symmetries, directions,
Gaza explosion knocks people off their feet, kills 17
Rescue workers arriving to tend to people injured in an explosion in Shejaia market are hit by a second explosion which knocks them on their backs. Rough Cut (no reporter narration)
Subscribe: http://smarturl.it/reuterssubscribe
More updates and breaking news: http://smarturl.it/BreakingNews
Reuters tells the world's stories like no one else. As the largest international multimedia news provider, Reuters provides coverage around the globe and across topics including business, financial, natio
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
Lunch Poems: Fall 2006 Kick-Off
SERIES KICK-OFF
Distinguished faculty and staff from a wide range of disciplines read and discuss a favorite poem. This year's participants include:
Ani Adhikari (Statistics)
Mary Catherine Birgeneau
Patrick Dillon (California Magazine)
Janette Hernandez (Education)
Davitt Moroney (Music)
Charlotte Rubens (Library)
Jonathan Poullard (Dean of Students)
Harsha Ram (Slavic Languages and Literature)
Clare You (Korean Sudies)
Examining the Burdens of Gendered Racism: Implications for Pregnancy Outcomes Among College-Educated
Objectives: As investigators increasingly identify racism as a risk factor for poor health outcomes (with implications for adverse birth outcomes), research efforts must explore individual experiences with and responses to racism. In this study, our aim was to determine how African American college-educated women experience racism that is linked to their identities and roles as African American women (gendered racism).
Methods: Four hundred seventy-four (474) African American women collaborate
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
