The Reasoned Schemer

DOWNLOAD NOW »

Author: Daniel P. Friedman,William E. Byrd,Oleg Kiselyov

Publisher: MIT Press

ISBN: 0262562146

Category: Computers

Page: 169

View: 1672

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.

Struktur Und Interpretation Von Computerprogrammen/ Structure and Interpretation of Computer Programs

Eine Informatik-einfhrung/ a Computer Science Introduction

DOWNLOAD NOW »

Author: Harold Abelson,Julie Sussman,Gerald Jay Sussman

Publisher: Springer

ISBN: 9783540423423

Category: Computers

Page: 682

View: 935

Die Übersetzung der bewährten Einführung in die Informatik, entstanden am Massachusetts Institute of Technology (MIT), wird seit Jahren erfolgreich in der Lehre eingesetzt. Schritt für Schritt werden Konstruktion und Abstraktion von Daten und Prozeduren dargestellt. Von der Modularisierung bis zum Problemlösen mit Registermaschinen werden verschiedene Programmierparadigmen entwickelt und die effektive Handhabung von Komplexität gezeigt. Als Programmiersprache wird SCHEME verwendet, ein Dialekt von LISP. Alle Programme laufen in jeder dem IEEE-Standard entsprechenden SCHEME-Implementierung.

Viel Lärm um nichts (illustriert)

DOWNLOAD NOW »

Author: William Shakespeare

Publisher: Clap Publishing, LLC.

ISBN: 1635371465

Category: Performing Arts

Page: 121

View: 5973

Viel Lärm um nichts ist eine Komödie um Liebe und Intrigen von William Shakespeare; sie unterscheidet sich von Shakespeares anderen romanesken Komödien durch den realeren Bezug zur Liebe. Claudio interessiert sich vor allem für Heros Erbschaft, Benedikt und Beatrice erliegen nicht der konventionellen Augenliebe, sondern finden sich erst nach Einmischungen der anderen Figuren. Besonders hervorstechend ist das Spiel mit dem Sein und dem Schein, worauf schon das Wortspiel im Titel hinweist – nothing und noting („nichts“ und „wahrnehmen, erkennen“). Damit sind einerseits die Intrigen gegen Hero, andererseits die Sitten der höfischen Selbstinszenierung, insbesondere bei Benedikt und Beatrice, gemeint. Geschrieben wurde das Stück 1598/99 und erstmals in der Quartoausgabe von 1600 gedruckt.

Der Turing Omnibus

Eine Reise durch die Informatik mit 66 Stationen

DOWNLOAD NOW »

Author: A.K. Dewdney

Publisher: Springer-Verlag

ISBN: 3642788726

Category: Computers

Page: 496

View: 4733

Der Turing Omnibus macht in 66 exzellent geschriebenen Beiträgen Station bei den interessantesten Themen aus der Informatik, der Computertechnologie und ihren Anwendungen.

C - kurz & gut

DOWNLOAD NOW »

Author: Peter Prinz,Ulla Kirch-Prinz

Publisher: O'Reilly Germany

ISBN: 9783897212381

Category: C (Computer program language)

Page: 120

View: 2865

C - kurz & gut besteht aus zwei Teilen: einer kompakten Beschreibung der Sprache und einer thematisch strukturierten Referenz zur Standardbibliothek. Die Darstellung der Sprache basiert auf dem ANSI-Standard und geht auch auf die Erweiterungen im neuen Standard von 1999 (kurz ANSI C99) ein. Die darin eingefuhrten neuen Datentypen, Funktionen und Makros sind zur besseren Orientierung immer gekennzeichnet, da diese Erweiterungen noch nicht bei allen C-Compilern implementiert sind. Ein knapper Index hilft beim Finden der Funktionen, Typen und anderer Syntax-Elemente. Aus dem Inhalt: Grundlagen Datentypen Ausdrucke und Operatoren Anweisungen Deklarationen Funktionen Praprozessor-Direktiven Die Standardbibliothek"

vi und Vim kurz & gut

DOWNLOAD NOW »

Author: Arnold Robbins

Publisher: O'Reilly Germany

ISBN: 3868991735

Category: Computers

Page: 96

View: 6869

