An Introduction to Functional Programming Through Lambda Calculus

Filename: an-introduction-to-functional-programming-through-lambda-calculus.pdf
ISBN: 9780486280295
Release Date: 2013-04-10
Number of pages: 336
Author: Greg Michaelson
Publisher: Courier Corporation

Download and read online An Introduction to Functional Programming Through Lambda Calculus in PDF and EPUB Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.


Elementary Point Set Topology

Filename: elementary-point-set-topology.pdf
ISBN: 9780486811017
Release Date: 2016-04-10
Number of pages: 256
Author: Andre L. Yandl
Publisher: Courier Dover Publications

Download and read online Elementary Point Set Topology in PDF and EPUB In addition to serving as an introduction to the basics of point-set topology, this text bridges the gap between the elementary calculus sequence and higher-level mathematics courses. The versatile, original approach focuses on learning to read and write proofs rather than covering advanced topics. Based on lecture notes that were developed over many years at The University of Seattle, the treatment is geared toward undergraduate math majors and suitable for a variety of introductory courses. Starting with elementary concepts in logic and basic techniques of proof writing, the text defines topological and metric spaces and surveys continuity and homeomorphism. Additional subjects include product spaces, connectedness, and compactness. The final chapter illustrates topology's use in other branches of mathematics with proofs of the fundamental theorem of algebra and of Picard's existence theorem for differential equations. "This is a back-to-basics introductory text in point-set topology that can double as a transition to proofs course. The writing is very clear, not too concise or too wordy. Each section of the book ends with a large number of exercises. The optional first chapter covers set theory and proof methods; if the students already know this material you can start with Chapter 2 to present a straight topology course, otherwise the book can be used as an introduction to proofs course also." — Mathematical Association of America


The Schwarz Lemma

Filename: the-schwarz-lemma.pdf
ISBN: 9780486801209
Release Date: 2016-04-20
Number of pages: 256
Author: Seán Dineen
Publisher: Courier Dover Publications

Download and read online The Schwarz Lemma in PDF and EPUB Suitable for advanced undergraduates and graduate students, this self-contained overview covers the classical Schwarz lemma, Poincaré distance on the unit disc, hyperbolic manifolds, holomporhic curvature, and the analytic Radon-Nikodym property. 1989 edition.


Mathematische Grundlagen der Quantenmechanik

Filename: mathematische-grundlagen-der-quantenmechanik.pdf
ISBN: 9783642614095
Release Date: 2013-03-11
Number of pages: 262
Author: John von Neumann
Publisher: Springer-Verlag

Download and read online Mathematische Grundlagen der Quantenmechanik in PDF and EPUB Aus dem Geleitwort von R. Haag: "Es bleibt die Faszination eines großen Wurfs und großen Ideenreichtums."


ANSI Common Lisp

Filename: ansi-common-lisp.pdf
ISBN: 3827295432
Release Date: 1997
Number of pages: 510
Author: Paul Graham
Publisher:

Download and read online ANSI Common Lisp in PDF and EPUB


Clean Coder

Filename: clean-coder.pdf
ISBN: 9783826696954
Release Date: 2014-03-26
Number of pages: 216
Author: Robert C. Martin
Publisher: mitp Verlags GmbH & Co. KG

Download and read online Clean Coder in PDF and EPUB Verhaltensregeln für professionelle Programmierer Erfolgreiche Programmierer haben eines gemeinsam: Die Praxis der Software-Entwicklung ist ihnen eine Herzensangelegenheit. Auch wenn sie unter einem nicht nachlassenden Druck arbeiten, setzen sie sich engagiert ein. Software-Entwicklung ist für sie eine Handwerkskunst. In Clean Coder stellt der legendäre Software-Experte Robert C. Martin die Disziplinen, Techniken, Tools und Methoden vor, die Programmierer zu Profis machen. Dieses Buch steckt voller praktischer Ratschläge und behandelt alle wichtigen Themen vom professionellen Verhalten und Zeitmanagement über die Aufwandsschätzung bis zum Refactoring und Testen. Hier geht es um mehr als nur um Technik: Es geht um die innere Haltung. Martin zeigt, wie Sie sich als Software-Entwickler professionell verhalten, gut und sauber arbeiten und verlässlich kommunizieren und planen. Er beschreibt, wie Sie sich schwierigen Entscheidungen stellen und zeigt, dass das eigene Wissen zu verantwortungsvollem Handeln verpflichtet. In diesem Buch lernen Sie: Was es bedeutet, sich als echter Profi zu verhalten Wie Sie mit Konflikten, knappen Zeitplänen und unvernünftigen Managern umgehen Wie Sie beim Programmieren im Fluss bleiben und Schreibblockaden überwinden Wie Sie mit unerbittlichem Druck umgehen und Burnout vermeiden Wie Sie Ihr Zeitmanagement optimieren Wie Sie für Umgebungen sorgen, in denen Programmierer und Teams wachsen und sich wohlfühlen Wann Sie Nein sagen sollten – und wie Sie das anstellen Wann Sie Ja sagen sollten – und was ein Ja wirklich bedeutet Großartige Software ist etwas Bewundernswertes: Sie ist leistungsfähig, elegant, funktional und erfreut bei der Arbeit sowohl den Entwickler als auch den Anwender. Hervorragende Software wird nicht von Maschinen geschrieben, sondern von Profis, die sich dieser Handwerkskunst unerschütterlich verschrieben haben. Clean Coder hilft Ihnen, zu diesem Kreis zu gehören. Über den Autor: Robert C. Uncle Bob Martin ist seit 1970 Programmierer und bei Konferenzen in aller Welt ein begehrter Redner. Zu seinen Büchern gehören Clean Code – Refactoring, Patterns, Testen und Techniken für sauberen Code und Agile Software Development: Principles, Patterns, and Practices. Als überaus produktiver Autor hat Uncle Bob Hunderte von Artikeln, Abhandlungen und Blogbeiträgen verfasst. Er war Chefredakteur bei The C++ Report und der erste Vorsitzende der Agile Alliance. Martin gründete und leitet die Firma Object Mentor, Inc., die sich darauf spezialisiert hat, Unternehmen bei der Vollendung ihrer Projekte behilflich zu sein.



