United States Attorneys' Manual


Book Description




Prove It with Figures


Book Description

"Prove It With Figures" displays some of the tools of the social and statistical sciences that have been applied to the proof of facts in the courtroom and to the study of questions of legal importance. It explains how researchers can extract the most valuable and reliable data that can conveniently be made available, and how these efforts sometimes go awry. In the tradition of Zeisel's "Say It with Figures," a standard in the field of social statistics since 1947, it clarifies, in non-technical language, some of the basic problems common to all efforts to discern cause-and-effect relationships. Designed as a textbook for law students who seek an appreciation of the power and limits of empirical methods, the work also is a useful reference for lawyers, policymakers, and members of the public who would like to improve their critical understanding of the statistics presented to them. The many case histories include analyses of the death penalty, jury selection, employment discrimination, mass torts, and DNA profiling. Hans Zeisel was Professor of Law and Sociology Emeritus at the University of Chicago, where he pioneered the application of social science to the law. Earlier, he had a distinguished career in public opinion and market research. He has written on a wide variety of topics, ranging from research methodology and history to law enforcement, juries, and Sheakespeare. He was elected Fellow of the American Statistical Assoication and the American Association for the Advancement of Science, and in 1980 he was inducted into the Market Research Hall of Fame. David Kaye is Regents Professor at the Arizona State University, where he teaches evidence and related topics. An author of several law textbooks and treatises, his work also has appeared in journals of




The Cornellian


Book Description







Evidence Explained


Book Description

Citation style manual for every type of source record and media.




Proofs from THE BOOK


Book Description

According to the great mathematician Paul Erdös, God maintains perfect mathematical proofs in The Book. This book presents the authors candidates for such "perfect proofs," those which contain brilliant ideas, clever connections, and wonderful observations, bringing new insight and surprising perspectives to problems from number theory, geometry, analysis, combinatorics, and graph theory. As a result, this book will be fun reading for anyone with an interest in mathematics.




The Art of Cross-examination


Book Description




The Central Law Journal


Book Description

Vols. 65-96 include "Central law journal's international law list."




United States Code


Book Description




Fundamental Proof Methods in Computer Science


Book Description

A textbook that teaches students to read and write proofs using Athena. Proof is the primary vehicle for knowledge generation in mathematics. In computer science, proof has found an additional use: verifying that a particular system (or component, or algorithm) has certain desirable properties. This book teaches students how to read and write proofs using Athena, a freely downloadable computer language. Athena proofs are machine-checkable and written in an intuitive natural-deduction style. The book contains more than 300 exercises, most with full solutions. By putting proofs into practice, it demonstrates the fundamental role of logic and proof in computer science as no other existing text does. Guided by examples and exercises, students are quickly immersed in the most useful high-level proof methods, including equational reasoning, several forms of induction, case analysis, proof by contradiction, and abstraction/specialization. The book includes auxiliary material on SAT and SMT solving, automated theorem proving, and logic programming. The book can be used by upper undergraduate or graduate computer science students with a basic level of programming and mathematical experience. Professional programmers, practitioners of formal methods, and researchers in logic-related branches of computer science will find it a valuable reference.