Wyniki wyszukiwania:

Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading....

This text explains how the law defines hate crime as any crime against either person or property in which the offender intentionally selects the victim because of the victim's actual or perceived race, colour, religion, national origin, ethnicity, gender, disability, or sexual orientation.

"The best education," the admissions brochure declared, "is the confrontation of two first-class minds." Attracted by that vision-and the prospect of a college education in the Florida sun with no grades or required classes-dozens of carefully selected high school seniors turned down more conventional schools, and headed for an untested educational experiment on the shores of Sarasota Bay. This is the story of New Colleges early years, told by those who were there.

The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which the author extensively uses throughout. In addition, Paulson has totally rewritten the first chapter to make the book more accessible to students who have no experience of programming languages. The author describes the main features of new Standard Library for the revised version of ML, and gives many new examples, e.g....

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.