Funktionale Und Applikative Programmierung
DOWNLOAD
Download Funktionale Und Applikative Programmierung PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Funktionale Und Applikative Programmierung book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Funktionale Und Applikative Programmierung
DOWNLOAD
Author : Wolfram-Manfred Lippe
language : de
Publisher: Springer-Verlag
Release Date : 2009-01-24
Funktionale Und Applikative Programmierung written by Wolfram-Manfred Lippe and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009-01-24 with Computers categories.
Seit vielen Jahren nimmt die funktionale und applikative Programmierung einen wesentlichen Platz unter den verschiedenen Programmierparadigmen ein. Das Hauptanliegen dieses Buches ist eine leicht verständliche Einführung in die vielschichtige Thematik. Sie reicht von den Theoretischen Grundlagen bis zu Implementierungstechniken. Schwerpunkte bei den Grundlagen sind der l–Kalkül und die kombinatorische Logik. Der Hauptteil umfasst die Vorstellung der vielschichtigen Ausprägungen in den unterschiedlichen Programmiersprachen. Bei den Implementierungstechniken wird neben klassischen Interpreter- und Compilertechniken auch ein Ausblick gegeben, wie sich derartige Programmiersprachen zukünftig auf die Entwicklung neuer Rechnerstrukturen auswirken können, die nicht mehr auf der von-Neumann-Architektur beruhen.
Funktionale Programmierung Und Metaprogrammierung
DOWNLOAD
Author : Patrick M. Krusenotto
language : de
Publisher: Springer-Verlag
Release Date : 2016-09-02
Funktionale Programmierung Und Metaprogrammierung written by Patrick M. Krusenotto and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-09-02 with Computers categories.
Dieses Buch vermittelt die einzigartige Idee hinter der Programmiersprache Lisp. Aus der Verbindung von interaktiver und funktionaler Programmierung entsteht eine Arbeitsstrategie in der Software-Entwicklung, mit der ein Programmierer schneller als mit konventionellen Verfahren einen korrekten, verständlichen und leicht anpassbaren Code entwickeln kann. Durch die Anwendung algebraischer Methoden auf die wandelbare Sprache Common Lisp lernt der Leser, bekannte Probleme der Anwendungsprogrammierung neu zu denken und dadurch zu präzisen und bündigen Lösungen zu kommen. Der Autor veranschaulicht an mehreren Beispielen aus der Praxis die Nutzung der Programmiersprache und motiviert den Leser, sich selbst mit Common Lisp zu befassen.
Graph Theoretic Approaches For Analyzing Large Scale Social Networks
DOWNLOAD
Author : Meghanathan, Natarajan
language : en
Publisher: IGI Global
Release Date : 2017-07-13
Graph Theoretic Approaches For Analyzing Large Scale Social Networks written by Meghanathan, Natarajan and has been published by IGI Global this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-07-13 with Computers categories.
Social network analysis has created novel opportunities within the field of data science. The complexity of these networks requires new techniques to optimize the extraction of useful information. Graph Theoretic Approaches for Analyzing Large-Scale Social Networks is a pivotal reference source for the latest academic research on emerging algorithms and methods for the analysis of social networks. Highlighting a range of pertinent topics such as influence maximization, probabilistic exploration, and distributed memory, this book is ideally designed for academics, graduate students, professionals, and practitioners actively involved in the field of data science.
Prolog
DOWNLOAD
Author : Ralf Cordes
language : de
Publisher: Springer-Verlag
Release Date : 2013-07-02
Prolog written by Ralf Cordes and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-07-02 with Computers categories.
Die Programmiersprache Prolog gewinnt in weiten Kreisen von EDV-Fachleuten und Anwendern stark an Popularität. Im universitären Kreis besitzt diese Spra che besonders im Bereich der Künstlichen Intelligenz seit geraumer Zeit einen hohen Stellenwert. Das Ziel des Buches ist es, einen in Lektionen eingeteilten, methodisch geglie derten Einführungskurs in die Programmierung mit Prolog zu geben. Das Buch basiert auf den Skripten zu der Vorlesung "Mathematische Grundlagen von Ex pertensystemen" und zu dem Praktikum "Programmieren in Prolog", das an der Technischen Universität in Braunschweig seit dem Wintersemester 1984/85 regelmäßig angeboten wird. Das Buch wendet sich an Schüler und Studenten ebenso wie an Interessierte aller Fachrichtungen, die sich einen Einblick in die logische Programmierung und ihre Anwendungen verschaffen wollen. Wir danken unseren Kollegen K. Drosten, J. Risius und W. Struckmann für ihre konstruktive Kritik, Frau D. Kruse für das sorgfältige Korrekturlesen und dem Vieweg-Verlag für die gute Zusammenarbeit. Braunschweig, im August 1987 R. Cordes R. Kruse H. Langendörfer H. Rust VI Inhaltsverzeichnis Einleitung 1 Zur historischen Entwicklung von Prolog . . . . . . . . . . . . . 2 Einsatz von Prolog in Fachgebieten der Künstlichen Intelligenz 3 Verarbeitungsmodelle und Programmierstile . . . 5 Prolog- eine logik-basierte Programmiersprache 7 Zu diesem Buch . . . . . . . . . . . . . . . . . . . 7 I Reines Prolog 9 1 Fakten und Regeln 10 1.1 Fakten ..... . 10 1.2 Regeln ..... . 12 1.3 Übungsaufgaben 14 2 Arbeitsweise des Prologinterpreters 16 2.1 Anfragen 16 2.2 Unifikation ... 19 2.3 Backtracking .. 22 2.4 Übungsaufgaben 23 VII Inhaltsverzeichnis *3 Grundlagen der Prädikatenlogik 24 3.1 Syntax .. 24 27 3.2 Semantik . . . .
Kursbuch Informatik I
DOWNLOAD
Author : Sebastian Abeck
language : de
Publisher: KIT Scientific Publishing
Release Date : 2005
Kursbuch Informatik I written by Sebastian Abeck and has been published by KIT Scientific Publishing this book supported file pdf, txt, epub, kindle and other format this book has been release on 2005 with Electronic computers. Computer science categories.
Das modular aufgebaute Kursbuch Informatik I behandelt die wichtigsten theoretischen Grundlagen der Informatik. Außerdem werden praktische Fähigkeiten vermittelt, die zur selbstständigen Erstellung von gut geschriebenen (Java-) Programmen erforderlich sind.
Lexikon Informatik Und Datenverarbeitung
DOWNLOAD
Author : Hans-Jochen Schneider
language : de
Publisher: Walter de Gruyter GmbH & Co KG
Release Date : 2015-06-03
Lexikon Informatik Und Datenverarbeitung written by Hans-Jochen Schneider and has been published by Walter de Gruyter GmbH & Co KG this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015-06-03 with Computers categories.
Das Standardwerk mit über 7.500 Einträgen zu den zentralen Begriffen der Informatik, der Angewandten Informatik und der Datenverarbeitung. Bearbeitet von 200 Fachleuten aus Hochschule und Industrie bietet das Lexikon fundierte und verständliche Begriffsdefinitionen. Zahlreiche Querverweise und ein Index englischsprachiger Begriffe mit Verweisen auf deutsche Einträge runden das Buch ab.
Deutsche Nationalbibliographie Und Bibliographie Der Im Ausland Erschienenen Deutschsprachigen Ver Ffentlichungen
DOWNLOAD
Author :
language : de
Publisher:
Release Date : 2009
Deutsche Nationalbibliographie Und Bibliographie Der Im Ausland Erschienenen Deutschsprachigen Ver Ffentlichungen written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009 with German literature categories.
Informationswirtschaft 1
DOWNLOAD
Author : Wolfgang Janko
language : de
Publisher: Springer-Verlag
Release Date : 2013-03-07
Informationswirtschaft 1 written by Wolfgang Janko and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-03-07 with Business & Economics categories.
Information spielt heute im Wirtschaftsgeschehen eine überragende Rolle. Die Bedeutung der Information und des gesamten Umgangs mit Information schlägt sich auch im Ausbildungsbereich nieder. Das Studium der Prozesse und Maßnahmen zur effizienten Gewinnung und Nutzung von Information und zur Gestaltung effizienter Informationsverarbeitung ist für Studenten unverzichtbar. Dieses Lehrbuch vermittelt Wirtschaftswissenschaftlern systematisch die wesentlichen Kenntnisse für das Verständnis des Zusammenwirkens von Hard- und Software im betrieblichen Einsatz. Ein Anhang mit Lösungen zu den im Buch enthaltenen Übungsbeispielen will den praxisbezogenen Ansatz des Buches betonen und den Zugang zur Informationswirtschaft erleichtern. Die 2. Auflage wurde insbesondere durch ein Kapitel über Netzwerke und Ergänzungen zu Speichermedien und Codierung erweitert und aktualisiert.
Entwicklung Von Regelbasierten Expertensystemen In Apl2
DOWNLOAD
Author : Ulrich Küsters
language : de
Publisher: Springer-Verlag
Release Date : 2013-10-05
Entwicklung Von Regelbasierten Expertensystemen In Apl2 written by Ulrich Küsters and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-10-05 with Computers categories.
Diese Arbeit beschreibt den auf den ersten Blick ungewöhnlichen Ansatz der Konzeption einer regelbasierten Expertensystemshell, die ausschließlich im APL2 implementiert ist. Die beschriebene Expertensystemshell unterscheidet sich von den im KI-Bereich vorherrschenden und zumeist in Lisp oder Prolog implementierten Systemen in mehrfacher Hinsicht: - Die Shell erlaubt eine im Gegensatz zu Lisp und Pro log sehr einfache Einbindung effizienter numerischer Algorithmen, indem auf die Funktionalität von APL2 zurückgegriffen wird. - Regelwerke werden mit Hilfe eines Übersetzers in APL2-Funktionen und Kontrollstrukturen übersetzt, die mit Hilfe eines vorwärtsschließenden Inferenz interpreter exekutiert werden. Neben dem vollständigen APL2-Quellkode, der als Vorlage für eigene Entwicklungen verwendet werden kann, enthält das Buch auch eine knappe Einführung in Expertensysteme sowie einige exemplarische Regelwerke zur Variablenselektion in Regressionsmodellen und zur Evaluation von Kreditanträgen. Im Anhang werden die wichtigsten APL2-Primitiven, Idiome und Fehlerbehandlungstechniken für den nicht mit APL2 vertrauten Leser dargestellt. Dieses Buch wendet sich insbesondere an Softwareentwickler, die numerische und statistische Algorithmen, wie sie etwa zur Prognose, Planung und zur Optimierung eingesetzt werden, in Expertensysteme integrieren möchten.
Handbuch Der Softwareumfangsmessung Und Aufwandsch Tzung
DOWNLOAD
Author : Reiner Dumke
language : de
Publisher: Logos Verlag Berlin GmbH
Release Date : 2014
Handbuch Der Softwareumfangsmessung Und Aufwandsch Tzung written by Reiner Dumke and has been published by Logos Verlag Berlin GmbH this book supported file pdf, txt, epub, kindle and other format this book has been release on 2014 with Business & Economics categories.
Die Aufwandschätzung von Softwaresystemen ist und bleibt in der heutigen weltweit verzweigten bzw. agilen Softwareerstellung ein aktuelles und vor allem immer bedeutungsvolleres Thema im Bereich der Softwareentwicklung und -bereitstellung. Um den wirklichen Aufwand für eine Softwaresystementwicklung zu bestimmen ist jedoch erst einmal eine möglichst exakte Bestimmung oder gar Messung des zu realisierenden funktionalen Softwareumfangs notwendig. Genau dieser Thematik widmet sich das vorliegende Handbuch in grundlegender Weise. Es behandelt die bekanntesten Umfangsmess- und Aufwandschätzverfahren nach ihrer Evidenz und Effizienz in ihrer praktischen Anwendung. Den Hauptteil dieses Handbuches bildet eine erstmals umfassende und vollständige Beschreibung der exakten Bestimmung des Softwarefunktionsumfangs nach dem so genannten COSMIC Function Points Ansatz. Diese Methode ist auch unter der Bezeichnung Next Generation of Functional Size Measurement weltweit bekannt und bezieht vor allem moderne Paradigmen und Systemarten, wie die eingebetteten Systeme, das SOA, das Cloud Computing und die Kommunikationssysteme sowie auch moderne Entwicklungsmethoden einer evolutionären oder agilen Softwareerstellung mit ein. Das vorliegende Handbuch ist sowohl für die Praxis als auch für den auszubildenden Hochschulbereich eine wichtige Grundlage. Es ist für Studenten mit Informatikbezug zu empfehlen, da es sich vor allem dem grundlegenden Problem des Softwareumfangs selbst widmet, welches wiederum für Anwendungen zur Aufwandschätzung aber auch für Komplexitäts- und Risikoanalysen relevant ist. Für den IT-Bereich unterstützt es das Management bei der Auswahl, Bewertung und geeigneteren Anwendung von Methoden der Softwareumfangsmessung und den damit verbundenen Fragen des Aufwandes, der Qualität und der Effizienz. Darüber hinaus werden die involvierten Communities vorgestellt und deren Rolle für die Thematik dieses Handbuch exemplarisch herausgestellt.