An Introduction to Functional Programming Through Lambda Calculus

Author: Greg Michaelson

Publisher: Courier Corporation

ISBN: 0486280292

Category: Mathematics

Page: 336

View: 7524

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.
Release

Optimization in Function Spaces

Author: Amol Sasane

Publisher: Courier Dover Publications

ISBN: 0486789454

Category: Mathematics

Page: 256

View: 7288

Classroom-tested at the London School of Economics, this original, highly readable text offers numerous examples and exercises as well as detailed solutions. Prerequisites are multivariable calculus and basic linear algebra. 2015 edition.
Release

The Theory and Practice of Conformal Geometry

Author: Steven G. Krantz

Publisher: Courier Dover Publications

ISBN: 0486810321

Category: Mathematics

Page: 304

View: 8407

In this original text, prolific mathematics author Steven G. Krantz addresses conformal geometry, a subject that has occupied him for four decades and for which he helped to develop some of the modern theory. This book takes readers with a basic grounding in complex variable theory to the forefront of some of the current approaches to the topic. "Along the way," the author notes in his Preface, "the reader will be exposed to some beautiful function theory and also some of the rudiments of geometry and analysis that make this subject so vibrant and lively." More up-to-date and accessible to advanced undergraduates than most of the other books available in this specific field, the treatment discusses the history of this active and popular branch of mathematics as well as recent developments. Topics include the Riemann mapping theorem, invariant metrics, normal families, automorphism groups, the Schwarz lemma, harmonic measure, extremal length, analytic capacity, and invariant geometry. A helpful Bibliography and Index complete the text.
Release

Einführung in die Modelltheorie

Vorlesungen

Author: Philipp Rothmaler

Publisher: Spektrum Akademischer Verlag

ISBN: 9783860254615

Category: Model theory

Page: 331

View: 5925

Release

GAMMA

Eulers Konstante, Primzahlstrände und die Riemannsche Vermutung

Author: Julian Havil

Publisher: Springer-Verlag

ISBN: 3540484965

Category: Mathematics

Page: 302

View: 7889

Jeder kennt p = 3,14159..., viele kennen e = 2,71828..., einige i. Und dann? Die "viertwichtigste" Konstante ist die Eulersche Zahl g = 0,5772156... - benannt nach dem genialen Leonhard Euler (1707-1783). Bis heute ist unbekannt, ob g eine rationale Zahl ist. Das Buch lotet die "obskure" Konstante aus. Die Reise beginnt mit Logarithmen und der harmonischen Reihe. Es folgen Zeta-Funktionen und Eulers wunderbare Identität, Bernoulli-Zahlen, Madelungsche Konstanten, Fettfinger in Wörterbüchern, elende mathematische Würmer und Jeeps in der Wüste. Besser kann man nicht über Mathematik schreiben. Was Julian Havil dazu zu sagen hat, ist spektakulär.
Release

Naive Mengenlehre

Author: Paul R. Halmos

Publisher: Vandenhoeck & Ruprecht

ISBN: 9783525405277

Category: Arithmetic

Page: 132

View: 4799

Release

Der Kompass

eine Erfindung verändert die Welt

Author: Amir D. Aczel

Publisher: N.A

ISBN: 9783498000561

Category:

Page: 174

View: 4573

Release

Eine Tour durch C++

Die kurze Einführung in den neuen Standrad C++11

Author: Bjarne Stroustrup

Publisher: Carl Hanser Verlag GmbH Co KG

ISBN: 3446439838

Category: Computers

Page: 200

View: 300