Die Begeisterung für den vi- und den Vim-Editor ist ungebrochen. Die plattform-unabhängigen Texteditoren besitzen jedoch so viele Befehle, dass man sie sich kaum alle merken kann. Der Autor Arnold Robbins hat die wichtigsten Befehle für vi und Vim – aber auch für Clones wie vile, elvis und nvi – in dieser praktischen Befehlsreferenz zusammengefasst.

Programmierparadigmen

Eine Einführung auf der Grundlage von Racket

DOWNLOAD NOW »

Author: Christian Wagenknecht

Publisher: Springer-Verlag

ISBN: 3658141344

Category: Computers

Page: 244

View: 2990

Im Verlaufe ihres Berufslebens müssen sich Informatiker immer wieder in neue Programmier- und Fachsprachen einarbeiten. Der Erfolg dieses fortwährenden Lernprozesses wird zu einem erheblichen Maß durch den Stand des Wissens über Programmierstile und damit verbundene Denkformen bestimmt. Paradigmenwissen ist also von besonderer Bedeutung und muss frühzeitig im Studium verankert werden. Das vorliegende Buch verwendet für die Vermittlung dieses Wissens einen völlig neuen didaktischen Ansatz: Es wird nur eine einzige Sprache benutzt, in der sämtliche Paradigmen ausgedrückt und weitere Grundkonzepte der Programmierung thematisiert werden können. Dieses einführende Lehrbuch ist besonders für Informatik-Studierende der ersten Semester an Fachhochschulen, Universitäten und Berufsakademien geeignet. Es kann ebenso in Fortbildungskursen und an Schulen Verwendung finden.

C++ Alles in einem Band für Dummies

DOWNLOAD NOW »

Author: John Paul Mueller,Jeff Cogswell

Publisher: John Wiley & Sons

ISBN: 3527692592

Category: Computers

Page: 828

View: 4620

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

DOWNLOAD NOW »

Author: Matthias Felleisen,Daniel P. Friedman

Publisher: MIT Press

ISBN: 9780262561150

Category: Computers

Page: 179

View: 4582

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

Klassische Mechanik

DOWNLOAD NOW »

Author: Herbert Goldstein,Charles P. Poole, Jr.,John L. Safko, Sr.

Publisher: John Wiley & Sons

ISBN: 3527662073

Category: Science

Page: 700

View: 2102

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.

Handbüchlein der Moral

DOWNLOAD NOW »

Author: Epiktet

Publisher: BoD – Books on Demand

ISBN: 394592443X

Category: Education

Page: 80

View: 6308

Das "Handbüchlein" ist das bekannteste und einflussreichste Kompendium der praktischen Lebensweisheit des berühmten Philosophen Epiktet. Zusammengestellt und herausgegeben von seinem bedeutendsten Schüler, dem römischen Historiker und Staatsmann Arrianus, dient es seit zwei Jahrtausenden allen nach Weisheit und Persönlichkeitsbildung Strebenden als treues Vademecum. Ohne den Leser mit theoretischem Ballast zu ermüden, vermittelt es die lebensethischen Maximen und im besten Sinne des Wortes humanen Lehren Epiktets unumständlich, einfach, kompakt. Das "Handbüchlein" zählt neben den Werken Senecas und den "Selbstbetrachtungen" Marc Aurels noch heute zu den populärsten Werken der antiken Lebensphilosophie.

Das MMIX-Buch

Ein praxisnaher Zugang zur Informatik

DOWNLOAD NOW »

Author: Heidi Anlauff,Axel Böttcher,Martin Ruckert

Publisher: Springer-Verlag

ISBN: 3642562337

Category: Computers

Page: 330

View: 8296

Dieses Lehrbuch gibt eine praxisnahe Einführung in die Informatik. Zunächst werden die Grundlagen der Kodierung und der Informationsdarstellung abgehandelt und Kontroll- und Datenstrukturen vorgestellt. Anschließend werden Architekturmerkmale von Prozessoren (RISC und CISC) sowie Mechanismen der Systemsteuerung wie Pipelining und Interrupts erläutert. Es folgt eine Beschreibung der wichtigsten Funktionen eines Betriebssystems wie die Organisation von Prozessen und die Speicherverwaltung. Die Darstellung erfolgt mittels des Modellprozessors MMIX, der von Donald E. Knuth in seinem Standardwerk "The Art of Computer Programming" entwickelt wurde. Die Funktionsweise dieses Prozessors wird in einem eigenen Kapitel ausführlich beschrieben. Ferner werden die Programmierumgebung des MMIX und seine Assemblersprache MMIXAL in ergänzenden Anhängen zusammengestellt.

