The Reasoned Schemer

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

Publisher: MIT Press

ISBN: 0262562146

Category: Computers

Page: 169

View: 9214

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.

Viel Lärm um nichts (illustriert)

Author: William Shakespeare

Publisher: Clap Publishing, LLC.

ISBN: 1635371465

Category: Performing Arts

Page: 121

View: 876

DOWNLOAD NOW »
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

Author: A.K. Dewdney

Publisher: Springer-Verlag

ISBN: 3642788726

Category: Computers

Page: 496

View: 8152

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

Category: Computers

Page: 471

View: 8367

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.

Warum Nationen scheitern

Die Ursprünge von Macht, Wohlstand und Armut

Author: Daron Acemoglu,James A. Robinson

Publisher: S. Fischer Verlag

ISBN: 310402247X

Category: Business & Economics

Page: 608

View: 3229

DOWNLOAD NOW »
Der Klassiker - von sechs Wirtschaftsnobelpreisträgern empfohlen, eine Pflichtlektüre! Warum sind Nationen reich oder arm? Starökonom Daron Acemoglu und Harvard-Politologe James Robinson geben eine ebenso schlüssige wie eindrucksvolle Antwort auf diese grundlegende Frage. Anhand zahlreicher, faszinierender Fallbeispiele – von den Conquistadores über die Industrielle Revolution bis zum heutigen China, von Sierra Leone bis Kolumbien – zeigen sie, mit welcher Macht die Eliten mittels repressiver Institutionen sämtliche Regeln zu ihren Gunsten manipulieren - zum Schaden der vielen Einzelnen. Ein spannendes und faszinierendes Plädoyer dafür, dass Geschichte und Geographie kein Schicksal sind. Und ein überzeugendes Beispiel, dass die richtige Analyse der Vergangenheit neue Wege zum Verständnis unserer Gegenwart und neue Perspektiven für die Zukunft eröffnet. Ein provokatives, brillantes und einzigartiges Buch. »Dieses Buch werden unsere Ur-Ur-Urenkel in zweihundert Jahren noch lesen.« George Akerlof, Nobelpreisträger für Wirtschaftswissenschaften »Eine absolut überzeugende Studie.« Gary S. Becker, Nobelpreisträger für Wirtschaftswissenschaften »Ein wirklich wichtiges Buch.« Michael Spence, Nobelpreisträger für Wirtschaftswissenschaften »Acemoglu und Robinson begeistern und regen zum Nachdenken an.« Robert Solow, Nobelpreisträger für Wirtschaftswissenschaften »Ein wichtiges, unverzichtbares Werk.« Peter Diamond, Nobelpreisträger für Wirtschaftswissenschaften »Ein wichtiger Beitrag zur Debatte, warum Staaten mit gleicher Vorrausetzung sich so wesentlich in wirtschaftlichen und politischen Entwicklungen unterscheiden.« Kenneth J. Arrow, Nobelpreisträger für Wirtschaftswissenschaften »Diese faktenreiche und ermutigende Streitschrift lehrt uns, dass die Geschichte glücklich enden kann, wenn ihr kein Mensch mehr als Versuchsobjekt dient.« Michael Holmes, NZZ am Sonntag »Anderthalb Jahrzehnte Arbeit eines Pools von Wissenschaftlern, auf 600 Seiten zusammengefasst durch zwei Forscher von Weltrang – und dies kommt heraus: eine Liebeserklärung an Institutionen, die im Sinne ihrer Bürger funktionieren. [...] bestechend.« Elisabeth von Thadden, Die Zeit »Sie werden von diesem Buch begeistert sein.« Jared Diamond, Pulitzer Preisträger und Autor der Weltbestseller »Kollaps« und »Arm und Reich« » Ein höchst lesenswertes Buch.« Francis Fukuyama, Autor des Bestsellers »Das Ende der Geschichte« »Ein phantastisches Buch. Acemoglu und Robinson gehen das wichtigste Problem der Sozialwissenschaften an – eine Frage, die führende Denker seit Jahrhunderten plagt – und liefern eine in ihrer Einfachheit und Wirkmächtigkeit brillante Antwort. Eine wunderbar lesbare Mischung aus Geschichte, Politikwissenschaft und Ökonomie, die unser Denken verändern wird. Pflichtlektüre.« Steven Levitt, Autor von »Freakonomics«

C++ Alles in einem Band für Dummies

Author: John Paul Mueller,Jeff Cogswell

Publisher: John Wiley & Sons

ISBN: 3527692592

Category: Computers

Page: 828

View: 9874

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,Daniel P. Friedman

Publisher: MIT Press

ISBN: 9780262561150