Mathematik f r konomen

Filename: mathematik-f-r-konomen.pdf
ISBN: 9783800645121
Release Date: 2012-11-13
Number of pages: 476
Author: Alpha C. Chiang
Publisher: Vahlen

Download and read online Mathematik f r konomen in PDF and EPUB Klar und verständlich: Mathematik für Ökonomen. Für viele Studierende der BWL und VWL hat die Mathematik eine ähnliche Anziehungskraft wie bittere Medizin notwendig, aber extrem unangenehm. Das muss nicht sein. Mit diesem Buch gelingt es jedem, die Methoden zu erlernen. Anhand konkreter ökonomischer Anwendungen wird die Mathematik sehr anschaulich erklärt. Schnelle Lernerfolge Von der Wiederholung des Abiturwissens bis zum Niveau aktueller ökonomischer Lehrbücher wird Schritt für Schritt vorgegangen und alle wichtigen Bereiche der Mathematik systematisch erklärt. Der Lernerfolg stellt sich schnell ein: die klare und ausführliche Darstellung sowie die graphische Unterstützung machen es möglich.


Refactoring to patterns

Filename: refactoring-to-patterns.pdf
ISBN: 3827322626
Release Date: 2005
Number of pages: 384
Author: Joshua Kerievsky
Publisher: Pearson Deutschland GmbH

Download and read online Refactoring to patterns in PDF and EPUB


Die Grundlagen der Mathematik

Filename: die-grundlagen-der-mathematik.pdf
ISBN: 9783663161028
Release Date: 2013-12-19
Number of pages: 29
Author: David Hilbert
Publisher: Springer-Verlag

Download and read online Die Grundlagen der Mathematik in PDF and EPUB Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.



Verteilte Systeme

Filename: verteilte-systeme.pdf
ISBN: 3827370574
Release Date: 2003
Number of pages: 878
Author: Andrew S. Tanenbaum
Publisher:

Download and read online Verteilte Systeme in PDF and EPUB


Der Weg zur Wirklichkeit

Filename: der-weg-zur-wirklichkeit.pdf
ISBN: 3827423414
Release Date: 2010-04-20
Number of pages: 357
Author: Roger Penrose
Publisher: Spektrum Akademischer Verlag

Download and read online Der Weg zur Wirklichkeit in PDF and EPUB Der Weg zur Wirklichkeit ist eine Kurzübersetzung des Penrose-Klassikers "The Road to Reality", die aus dem Monumentalwerk für Physik- und Mathematikexperten die allgemeinverständlichen Kapitel für interessierte Laien lesbar macht. Wer ein Faible für die Grundfragen der Wissenschaft, einen Blick für Geometrie, einen Sinn für Zahlen und Neugier für kosmologische Theorien hat, findet in diesem klar und kompetent geschriebenen Buch überraschende und provozierende Ideen. Schulmathematik wie die Bruchrechnung oder der berühmte Pythagorassatz lassen sich auf dem Weg zur Wirklichkeit völlig neu entdecken - im Spannungsfeld zwischen platonischer Mathematik, physikalischer Welt und menschlichem Bewusstsein.


Der fliegende Zirkus der Physik

Filename: der-fliegende-zirkus-der-physik.pdf
ISBN: 3486580671
Release Date: 2008
Number of pages: 346
Author: Jearl Walker
Publisher: Oldenbourg Verlag

Download and read online Der fliegende Zirkus der Physik in PDF and EPUB Ob Blitz oder blauer Himmel, Glühwürmchen, Teetassen oder Seifenblasen - im täglichen Leben stolpert man laufend über Naturphänomene. Jearl Walker hat die spannendsten und witzigsten aufgegriffen und in diesem Buch deren physikalische Erklärungen skizziert - nicht in Formeln, sondern mit Worten. Einige Lösungen sind einfach zu finden, andere sind enorm schwierig und gestandene Physiker kommen ins Schwitzen beim Versuch, diese Fragen zu beantworten. Der "Fliegende Zirkus der Physik" existiert seit nunmehr 30 Jahren. Das Buch ist in über zehn Sprachen übersetzt worden und wird noch immer weltweit verkauft. Für diese Neuauflage hat Walker das Buch vollständig überarbeitet und zahlreiche neue Phänomene aus der physikalischen Alltagswelt aufgenommen. "Der fliegende Zirkus der Physik" ist reich bebildert und illustriert und lädt damit zum Schmökern und Nachdenken ein.


Die Grundlagen der Arithmetik

Filename: die-grundlagen-der-arithmetik.pdf
ISBN: 3150084253
Release Date: 1987-01
Number of pages: 159
Author: Gottlob Frege
Publisher:

Download and read online Die Grundlagen der Arithmetik in PDF and EPUB