The Little Prover

DOWNLOAD NOW »

Author: Daniel P. Friedman,Carl Eastlund,Duane Bibby,J. Strother Moore,Matthias Felleisen

Publisher: MIT Press

ISBN: 0262527952

Category: Computers

Page: 248

View: 4338

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.

Cocoa

Programmierung für Mac OS X

DOWNLOAD NOW »

Author: Aaron Hillegass,Adam Preble

Publisher: MITP-Verlags GmbH & Co. KG

ISBN: 3826692063

Category: Cocoa (Application development environment)

Page: 531

View: 7227

Diese deutsche Übersetzung des Bestsellers von Aaron Hillegass ist das Standardwerk zur Mac-Programmierung. Hillegass behandelt alle Grundlagen, die Sie zur Programmierung für den Mac mit Cocoa brauchen, um featurereiche Anwendungen für OS X zu entwickeln. Das Buch ist eine wertvolle Ressource für jeden Mac-Programmierer!

Die Kunst der Benennung

DOWNLOAD NOW »

Author: Michael Ohl

Publisher: Matthes & Seitz Berlin Verlag

ISBN: 3957571340

Category: Science

Page: 317

View: 3841

1942, mitten im Zweiten Weltkrieg, führt Hitler einen ganz persönlichen Kampf: den Kampf für die Spitzmaus. Biologen, die sich erdreistet hatten, dem irrtümlich als "Maus" bezeichneten Tier einen anderen Namen zu verpassen, drohte er mit einem Arbeitseinsatz an der Ostfront. Um die richtigen Namen für die Natur wird - wenn auch weniger dramatisch - seit jeher gerungen. Entgegen der ausgefeilten Systematik der Tierkategorisierung unterliegt die Namensgebung selbst der Freiheit des Entdeckers und gestaltet sich entsprechend kunstvoll wie kontrovers. Doch wie passt das mit dem Exaktheitsanspruch der Naturwissenschaft zusammen? In einer unterhaltsamen Expedition durch die Geschichte der Naturkunde, durch Museen und Wildnis, eröffnet uns Michael Ohl eine eigentümliche, faszinierende Sprachwelt, die sich von volkstümlichen Bezeichnungen über die Systematisierung bei Linné bis hin zur Genetik stetig weiterentwickelt hat. Er erzählt die Geschichte von waghalsigen Abenteurern und sammelwütigen Sonderlingen und erkärt, warum der Maulwurf sein Maul bei sich behält und das Murmeltier pfeift und nicht murmelt. Mit diesem Verständnis des sinnlichen Wechselspiels von Kultur und Natur können wir begreifen, warum die "Diva unter den Pferdebremsen" mit goldenem Hinterteil den Namen von Beyoncé trägt, und was es mit der merkwürdigen Art "Homo sapiens" auf sich hat.

Die Besessenen

DOWNLOAD NOW »

Author: Elif Batuman

Publisher: Kein & Aber AG

ISBN: 3036991182

Category: Fiction

Page: 368

View: 5619

Warum bloß bleibt Hans Castorp in Thomas Manns Zauberberg sieben Jahre im Sanatorium, obwohl er selbst keine Tuberkulose hat? Natürlich geht es um die Liebe. Und um die Liebe dreht sich auch alles in »Die Besessenen«. Elif Batuman erzählt von ihrer großen Bewunderung für die klassischen russischen Autoren und tut dies auf eine so kluge und berührende Weise, dass man bald selbst vor Begeisterung sprüht. Dabei liest sie niemals, ohne nicht gleichzeitig mit einem Auge auf ihr Leben und die Menschen um sie herum zu schielen. Wie Don Quixote zieht sie aus, um in der Welt etwas über die Literatur zu erfahren und in den Büchern etwas über die Welt. Batuman schreibt dabei mit so viel schillernder Raffinesse, dass am Ende keine Literaturwissenschaft entsteht, sondern Literatur.