Category: Computers

Page: 179

View: 8037

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

Das Buch vom geglückten Leben

Author: N.A

Publisher: C.H.Beck

ISBN: 3406703100

Category: Philosophy

Page: 80

View: 5700

DOWNLOAD NOW »
In seinem Handbüchlein weist Epiktet einen zeitlos modernen Weg, sich von jenen zweifelhaften Werten und Überzeugungen freizumachen, die den Menschen versklaven. Wer sich unter Epiktets Anleitung wahre innere Freiheit erwirbt, den wird nichts und niemand mehr hindern können, glücklich und zufrieden zu leben. Es ist nicht erstaunlich, dass Epiktets praxisorientierte Philosophie in einer unsicheren Zeit entstand. Philosophie wird zum Mittel der Krisenbewältigung, zur Lebenshilfe, zu einem höchstes irdisches Glück verheißenden Religionsersatz.

The Little Prover

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

Publisher: MIT Press

ISBN: 0262527952

Category: Computers

Page: 248

View: 4586

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.

Sprache und Geist

mit einem Anhang: Linguistik und Politik

Author: Noam Chomsky

Publisher: N.A

ISBN: 9783518276198

Category: Psycholinguistics

Page: 188

View: 9765

DOWNLOAD NOW »

Handbüchlein der Moral

Author: Epiktet

Publisher: BoD – Books on Demand

ISBN: 394592443X

Category: Education

Page: 80

View: 3657

DOWNLOAD NOW »
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.

Klassische Mechanik

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

Publisher: John Wiley & Sons

ISBN: 3527662073

Category: Science

Page: 700

View: 4952

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.

Functional and Logic Programming

9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

Author: Jacques Garrigue,Manuel Hermenegildo

Publisher: Springer

ISBN: 3540789693

Category: Computers

Page: 340

View: 4205

DOWNLOAD NOW »
This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008. The 20 revised full papers, together with 3 invited contributions were carefully reviewed and selected from 59 submissions.

Essentials of Programming Languages

Author: Daniel P. Friedman,Mitchell Wand

Publisher: MIT Press

ISBN: N.A

Category: Computers

Page: 432

View: 7503

DOWNLOAD NOW »
This book provides students with a deep, working understanding of the essential concepts of programming languages. Most of these essentials relate to the semantics, or meaning, of program elements, and the text uses interpreters (short programs that directly analyze an abstract representation of the program text) to express the semantics of many essential language elements in a way that is both clear and executable. The approach is both analytical and hands-on. The book provides views of programming languages using widely varying levels of abstraction, maintaining a clear connection between the high-level and low-level views. Exercises are a vital part of the text and are scattered throughout; the text explains the key concepts, and the exercises explore alternative designs and other issues. The complete Scheme code for all the interpreters and analyzers in the book can be found online through The MIT Press web site. For this new edition, each chapter has been revised and many new exercises have been added. Significant additions have been made to the text, including completely new chapters on modules and continuation-passing style. Essentials of Programming Languages can be used for both graduate and undergraduate courses, and for continuing education courses for programmers.

Nudge

Wie man kluge Entscheidungen anstößt

Author: Richard H. Thaler,Cass R. Sunstein

Publisher: Ullstein eBooks

ISBN: 3430920035

Category: Science

Page: 400

View: 8486

DOWNLOAD NOW »
Nudge – so heißt die Formel, mit der man andere dazu bewegt, die richtigen Entscheidungen zu treffen. Denn Menschen verhalten sich von Natur aus nicht rational. Nur mit einer Portion List können sie dazu gebracht werden, vernünftig zu handeln. Aber wie schafft man das, ohne sie zu bevormunden? Wie erreicht man zum Beispiel, dass sie sich um ihre Altervorsorge kümmern, umweltbewusst leben oder sich gesund ernähren? Darauf gibt Nudge die Antwort. Das Konzept hat bereits viele Entscheidungsträger überzeugt, darunter US-Präsident Barack Obama. Anschaulich und unterhaltsam präsentieren der Wirtschaftsnobelpreisträger Richard Thaler und Cass Sunstein einen neuen Ansatz der Verhaltensökonomie, der schon heute das Denken und Handeln in Politik und Wirtschaft prägt.

Functional and Logic Programming

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Author: Oleg Kiselyov,Andy King

Publisher: Springer

ISBN: 3319296043

Category: Computers

Page: 253

View: 866

DOWNLOAD NOW »
This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness.

Trends in Functional Programming

18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

Author: Meng Wang,Scott Owens

Publisher: Springer

ISBN: 3319897195

Category: Computers

Page: 149

View: 4549

DOWNLOAD NOW »
This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area.