Aktualisiert: 2023-07-02
> findR *
Programmiersprachen – Konzepte, Strukturen und Implementierung in Java
Schlüsselwort: Funktionale Programmierung
Programmiersprachen – Konzepte, Strukturen und Implementierung in Java
Programmiersprachen – Konzepte, Strukturen und Implementierung in Java
Funktionale Programmierung
Dieses Lehrbuch gibt eine kompakte Einführung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich damit insbesondere für Anfänger, aber auch für alle, die mit der imperativen Programmierung vertraut sind und sich in die Thematik einarbeiten möchten. Mathematisch fundiert werden die theoretischen Grundlagen der Programmierung und ihre praktische Umsetzung behandelt. Das Ziel dabei ist, auch große Systeme entwerfen und handhaben zu können. Am Beispiel der modernen Programmiersprachen Opal, ML, Haskell und Gofer werden sowohl elementare als auch weiterführende Aspekte vorgestellt. Im Vordergrund stehen dabei immer konzeptuelle Fragestellungen und nicht vollständige Sprachbeschreibungen.
Aktualisiert: 2023-07-02
> findR *
Funktionale Programmierung
Dieses Lehrbuch gibt eine kompakte Einführung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich damit insbesondere für Anfänger, aber auch für alle, die mit der imperativen Programmierung vertraut sind und sich in die Thematik einarbeiten möchten. Mathematisch fundiert werden die theoretischen Grundlagen der Programmierung und ihre praktische Umsetzung behandelt. Das Ziel dabei ist, auch große Systeme entwerfen und handhaben zu können. Am Beispiel der modernen Programmiersprachen Opal, ML, Haskell und Gofer werden sowohl elementare als auch weiterführende Aspekte vorgestellt. Im Vordergrund stehen dabei immer konzeptuelle Fragestellungen und nicht vollständige Sprachbeschreibungen.
Aktualisiert: 2023-07-02
> findR *
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewältigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, die in zwei Bänden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erläutert werden. Der erste Band widmet sich der Spezifikationen von Daten- und Rechenstrukturen, der Spezifikation und Implementierung sowie dem Nachweis der Korrektheit funktionaler, prozeduraler und objektorientierter Programme. Der zweite Band dieses umfassenden und zugleich grundlagenorientierten Werkes behandelt softwareintensive Systeme und ihre Darstellung durch Zustandsmaschinen, nebenläufige Programme mit gemeinsamen Variablen, Datenflussprogramme, Schnittstellspezifikation, Zeitfluss, Architektur verteilter Systeme, Prozessmodellierung, Verfeinerung und spezifische Formalismen wie CSP, TLA und prädikative Spezifikation.Dies schließt unter anderem auch Themen wie Korrektheitsbeweise in Hinblick auf Sicherheit und Lebendigkeit sowie schrittweise Verfeinerung ein. Insbesondere werden im Buch die Grundlagen für eine wissenschaftlich abgesicherte Entwicklung von Programmen gelegt.
Aktualisiert: 2023-07-02
> findR *
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewältigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, die in zwei Bänden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erläutert werden. Der erste Band widmet sich der Spezifikationen von Daten- und Rechenstrukturen, der Spezifikation und Implementierung sowie dem Nachweis der Korrektheit funktionaler, prozeduraler und objektorientierter Programme. Der zweite Band dieses umfassenden und zugleich grundlagenorientierten Werkes behandelt softwareintensive Systeme und ihre Darstellung durch Zustandsmaschinen, nebenläufige Programme mit gemeinsamen Variablen, Datenflussprogramme, Schnittstellspezifikation, Zeitfluss, Architektur verteilter Systeme, Prozessmodellierung, Verfeinerung und spezifische Formalismen wie CSP, TLA und prädikative Spezifikation.Dies schließt unter anderem auch Themen wie Korrektheitsbeweise in Hinblick auf Sicherheit und Lebendigkeit sowie schrittweise Verfeinerung ein. Insbesondere werden im Buch die Grundlagen für eine wissenschaftlich abgesicherte Entwicklung von Programmen gelegt.
Aktualisiert: 2023-07-02
> findR *
Funktionale und Applikative Programmierung
Logische und Funktionale Programmierung
Funktionale Programmierung
Funktionale Programmierung
Funktionale Programmierung
Einführung in die funktionale Programmierung mit Miranda
Einführung in die funktionale Programmierung mit Miranda
Einführung in die funktionale Programmierung mit Miranda
Mathematica als Werkzeug Eine Einführung mit Anwendungsbeispielen
Vor ziemlich genau zehn Jahren stand ich (im Zusammenhang mit Stabilitätsuntersu chungen an Hamiltonschen Systemen) vor der Aufgab~, komplizierte Koordinaten transformationen bis zu höheren Ordnungen zu berechnen. Nach mehrmonatigen, fruchtlosen Versuchen von Hand - und Blöcken voll Formeln - war ich dabei, die Flinte ins Kom zu werfen. Durch einen Zufall wurde ich aber von Stan Lomecki (im Militärdienst!) auf das Computer-Algebra-Programm Reduce aufmerksam gemacht. Unter Ausnutzung vieler Tricks gelang mir damit tatsächlich, die Transformationen und die Stabilitätsdiskussion symbolisch zu Ende zu führen. Schon damals fragte ich mich, weshalb derartige Programme bei Ingenieuren und Wissenschaftlern bzw. Wissenschaftlerinnen so wenig bekannt sind. Viele Problem stellungen dieser Disziplinen führen auf Rechnungen, die sich von Hand höchstens mühevoll und mit großem Zeitaufwand bewältigen lassen. Mit Hilfe eines Computer Algebra-Programms können sie oft rasch symbolisch gelöst werden. Falls dies nicht möglich ist, so resultiert mindestens eine Vereinfachung, bevor eventuell mit dem grö beren Werkzeug der Numerik weitergearbeitet wird.
Aktualisiert: 2023-07-02
> findR *
Mathematica als Werkzeug Eine Einführung mit Anwendungsbeispielen
Vor ziemlich genau zehn Jahren stand ich (im Zusammenhang mit Stabilitätsuntersu chungen an Hamiltonschen Systemen) vor der Aufgab~, komplizierte Koordinaten transformationen bis zu höheren Ordnungen zu berechnen. Nach mehrmonatigen, fruchtlosen Versuchen von Hand - und Blöcken voll Formeln - war ich dabei, die Flinte ins Kom zu werfen. Durch einen Zufall wurde ich aber von Stan Lomecki (im Militärdienst!) auf das Computer-Algebra-Programm Reduce aufmerksam gemacht. Unter Ausnutzung vieler Tricks gelang mir damit tatsächlich, die Transformationen und die Stabilitätsdiskussion symbolisch zu Ende zu führen. Schon damals fragte ich mich, weshalb derartige Programme bei Ingenieuren und Wissenschaftlern bzw. Wissenschaftlerinnen so wenig bekannt sind. Viele Problem stellungen dieser Disziplinen führen auf Rechnungen, die sich von Hand höchstens mühevoll und mit großem Zeitaufwand bewältigen lassen. Mit Hilfe eines Computer Algebra-Programms können sie oft rasch symbolisch gelöst werden. Falls dies nicht möglich ist, so resultiert mindestens eine Vereinfachung, bevor eventuell mit dem grö beren Werkzeug der Numerik weitergearbeitet wird.
Aktualisiert: 2023-07-02
> findR *
Mathematica als Werkzeug Eine Einführung mit Anwendungsbeispielen
Vor ziemlich genau zehn Jahren stand ich (im Zusammenhang mit Stabilitätsuntersu chungen an Hamiltonschen Systemen) vor der Aufgab~, komplizierte Koordinaten transformationen bis zu höheren Ordnungen zu berechnen. Nach mehrmonatigen, fruchtlosen Versuchen von Hand - und Blöcken voll Formeln - war ich dabei, die Flinte ins Kom zu werfen. Durch einen Zufall wurde ich aber von Stan Lomecki (im Militärdienst!) auf das Computer-Algebra-Programm Reduce aufmerksam gemacht. Unter Ausnutzung vieler Tricks gelang mir damit tatsächlich, die Transformationen und die Stabilitätsdiskussion symbolisch zu Ende zu führen. Schon damals fragte ich mich, weshalb derartige Programme bei Ingenieuren und Wissenschaftlern bzw. Wissenschaftlerinnen so wenig bekannt sind. Viele Problem stellungen dieser Disziplinen führen auf Rechnungen, die sich von Hand höchstens mühevoll und mit großem Zeitaufwand bewältigen lassen. Mit Hilfe eines Computer Algebra-Programms können sie oft rasch symbolisch gelöst werden. Falls dies nicht möglich ist, so resultiert mindestens eine Vereinfachung, bevor eventuell mit dem grö beren Werkzeug der Numerik weitergearbeitet wird.
Aktualisiert: 2023-07-02
> findR *
Parallele Implementierung funktionaler Programmiersprachen
Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis für die Programmierung von Parallelrechnern. Sie enthalten in der Regel keine expliziten Sprachkonstrukte zur Spezifizierung von Parallelität. Ein parallelisierender Compiler kann die in einem funktionalen Programm implizit enthaltene Parallelität entdecken und das Progamm in parallel ausführbare Prozesse zerlegen. Der Programmierer braucht sich also nicht, wie etwa in einer um Parallelkonstrukte erweiterten imperativen Programmiersprache, um die Verwaltung der parallelen Prozesse sowie Synchronisation und Kommunikation zu kümmern. Dies vereinfacht insbesondere die Programmierung von Systemen mit vielen Prozessoren. Auf der Grundlage einer einfachen funktionalen Beispielsprache, die den Kern aller funktionalen Sprachen umfaßt, werden in diesem Buch die Techniken zur automatischen Parallelisierung funktionaler Programme erläutert und formal spezifiziert. Im Vordergrund steht jedoch der sprachorientierte Entwurf einer Parallelrechnerarchitektur, die die Ausführung funktionaler Programme in besonderer Weise unterstützt.
Aktualisiert: 2023-07-02
> findR *
Parallele Implementierung funktionaler Programmiersprachen
Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis für die Programmierung von Parallelrechnern. Sie enthalten in der Regel keine expliziten Sprachkonstrukte zur Spezifizierung von Parallelität. Ein parallelisierender Compiler kann die in einem funktionalen Programm implizit enthaltene Parallelität entdecken und das Progamm in parallel ausführbare Prozesse zerlegen. Der Programmierer braucht sich also nicht, wie etwa in einer um Parallelkonstrukte erweiterten imperativen Programmiersprache, um die Verwaltung der parallelen Prozesse sowie Synchronisation und Kommunikation zu kümmern. Dies vereinfacht insbesondere die Programmierung von Systemen mit vielen Prozessoren. Auf der Grundlage einer einfachen funktionalen Beispielsprache, die den Kern aller funktionalen Sprachen umfaßt, werden in diesem Buch die Techniken zur automatischen Parallelisierung funktionaler Programme erläutert und formal spezifiziert. Im Vordergrund steht jedoch der sprachorientierte Entwurf einer Parallelrechnerarchitektur, die die Ausführung funktionaler Programme in besonderer Weise unterstützt.
Aktualisiert: 2023-07-02
> findR *
Bücher zum Thema Funktionale Programmierung
Sie suchen ein Buch über Funktionale Programmierung? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema Funktionale Programmierung. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema Funktionale Programmierung im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zum Thema Funktionale Programmierung einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.
Funktionale Programmierung - Große Auswahl Bücher bei Buch findr
Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum Thema Funktionale Programmierung, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:
- Funktionale Programmierung, JavaScript, Currying, Funktion, Web
- funktionale Psychopathen
- funktionale Räume
- Funktionale Rechtsvergleichung
- Funktionale Resonanzanalyse
- funktionale Rolle
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Unter Funktionale Programmierung und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.