Semantik

Semantik von Best,  Eike
Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich für die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen.Der Datenfluß einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluß einer variablenfreien Sprache werden zunächst getrennt beschrieben und dann zu einer einheitlichen Semantik für parallele Programme zusammengefügt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ansätzen. Das Buch ist vollständig mit leicht verständlichen Beweisen und praktische relevanten Beispielen versehen und enthält neben größeren Fallstudien auch Übungsaufgaben mit Musterlösungen sowie eine breite Literaturauswahl.
Aktualisiert: 2023-07-02
> findR *

Semantik

Semantik von Best,  Eike
Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich für die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen.Der Datenfluß einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluß einer variablenfreien Sprache werden zunächst getrennt beschrieben und dann zu einer einheitlichen Semantik für parallele Programme zusammengefügt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ansätzen. Das Buch ist vollständig mit leicht verständlichen Beweisen und praktische relevanten Beispielen versehen und enthält neben größeren Fallstudien auch Übungsaufgaben mit Musterlösungen sowie eine breite Literaturauswahl.
Aktualisiert: 2023-07-02
> findR *

Semantik

Semantik von Best,  Eike
Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich für die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen.Der Datenfluß einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluß einer variablenfreien Sprache werden zunächst getrennt beschrieben und dann zu einer einheitlichen Semantik für parallele Programme zusammengefügt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ansätzen. Das Buch ist vollständig mit leicht verständlichen Beweisen und praktische relevanten Beispielen versehen und enthält neben größeren Fallstudien auch Übungsaufgaben mit Musterlösungen sowie eine breite Literaturauswahl.
Aktualisiert: 2023-07-02
> findR *

Getriebelehre mit dem Mikrocomputer (SHARP PC-1500A)

Getriebelehre mit dem Mikrocomputer (SHARP PC-1500A) von Hans,  Bürde
In den letzten Jahren haben sich die programmierbaren Taschenrechner und Computer als nützliches Arbeitsgerät weitgehend in der Ingenieurausbildung durchgesetzt. Diese Tatsache liefert ftir Teilgebiete der Getriebelehre eine Möglichkeit, von den oftmals umständlichen und zeitaufwendigen zeichnerischen Lösungsverfahren auf rechnerische überzugehen. Hierdurch werden sowohl die übersichtlichkeit als auch vor allem die Genauigkeit erheblich verbessert. Insbesondere der Trend zu immer schneller laufenden Automaten erfordert als Konstruktionsgrundlage u.a. die Kenntnis der Beschleunigung einzelner Getriebeglieder für einen vollen Kurbelumlauf. Um gute Lesbarkeit und praktische Nutzung zu erreichen, wurde der mathematische Aufwand möglichst gering und einfach gehalten. Die Bezeichnung einzelner Getriebeglieder mußte, um überschneidungen zu vermeiden, unüblich geändert werden. Bei den - in BASIC geschriebenen - Programmen wurde ein einfacher Aufbau gewählt, um auch hier eine leichte Durchsicht zu ermöglichen. Lediglich die im Farbanhang dargestellten Diagramme sind programmtechnisch etwas aufwendiger, 0 da das Achsenkreuz hierbei um -90 gedreht wurde. Man erhält dadurch etwa um den Faktor 2,5 verlängerte Diagramme mit einer verbesserten Anschaulichkeit. Es bleibt zu hoffen, daß das vorliegende Buch nicht nur die Berechnung und Auswahl von Getrieben erleichtert, sondern darüber hinaus auch die Bereitschaft fördert, technisch konstruktive Fragen mit Hilfe von Computern zu lösen. Iserlohn im Januar 1984 Hans Bürde VI Inhaltsverzeichnis 1· Mathematische Grundlagen ................................ 1 1.1 Rechtwinklige und Polarkoordinaten .. . . . . . . . . . . . . . . . .. . . . 1 . . . 1.1.1 Rechtwinklige ebene Koordinaten . . . . . . . . . . . . . . .. . . . 1 . . . 1.1.2 Polarkoordinaten ................................. 1 1.1.3 Umrechnung von Polar-in rechtwinklige Koordinaten und umgekehrt. . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 2 . . . . . . . . 1.2 Änderung des Koordinatensystems. . . . . . . . . . . . . . . . . . .. . . . 2 . . . .
Aktualisiert: 2023-07-03
> findR *

