Wyniki wyszukiwania:

This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we...

Encompassing habitats as diverse as alpine forests and subtropical swamps, the Mid-Atlantic region has a richly diverse fish fauna. Outside of the important sport and commercial species, however, few are known to the average person. This book provides information on how to identify some 260 species of freshwater fish, from the largemouth bass to the rosyside dace. Illustrated with more than 200 color photographs, most by James Parnell, this guide provides a detailed description of each species as well as notes on its distribution and abundance, habitat, and natural history (diet, spawning...