The Reasoned Schemer

Author: Daniel P. Friedman
Publisher: MIT Press
ISBN: 0262562146
Format: PDF
Download Now
The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is a natural extension of functional programming, and they demonstrate this by extending the functional language Scheme with logical constructs -- thereby combining the benefits of both styles. The extension encapsulates most of the ideas in the logic programming language Prolog. The pedagogical method of The Reasoned Schemer is a series of questions and answers, which proceed with the characteristic humor that marked The Little Schemer and The Seasoned Schemer. Familiarity with a functional language or with the first eight chapters of The Little Schemer is assumed. Adding logic capabilities required the introduction of new forms. The authors' goal is to show to what extent writing logic programs is the same as writing functional programs using these forms. In this way, the reader of The Reasoned Schemer will come to understand how simple logic programming is and how easy it is to define functions that behave like relations.

Der Turing Omnibus

Author: A.K. Dewdney
Publisher: Springer-Verlag
ISBN: 3642788726
Format: PDF, Mobi
Download Now
Der Turing Omnibus macht in 66 exzellent geschriebenen Beiträgen Station bei den interessantesten Themen aus der Informatik, der Computertechnologie und ihren Anwendungen.

C f r Dummies

Author: Stephen R. Davis
Publisher: John Wiley & Sons
ISBN: 3527686894
Format: PDF, ePub
Download Now
Von Array bis Zeiger – lernen Sie alles zur Programmierung mit C++ Die Programmierung mit C++ muss nicht schwer sein. Mit diesem Buch werden Sie die C++-Syntax von der Pike auf lernen, verstehen und anwenden und schon ab dem ersten Kapitel eigene Programme schreiben. Stephen Randy Davis zeigt Ihnen unter anderem, wie Sie Variablen verwenden, logische Operationen ausführen, den Programmablauf steuern und Sequenzen in Arrays speichern. Außerdem erfahren Sie, wie Sie Code zu Modulen zusammenfassen, die Sie immer wieder verwenden können, und wie man Klassen erbt und faktorisiert, sodass Sie bald fließend C++ sprechen.

C Alles in einem Band f r Dummies

Author: John Paul Mueller
Publisher: John Wiley & Sons
ISBN: 3527692592
Format: PDF, Mobi
Download Now
Dieses Buch ist für alle, die tief in die C++-Programmierung einsteigen möchten. Dennoch werden keine Programmierkenntnisse vorausgesetzt. John Paul Mueller und Jeff Cogswell erklären Ihnen zunächst, wie Sie C++ installieren. Sie erfahren, was Klassen und Objekte sind, was Sie mit Entwurfsmustern anfangen und wie Sie Ihre Programme debuggen. Aus Anfängern werden Entwickler mit Erfahrung und dann fortgeschrittene Programmierer. Diese finden in diesem Buch Informationen zu dynamischen Arrays, Lambda-Ausdrücken, Streams, UML, der Standardbibliothek, zu Boost und vielem mehr. Alle Codebeispiele des Buchs stehen zum Download zur Verfügung.

A Little Java a Few Patterns

Author: Matthias Felleisen
Publisher: MIT Press
ISBN: 9780262561150
Format: PDF, Docs
Download Now
foreword by Ralph E. Johnson and drawings by Duane Bibby 'This is a book of 'why' not 'how.' If you are interested in the nature of computation and curious about the very idea behind object orientation, this book is for you. This book will engage your brain (if not your tummy). Through its sparkling interactive style, you will learn about three essential OO concepts: interfaces, visitors, and factories. A refreshing change from the 'yet another Java book' phenomenon. Every serious Java programmer should own a copy.' -- Gary McGraw, Ph.D., Research Scientist at Reliable Software Technologies and coauthor of Java Security Java is a new object-oriented programming language that was developed by Sun Microsystems for programming the Internet and intelligent appliances. In a very short time it has become one of the most widely used programming languages for education as well as commercial applications. Design patterns, which have moved object-oriented programming to a new level, provide programmers with a language to communicate with others about their designs. As a result, programs become more readable, more reusable, and more easily extensible. In this book, Matthias Felleisen and Daniel Friedman use a small subset of Java to introduce pattern-directed program design. With their usual clarity and flair, they gently guide readers through the fundamentals of object-oriented programming and pattern-based design. Readers new to programming, as well as those with some background, will enjoy their learning experience as they work their way through Felleisen and Friedman's dialogue. src='/graphics/yellowball.gif' href='/books/FELTP/Java-fm.html'Foreword and Preface

Scheme and the Art of Programming

Author: George Springer
Publisher: Mit Press
ISBN: 9780262691369
Format: PDF, ePub
Download Now
Scheme is the fast track to getting started in programming. Its clear semantics, simple syntax, and interactive environment enable the beginning student to write sophisticated programs after just two brief chapters. As a first introduction to programming, it is an ideal vehicle for learning to reason correctly about computation. Starting from a few fundamental concepts and principles - procedural and syntactic abstractions, recursion, iteration, state, and control - Springer and Friedman develop the ideas and techniques of programming. They include both traditional topics such as numeric and symbolic computation, and also cover current issues such as streams, object-oriented programming and continuations for abstracting control. The presentation is designed for the introductory college student It is more sophisticated and complete than The Little LISPer, but not as advanced as Structure and Interpretation of Computer Programs. Springer and Freidman provide a solid introduction to data abstraction by presenting topics such as list strings, vectors, matrices, sets, relations, and functions. Among the examples used to illustrate object oriented programming are stacks, queues, circular lists, hash tables, and a gas station simulation. George Springer is Professor of Mathematics and Computer Science and Daniel P. Friedman is Professor of Computer Science. Both are at Indiana University, one of the centers for research and development of Scheme.

The Little Prover

Author: Daniel P. Friedman
Publisher: MIT Press
ISBN: 0262527952
Format: PDF, ePub
Download Now
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.

Klassische Mechanik

Author: Herbert Goldstein
Publisher: John Wiley & Sons
ISBN: 3527662073
Format: PDF
Download Now
Der Goldstein gehört zu den Standardwerken für die Vorlesung in Klassischer Mechanik, die Pflichtvorlesung und Teil des Theorie-Lehrplans jedes Physik-Studienganges ist. Für diese aktuelle Ausgabe haben Charles Poole und John Safko die Texte überarbeitet und neueste Themen, Anwendungen und Notationen eingearbeitet und sind damit auf moderne Trends in der Theoretischen Mechanik eingegangen. Neue numerische Übungen verhelfen den Studenten zur Fähigkeit, Computeranwendungen für die Lösung von Physikproblemen zu benutzen. Mathematische Techniken werden detailliert eingeführt, so daß der Text auch für Studenten ohne den entsprechenden Hintergrund der Theoretischen Mechanik verständlich ist.