Getriebelehre mit dem Mikrocomputer (SHARP PC-1500A)

Getriebelehre mit dem Mikrocomputer (SHARP PC-1500A) von Hans,  Bürde
In den letzten Jahren haben sich die programmierbaren Taschenrechner und Computer als nützliches Arbeitsgerät weitgehend in der Ingenieurausbildung durchgesetzt. Diese Tatsache liefert ftir Teilgebiete der Getriebelehre eine Möglichkeit, von den oftmals umständlichen und zeitaufwendigen zeichnerischen Lösungsverfahren auf rechnerische überzugehen. Hierdurch werden sowohl die übersichtlichkeit als auch vor allem die Genauigkeit erheblich verbessert. Insbesondere der Trend zu immer schneller laufenden Automaten erfordert als Konstruktionsgrundlage u.a. die Kenntnis der Beschleunigung einzelner Getriebeglieder für einen vollen Kurbelumlauf. Um gute Lesbarkeit und praktische Nutzung zu erreichen, wurde der mathematische Aufwand möglichst gering und einfach gehalten. Die Bezeichnung einzelner Getriebeglieder mußte, um überschneidungen zu vermeiden, unüblich geändert werden. Bei den - in BASIC geschriebenen - Programmen wurde ein einfacher Aufbau gewählt, um auch hier eine leichte Durchsicht zu ermöglichen. Lediglich die im Farbanhang dargestellten Diagramme sind programmtechnisch etwas aufwendiger, 0 da das Achsenkreuz hierbei um -90 gedreht wurde. Man erhält dadurch etwa um den Faktor 2,5 verlängerte Diagramme mit einer verbesserten Anschaulichkeit. Es bleibt zu hoffen, daß das vorliegende Buch nicht nur die Berechnung und Auswahl von Getrieben erleichtert, sondern darüber hinaus auch die Bereitschaft fördert, technisch konstruktive Fragen mit Hilfe von Computern zu lösen. Iserlohn im Januar 1984 Hans Bürde VI Inhaltsverzeichnis 1· Mathematische Grundlagen ................................ 1 1.1 Rechtwinklige und Polarkoordinaten .. . . . . . . . . . . . . . . . .. . . . 1 . . . 1.1.1 Rechtwinklige ebene Koordinaten . . . . . . . . . . . . . . .. . . . 1 . . . 1.1.2 Polarkoordinaten ................................. 1 1.1.3 Umrechnung von Polar-in rechtwinklige Koordinaten und umgekehrt. . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 2 . . . . . . . . 1.2 Änderung des Koordinatensystems. . . . . . . . . . . . . . . . . . .. . . . 2 . . . .
Aktualisiert: 2023-07-03
> findR *

Getriebelehre mit dem Mikrocomputer (SHARP PC-1500A)