EINE TOUR DURCH C++ // - Dieser Leitfaden will Ihnen weder das Programmieren beibringen noch versteht er sich als einzige Quelle, die Sie für die Beherrschung von C++ brauchen – aber diese Tour ist wahrscheinlich die kürzeste oder einfachste Einführung in C++11. - Für C- oder C++-Programmierer, die mit der aktuellen C++-Sprache vertrauter werden wollen - Programmierer, die in einer anderen Sprache versiert sind, erhalten ein genaues Bild vom Wesen und von den Vorzügen des modernen C++ . Mit dem C++11-Standard können Programmierer Ideen klarer, einfacher und direkter auszudrücken sowie schnelleren und effizienteren Code zu schreiben. Bjarne Stroustrup, der Designer und ursprüngliche Implementierer von C++, erläutert die Details dieser Sprache und ihre Verwendung in seiner umfassenden Referenz „Die C++-Programmiersprache“. In „Eine Tour durch C++“ führt Stroustrup jetzt die Übersichtskapitel aus der Referenz zusammen und erweitert sie so, dass auch erfahrene Programmierer in nur wenigen Stunden eine Vorstellung davon erhalten, was modernes C++ ausmacht. In diesem kompakten und eigenständigen Leitfaden behandelt Stroustrup – neben Grundlagen – die wichtigsten Sprachelemente und die wesentlichen Komponenten der Standardbibliothek. Er präsentiert die C++-Features im Kontext der Programmierstile, die sie unterstützen, wie die objektorientierte und generische Programmierung. Die Tour beginnt bei den Grundlagen und befasst sich dann mit komplexeren Themen, einschließlich vieler, die neu in C++11 sind wie z.B. Verschiebesemantik, einheitliche Initialisierung, Lambda-Ausdrücke, verbesserte Container, Zufallszahlen und Nebenläufigkeit. Am Ende werden Design und Entwicklung von C++ sowie die in C++11 hinzugekommenen Erweiterungen diskutiert. Programmierer erhalten hier – auch anhand von Schlüsselbeispielen – einen sinnvollen Überblick und praktische Hilfe für den Einstieg. AUS DEM INHALT // Die Grundlagen // Benutzerdefinierte Typen // Modularität // Klassen // Templates // Überblick über die Bibliothek // Strings und reguläre Ausdrücke // E/A-Streams // Container // Algorithmen // Utilities // Numerik // Nebenläufigkeit // Geschichte und Kompatibilität
Release

Kategorien und Funktoren

Author: Bodo Pareigis

Publisher: N.A

ISBN: N.A

Category: Categories (Mathematics)

Page: 192

View: 9004

Release

Vorlesungen über die Algebra der Logik (exakte Logik)

Author: Ernst Schröder,Eugen Müller

Publisher: N.A

ISBN: 9783742882486

Category:

Page: 236

View: 4296

Vorlesungen uber die Algebra der Logik (exakte Logik) ist ein unveranderter, hochwertiger Nachdruck der Originalausgabe aus dem Jahr 1890. Hansebooks ist Herausgeber von Literatur zu unterschiedlichen Themengebieten wie Forschung und Wissenschaft, Reisen und Expeditionen, Kochen und Ernahrung, Medizin und weiteren Genres.Der Schwerpunkt des Verlages liegt auf dem Erhalt historischer Literatur.Viele Werke historischer Schriftsteller und Wissenschaftler sind heute nur noch als Antiquitaten erhaltlich. Hansebooks verlegt diese Bucher neu und tragt damit zum Erhalt selten gewordener Literatur und historischem Wissen auch fur die Zukunft bei."
Release

Special Relativity

Author: Nicholas M.J. Woodhouse

Publisher: Springer-Verlag

ISBN: 3540466762

Category: Science

Page: 88

View: 1640

Release

Verschränkte Systeme

Die Quantenphysik auf neuen Wegen

Author: Jürgen Audretsch

Publisher: John Wiley & Sons

ISBN: 3527660569

Category: Science

Page: 309

View: 8741

Dieses einführende Lehrbuch für Studenten höherer Semester der Physik, Chemie und Informatik behandelt ein in jüngster Zeit dynamisch expandierendes Gebiet der Physik. Das Buch befasst sich u.a. mit den Themen Quanteninformationstheorie , Quantenkommunikation, Quantencomputing, Teleportation, verborgene Parameter, Welcher-Weg-Markierung, Quantenmessprozess, POVM, Quantenkanäle und vermittelt dadurch nicht nur ein vertieftes Verständnis der Quantentheorie, sondern auch ein Basiswissen, um die schnelle Entwicklung des Gebiets zu verfolgen, bzw. in ein Spezialgebiet der Forschung einsteigen zu können. Kommentierte Empfehlungen für weiterführende Literatur sowie Übungsaufgaben helfen dem Leser, rasch einen fundierten Zugang zu den theoretischen Grundlagen zukünftiger Schlüsseltechnologien zu finden. Das Buch kann zur Grundlage von Vorlesungen und Seminaren gemacht werden. Da die benötigten Grundkenntnisse in Mathematik und Quantentheorie in einleitenden Kapiteln dargestellt werden, eignet sich das Buch auch zum Selbststudium.
Release

Principia Mathematica.

Author: Alfred North Whitehead,Bertrand Russell

Publisher: N.A

ISBN: N.A

Category: Logic, Symbolic and mathematical

Page: 167

View: 639

Release