Concepts of programming languages

Sample

Ravi Sethi

Programming Languages: Concepts and Constructs, Second Edition retains the "character" of the original, emphasizing concepts and how they work together. This classic book has been thoroughly revised to provide readable coverage of the major programming paradigms. Dr. Sethi's treatment of the core concepts of imperative programming in languages like Pascal and C flows smoothly into object-oriented programming in C++ and Smalltalk. The charm of functional languages is illustrated by programs in Standard ML and the Scheme dialect of Lisp. Logic programming is introduced using Prolog. . Novices, who have been introduced to programming in some language, will learn from this book how related concepts work together while designers and implementers will be exposed to the major programming paradigms.

Sample

Areski Nait Abdallah

This book presents the foundations of reasoning with partial information and a theory of common sense reasoning based on monotonic logic and partial structures. This theory was designed specifically for the needs of practicing computer scientists and provides easily implementable algorithms. Starting from first principles, following the logic of discovery of Karl Popper and Imre Lakatos, and the semantics of programming languages, the book develops a system of reasoning with partial information, and applies it to a comprehensive study of the problem examples from the literature of common sense reasoning. Proof-theoretic and model-theoretic views are considered in the applications, as well as logical problems of theoretical physics, such as issues related to Heisenberg's uncertainty principle. The book points out that customary expositions of common-sense reasoning are based on a flawed non-monotonic reasoning paradigm and that the resulting solutions proposed for major problems, such as the frame problem, are either ad hoc or inadequate. It is shown that non-monotonicity results from hiding information that should not be hidden. The essential research in common-sense reasoning has been developed in isolation from the disciplines of theoretical computer science and classical logic. This work breaks the isolation and establishes deep links. The book will be of interest to computer scientists, mathematicians, logicians, and philosophers interested in the foundations and applications of reasoning with partial information.

Sample

Graham Williams

"Data mining is the art and science of intelligent data analysis. By building knowledge from information, data mining adds considerable value to the ever increasing stores of electronic data that abound today. In performing data mining many decisions need to be made regarding the choice of methodology, the choice of data, the choice of tools, and the choice of algorithms. Throughout this book the reader is introduced to the basic concepts and some of the more popular algorithms of data mining. With a focus on the hands-on-end-to-end process for data mining. Williams guides the reader through various capabilities of the easy to use, free, and open source Rattle Data Mining Software built on the sophisticated R Statistical Software."--[book cover]

Sample

William F. Clocksin, Christopher S. Mellish

Since the first edition of this book in 1981, Prolog has continued to attract an unexpectedly great deal of interest in the computer science community and has turned out to be a basis for an important new family of programming languages and systems for Artificial Intelligence. In the preceding three editions, the authors have steadily added new material, improved the presentation, and corrected various minor errors to provide a textbook as well as a reference work for everyone who wants to study and use Prolog as a practical programming language. The authors concentrate on teaching "core" Prolog. All examples conform to this standard and will run on the most widely-used Prolog implementations some of which are listed in the appendices with indications as to how they diverge from the standard.