Getriebelehre mit dem Mikrocomputer (SHARP PC-1500A) von Hans,  Bürde
In den letzten Jahren haben sich die programmierbaren Taschenrechner und Computer als nützliches Arbeitsgerät weitgehend in der Ingenieurausbildung durchgesetzt. Diese Tatsache liefert ftir Teilgebiete der Getriebelehre eine Möglichkeit, von den oftmals umständlichen und zeitaufwendigen zeichnerischen Lösungsverfahren auf rechnerische überzugehen. Hierdurch werden sowohl die übersichtlichkeit als auch vor allem die Genauigkeit erheblich verbessert. Insbesondere der Trend zu immer schneller laufenden Automaten erfordert als Konstruktionsgrundlage u.a. die Kenntnis der Beschleunigung einzelner Getriebeglieder für einen vollen Kurbelumlauf. Um gute Lesbarkeit und praktische Nutzung zu erreichen, wurde der mathematische Aufwand möglichst gering und einfach gehalten. Die Bezeichnung einzelner Getriebeglieder mußte, um überschneidungen zu vermeiden, unüblich geändert werden. Bei den - in BASIC geschriebenen - Programmen wurde ein einfacher Aufbau gewählt, um auch hier eine leichte Durchsicht zu ermöglichen. Lediglich die im Farbanhang dargestellten Diagramme sind programmtechnisch etwas aufwendiger, 0 da das Achsenkreuz hierbei um -90 gedreht wurde. Man erhält dadurch etwa um den Faktor 2,5 verlängerte Diagramme mit einer verbesserten Anschaulichkeit. Es bleibt zu hoffen, daß das vorliegende Buch nicht nur die Berechnung und Auswahl von Getrieben erleichtert, sondern darüber hinaus auch die Bereitschaft fördert, technisch konstruktive Fragen mit Hilfe von Computern zu lösen. Iserlohn im Januar 1984 Hans Bürde VI Inhaltsverzeichnis 1· Mathematische Grundlagen ................................ 1 1.1 Rechtwinklige und Polarkoordinaten .. . . . . . . . . . . . . . . . .. . . . 1 . . . 1.1.1 Rechtwinklige ebene Koordinaten . . . . . . . . . . . . . . .. . . . 1 . . . 1.1.2 Polarkoordinaten ................................. 1 1.1.3 Umrechnung von Polar-in rechtwinklige Koordinaten und umgekehrt. . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 2 . . . . . . . . 1.2 Änderung des Koordinatensystems. . . . . . . . . . . . . . . . . . .. . . . 2 . . . .
Aktualisiert: 2023-07-03
> findR *

Parallele Implementierung funktionaler Programmiersprachen

Parallele Implementierung funktionaler Programmiersprachen von Loogen,  Rita
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

Parallele Implementierung funktionaler Programmiersprachen von Loogen,  Rita
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

Parallele Implementierung funktionaler Programmiersprachen von Loogen,  Rita
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 *

Vom Problem zum Programm

Vom Problem zum Programm von Klaeren,  Herbert
Dieses Buch entstand aus Manuskripten des Autors zu Informatik-I-Vor lesungen an der Christian-Albrechts-Universität Kiel und der Eberhard Karls-Universität Tübingen. An diesen Universitäten wird die Informatik I-Vorlesung außer von den Hauptfachstudenten der Informatik und den Ne benfachstudenten aus der Mathematik und Physik und ggf. weiterer N atur wissenschaften auch von "fachfremden" Studenten der Studiengänge Wirt schaftswissenschaften (Kiel) und Allgemeine Sprachwissenschaft (Tübingen) besucht. Es kommt daher darauf an, neben einer allgemeinen Einführung in Methoden der Informatik und speziell der Programmierung Verständnis für das Wesen der Informatik als einer formalen, der Mathematik nahe verwand ten Wissenschaft zu wecken und im übrigen die notwendigen mathematischen Grundlagen innerhalb der Vorlesung selbst anzubieten. Das Buch eignet sich zu Informatik-Grundkursen für Natur-und Geistes wissenschaftler, aber auch zur Informatik-Nebenfachausbildung allgemein sowie, je nach Studienplan, auch für Informatik-I-Vorlesungen. Darüber hin aus ist es auch zu einem Selbststudium von Informatik-Grundkenntnissen ge eignet; hierzu dienen unter anderem auch die aufgeführten Übungen und ihre im Anhang vorgestellten Lösungen. Es muß jedoch entsprechend dem Cha rakter der Informatik ein gewisses mathematisches Rüstzeug mitgebracht werden oder doch zumindest die Bereitschaft, sich dieses anzueignen. Im Anhang listen wir (im Sinne einer Festlegung von Notationen) die notwen digsten mathematischen Konstruktionen auf; darüber hinaus wird auf die angegebenen Lehrbücher verwiesen.
Aktualisiert: 2023-07-02
> findR *
MEHR ANZEIGEN

Bücher zum Thema mathematische Grundlagen

Sie suchen ein Buch über mathematische Grundlagen? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema mathematische Grundlagen. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema mathematische Grundlagen 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 mathematische Grundlagen einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.

mathematische Grundlagen - 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 mathematische Grundlagen, 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:

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 mathematische Grundlagen 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.