Intended for upper elementary and secondary teachers in all subject areas, this guide provides practical advice on determining the appropriate application of computer technology and on the selection of specific, subject-related computer-based instruction units. Under the heading of hardware and software, topics discussed include communicating with a computer, computer size, getting and using user's programs, translators and programming languages, and the elements of a program. The computer is analyzed in terms of its uses as instructor, laboratory, calculator, object of instruction, and instructor's aide. The selection of computer-based instructional units is described from the beginning of the selection process through final decision making. Individual papers then focus on uses of the computer in the following specific areas: art education, business education, instruction for the deaf and hard of hearing, elementary school, language arts, mathematics curriculum and instruction, music education, physical education, secondary science, natural science, and the social sciences. "Keys to Recognizing General Purpose Languages," and some primary sources of computer-based instructional units, are appended. (LMM)

George Lawrence Stone's Stick Control is the original classic, often called the bible of drumming. In 1993, Modern Drummer magazine named it one of the top 25 drumming books of all-time. In the words of the author, this is the ideal book for improving "control, speed, flexibility, touch, rhythm, lightness, delicacy, power, endurance, preciseness of execution, and muscular coordination," with extra attention given to the development of the weak hand. This indispensable book for drummers of all types includes hundreds of basic to advanced rhythms and moves through categories of single-beat combinations, triplets, short roll combinations, flam beats, flam triplets and dotted notes, and short roll progressions.

Cryptography is ubiquitous and plays a key role in ensuring data secrecy and integrity as well as in securing computer systems more broadly. Introduction to Modern Cryptography provides a rigorous yet accessible treatment of this fascinating subject. The authors introduce the core principles of modern cryptography, with an emphasis on formal defini

Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic designed to entertain as it informs Integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics Addresses contemporary applications of logic in fields such as computer science and linguistics A web-site (www.wiley.com/go/henle) linked to the text features numerous supplemental exercises and examples, enlightening puzzles and cartoons, and insightful essays

The first coherent exposition of the theory of binary quadratic forms was given by Gauss in the Disqnisitiones Arithmeticae. During the nine teenth century, as the theory of ideals and the rudiments of algebraic number theory were developed, it became clear that this theory of bi nary quadratic forms, so elementary and computationally explicit, was indeed just a special case of a much more elega,nt and abstract theory which, unfortunately, is not computationally explicit. In recent years the original theory has been laid aside. Gauss's proofs, which involved brute force computations that can be done in what is essentially a two dimensional vector space, have been dropped in favor of n-dimensional arguments which prove the general theorems of algebraic number the ory. In consequence, this elegant, yet pleasantly simple, theory has been neglected even as some of its results have become extremely useful in certain computations. I find this neglect unfortunate, because binary quadratic forms have two distinct attractions. First, the subject involves explicit computa tion and many of the computer programs can be quite simple. The use of computers in experimenting with examples is both meaningful and enjoyable; one can actually discover interesting results by com puting examples, noticing patterns in the "data," and then proving that the patterns result from the conclusion of some provable theorem.