Die folgenden Motivationen haben zu dem vorliegenden Buch geführt: Da ist zunächst einmal die eigene Unzufriedenheit mit derzeit verfügbaren Büchern, die sich mit der gleichen oder ähnlicher Materie befassen. Sowohl theoretische Abhandlungen über das Thema ,Künstliche Intelligenz', Einführungen in moderne Programmiertechniken oder den Umgang mit Computersystemen scheinen sich heutzutage fast ausschließlich an Mathematiker, Physiker oder Informatiker zu wenden, an potentielle Computerbenutzer also, die mit vielen Aspekten der Materie bereits vertraut sind. Dies mußte ich beim Studium von Programmiersprachen wie LISP oder PROLOG schnell erkennen. Entnervt von mathematischen Problemen wie etwa dem Errechnen der Fakultät natürlicher Zahlen oder allgemeinen Problemlösungsverfahren wie etwa dem Turm von Hanoi dachte ich so manchmal daran, das Studium der jeweiligen Programmierhandbücher aufzugeben. Dabei wollte ich mich doch als Linguist mit den Problemen der natürlichen Sprache auseinander setzen und nicht etwa mit dem Lösen algebraischer Probleme. Das allerdings, so wurde mir bald klar, war nicht vorgesehen. Also machte ich mich selbst ans Werk. Über das Studium der elektronischen Datenver arbeitung allgemein, ersten Schritten mit einem Betriebssystem, dem Verstehen des Zusammenwirkans der Komponenten eines Computersystems bis hin zum Erlernen der Programmiersprachen BASIC, LISP und PROLOG gelang es mir, mich in die Geheimnisse moderner Computertechnologie einzuarbeiten. Schon bald wurde mir die Relevanz der Informationsverarbeitung auf einem Computer für mein Hauptarbeitsgebiet, die Lin guistik, klar. Geht es doch heute der modernen Linguistik u. a. darum, die Regeln der natürlichen Sprache auf Computersystemen zu implementieren.
Aktualisiert: 2023-07-02
> findR *
Die folgenden Motivationen haben zu dem vorliegenden Buch geführt: Da ist zunächst einmal die eigene Unzufriedenheit mit derzeit verfügbaren Büchern, die sich mit der gleichen oder ähnlicher Materie befassen. Sowohl theoretische Abhandlungen über das Thema ,Künstliche Intelligenz', Einführungen in moderne Programmiertechniken oder den Umgang mit Computersystemen scheinen sich heutzutage fast ausschließlich an Mathematiker, Physiker oder Informatiker zu wenden, an potentielle Computerbenutzer also, die mit vielen Aspekten der Materie bereits vertraut sind. Dies mußte ich beim Studium von Programmiersprachen wie LISP oder PROLOG schnell erkennen. Entnervt von mathematischen Problemen wie etwa dem Errechnen der Fakultät natürlicher Zahlen oder allgemeinen Problemlösungsverfahren wie etwa dem Turm von Hanoi dachte ich so manchmal daran, das Studium der jeweiligen Programmierhandbücher aufzugeben. Dabei wollte ich mich doch als Linguist mit den Problemen der natürlichen Sprache auseinander setzen und nicht etwa mit dem Lösen algebraischer Probleme. Das allerdings, so wurde mir bald klar, war nicht vorgesehen. Also machte ich mich selbst ans Werk. Über das Studium der elektronischen Datenver arbeitung allgemein, ersten Schritten mit einem Betriebssystem, dem Verstehen des Zusammenwirkans der Komponenten eines Computersystems bis hin zum Erlernen der Programmiersprachen BASIC, LISP und PROLOG gelang es mir, mich in die Geheimnisse moderner Computertechnologie einzuarbeiten. Schon bald wurde mir die Relevanz der Informationsverarbeitung auf einem Computer für mein Hauptarbeitsgebiet, die Lin guistik, klar. Geht es doch heute der modernen Linguistik u. a. darum, die Regeln der natürlichen Sprache auf Computersystemen zu implementieren.
Aktualisiert: 2023-07-02
> findR *
Die folgenden Motivationen haben zu dem vorliegenden Buch geführt: Da ist zunächst einmal die eigene Unzufriedenheit mit derzeit verfügbaren Büchern, die sich mit der gleichen oder ähnlicher Materie befassen. Sowohl theoretische Abhandlungen über das Thema ,Künstliche Intelligenz', Einführungen in moderne Programmiertechniken oder den Umgang mit Computersystemen scheinen sich heutzutage fast ausschließlich an Mathematiker, Physiker oder Informatiker zu wenden, an potentielle Computerbenutzer also, die mit vielen Aspekten der Materie bereits vertraut sind. Dies mußte ich beim Studium von Programmiersprachen wie LISP oder PROLOG schnell erkennen. Entnervt von mathematischen Problemen wie etwa dem Errechnen der Fakultät natürlicher Zahlen oder allgemeinen Problemlösungsverfahren wie etwa dem Turm von Hanoi dachte ich so manchmal daran, das Studium der jeweiligen Programmierhandbücher aufzugeben. Dabei wollte ich mich doch als Linguist mit den Problemen der natürlichen Sprache auseinander setzen und nicht etwa mit dem Lösen algebraischer Probleme. Das allerdings, so wurde mir bald klar, war nicht vorgesehen. Also machte ich mich selbst ans Werk. Über das Studium der elektronischen Datenver arbeitung allgemein, ersten Schritten mit einem Betriebssystem, dem Verstehen des Zusammenwirkans der Komponenten eines Computersystems bis hin zum Erlernen der Programmiersprachen BASIC, LISP und PROLOG gelang es mir, mich in die Geheimnisse moderner Computertechnologie einzuarbeiten. Schon bald wurde mir die Relevanz der Informationsverarbeitung auf einem Computer für mein Hauptarbeitsgebiet, die Lin guistik, klar. Geht es doch heute der modernen Linguistik u. a. darum, die Regeln der natürlichen Sprache auf Computersystemen zu implementieren.
Aktualisiert: 2023-07-02
> findR *
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.
Aktualisiert: 2023-07-02
> findR *
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.
Aktualisiert: 2023-07-02
> findR *
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.
Aktualisiert: 2023-07-02
> findR *
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.
Aktualisiert: 2023-07-02
> findR *
Expertensysteme, ein erster Schritt in Richtung "Künstliche Intelligenz", werden insbesondere auch für Ingenieuranwendungen immer bedeutsamer. Daher wendet sich dieses praxisorientierte Lehrbuch in erster Linie an Ingenieure. Es liefert eine fundierte Einführung in Aufbau und Arbeitsweise von Expertensystemen und ihren Grundlagen. Die Programmiersprachen LISP und PROLOG, oft Basis für Expertensysteme, werden ebenso vorgestellt wie realisierte Anwendungen aus der Ingenieurpraxis. wendet sich an Ingenieurstudenten und praktizierende Ingenieure, die sich in den modernen Themenkreis einführen lassen wollen. Das Buch eignet sich insbesondere zum Selbststudium.
Aktualisiert: 2023-07-02
> findR *
Expertensysteme, ein erster Schritt in Richtung "Künstliche Intelligenz", werden insbesondere auch für Ingenieuranwendungen immer bedeutsamer. Daher wendet sich dieses praxisorientierte Lehrbuch in erster Linie an Ingenieure. Es liefert eine fundierte Einführung in Aufbau und Arbeitsweise von Expertensystemen und ihren Grundlagen. Die Programmiersprachen LISP und PROLOG, oft Basis für Expertensysteme, werden ebenso vorgestellt wie realisierte Anwendungen aus der Ingenieurpraxis. wendet sich an Ingenieurstudenten und praktizierende Ingenieure, die sich in den modernen Themenkreis einführen lassen wollen. Das Buch eignet sich insbesondere zum Selbststudium.
Aktualisiert: 2023-07-02
> findR *
Expertensysteme, ein erster Schritt in Richtung "Künstliche Intelligenz", werden insbesondere auch für Ingenieuranwendungen immer bedeutsamer. Daher wendet sich dieses praxisorientierte Lehrbuch in erster Linie an Ingenieure. Es liefert eine fundierte Einführung in Aufbau und Arbeitsweise von Expertensystemen und ihren Grundlagen. Die Programmiersprachen LISP und PROLOG, oft Basis für Expertensysteme, werden ebenso vorgestellt wie realisierte Anwendungen aus der Ingenieurpraxis. wendet sich an Ingenieurstudenten und praktizierende Ingenieure, die sich in den modernen Themenkreis einführen lassen wollen. Das Buch eignet sich insbesondere zum Selbststudium.
Aktualisiert: 2023-07-02
> findR *
Frontmatter -- Geleitwort -- Vorwort -- Inhaltsübersicht -- EINFÜHRUNG -- 1. Kapitel -- 2. Kapitel -- IMPLEMENTIERUNG EINER "BLOCK-WELT" -- 3. Kapitel -- 4. Kapitel -- 5. Kapitel -- 6. Kapitel -- 7. Kapitel -- ERGÄNZUNGEN -- 8. Kapitel -- Anhang 1 -- Anhang 2 -- Literaturverzeichnis -- Die "Situation 0" der "Block-Welt" -- Backmatter
Aktualisiert: 2023-05-29
> findR *
HAMANN: EINFÜHRUNG IN DAS PROGRAMMIEREN IN LISP LG E-BOOK
Aktualisiert: 2023-05-29
> findR *
BONIN:SOFTWARE-KONSTRUKTION MIT LISP PKS 1 E-BOOK
Aktualisiert: 2023-05-29
> findR *
Aktualisiert: 2023-05-29
> findR *
Jeder kennt sie. Smartphones, die mit uns sprechen, Armbanduhren, die unsere Gesundheitsdaten aufzeichnen, Arbeitsabläufe, die sich automatisch organisieren, Autos, Flugzeuge und Drohnen, die sich selber steuern, Verkehrs- und Energiesysteme mit autonomer Logistik oder Roboter, die ferne Planeten erkunden, sind technische Beispiele einer vernetzten Welt intelligenter Systeme. Sie zeigen uns, dass unser Alltag bereits von KI-Funktionen bestimmt ist. Auch biologische Organismen sind Beispiele von intelligenten Systemen, die in der Evolution entstanden und mehr oder weniger selbstständig Probleme effizient lösen können. Gelegentlich ist die Natur Vorbild für technische Entwicklungen. Häufig finden Informatik und Ingenieurwissenschaften jedoch Lösungen, die sogar besser und effizienter sind als in der Natur. Seit ihrer Entstehung ist die KI-Forschung mit großen Visionen über die Zukunft der Menschheit verbunden. Löst die „künstliche Intelligenz“ also den Menschen ab? Dieses Buch ist ein Plädoyer für Technikgestaltung: KI muss sich als Dienstleistung in der Gesellschaft bewähren.
Aktualisiert: 2023-04-02
> findR *
Dieses Buch vermittelt Studenten der Informatik Fundament und Rüstzeug des Übersetzerbaus für imperative, funktionale und logische Programmiersprachen. Die ersten vier Kapitel führen in die Thematik und die theoretischen Grundlagen ein. In den weiteren sieben Kapiteln werden konstruktive Verfahren zur automatischen Erzeugung von lexikalischen, syntaktischen und semantischen Analysatoren und von Codeerzeugern vorgestellt. Neben der Übersetzung konventioneller, imperativer Programmiersprachen, wie Fortran, Pascal und C, werden auch die Klassen der funktionalen und der logischen Programmiersprachen mit Lisp und Miranda bzw. Prolog als prominenten Vertretern erfaßt. Bei der automatischen Codeerzeugung finden moderne parallele Zielarchitekturen gebührende Berücksichtigung. Die statische Analyse von Programmen, die für die Unterstützung des Softwareentwicklungsprozesses im allgemeinen ebenso wichtig ist wie hier für die Erzeugung effizienter Zielprogramme, wird semantisch fundiert. Die erforderlichen Grundkenntnisse aus der Theorie der formalen Sprachen und Automaten werden hergeleitet. Zahlreiche Aufgaben ermöglichen eine gründliche Einübung der Lehrinhalte. Das Buch eignet sich zum Gebrauch für ein- oder zweisemestrige Vorlesungen ebenso wie zum Selbststudium.
Aktualisiert: 2022-03-05
> findR *
Aktualisiert: 2023-04-03
> findR *
Die Übersetzung der bewährten Einführung in die Informatik, entstanden am Massachusetts Institute of Technology (MIT), wird seit Jahren erfolgreich in der Lehre eingesetzt. Schritt für Schritt werden Konstruktion und Abstraktion von Daten und Prozeduren dargestellt. Von der Modularisierung bis zum Problemlösen mit Registermaschinen werden verschiedene Programmierparadigmen entwikckelt und die effektive Handhabung von Komplexität gezeigt. Als Programmiersprache wird SCHEME verwendet, ein Dialekt von LISP. Alle Programme laufen in jeder dem IEEE-Standard entsprechenden SCHEME-Implementierung.
Aktualisiert: 2023-03-14
> findR *
Die folgenden Motivationen haben zu dem vorliegenden Buch geführt: Da ist zunächst einmal die eigene Unzufriedenheit mit derzeit verfügbaren Büchern, die sich mit der gleichen oder ähnlicher Materie befassen. Sowohl theoretische Abhandlungen über das Thema ,Künstliche Intelligenz', Einführungen in moderne Programmiertechniken oder den Umgang mit Computersystemen scheinen sich heutzutage fast ausschließlich an Mathematiker, Physiker oder Informatiker zu wenden, an potentielle Computerbenutzer also, die mit vielen Aspekten der Materie bereits vertraut sind. Dies mußte ich beim Studium von Programmiersprachen wie LISP oder PROLOG schnell erkennen. Entnervt von mathematischen Problemen wie etwa dem Errechnen der Fakultät natürlicher Zahlen oder allgemeinen Problemlösungsverfahren wie etwa dem Turm von Hanoi dachte ich so manchmal daran, das Studium der jeweiligen Programmierhandbücher aufzugeben. Dabei wollte ich mich doch als Linguist mit den Problemen der natürlichen Sprache auseinander setzen und nicht etwa mit dem Lösen algebraischer Probleme. Das allerdings, so wurde mir bald klar, war nicht vorgesehen. Also machte ich mich selbst ans Werk. Über das Studium der elektronischen Datenver arbeitung allgemein, ersten Schritten mit einem Betriebssystem, dem Verstehen des Zusammenwirkans der Komponenten eines Computersystems bis hin zum Erlernen der Programmiersprachen BASIC, LISP und PROLOG gelang es mir, mich in die Geheimnisse moderner Computertechnologie einzuarbeiten. Schon bald wurde mir die Relevanz der Informationsverarbeitung auf einem Computer für mein Hauptarbeitsgebiet, die Lin guistik, klar. Geht es doch heute der modernen Linguistik u. a. darum, die Regeln der natürlichen Sprache auf Computersystemen zu implementieren.
Aktualisiert: 2022-03-02
> findR *
Die Programmiersprache Logo kann auf eine vergleichsweise lange Tradition zurückblicken. Seit ihrer Definition durch Seymour Pa pert in den Jahren 1967 und 1968 wurde sie in verschiedenen Ver sionen auf diversen Rechnern implementiert. Inzwischen stehen auch leistungsfähige Logo-Systeme für viele Micro- und Personal Computer zur Verfügung. Damit verbunden hat sich der Kreis der Logo-Benutzer in den letzten Jahren erheblich ausgeweitet. Logo ist vor allem eine Sprache für "Lernende". Mögen es nun auf der einen Seite des Spektrums Kinder sein, die ihre ersten Ver suche auf dem Rechner machen (vgl. Papert 1980) oder am anderen Ende Studenten, die Beispiele aus dem Gebiet der künstlichen In telligenz damit modellhaft realisieren (vgl. Bundy 1980). Letz teres ist möglich, da Logo wie seine "Mutter" LISP gut für sym bolische Probleme geeignet, jedoch im Vergleich zu LISP freund licher gestaltet ist. Dieses Buch will die besondere Eignung von Logo gerade auch für nicht-numerische Anwendungen in Mathematik und. Informatik aufzei gen. Es wendet sich damit an interessierte (Noch-)Nicht-Spezi alisten wie etwa Lehrer, Studenten verschiedener Fachrichtungen oder Schüler der Sekundarstufe 11. Beid.e Verfasser arbeiten selbst auf dem Gebiet der Didaktik der Mathematik und hoffen auf diese Weise einen Beitrag dazu zu lei sten, d.as Spektrum der Computeranwendung in Mathematik über die reine Numerik hinaus zu erweitern und auch Perspektiven für einen Informatikunterricht aufzuzeigen, der über die üblichen Basic Aktivitäten hinausweist.
Aktualisiert: 2023-01-26
> findR *
MEHR ANZEIGEN
Bücher zum Thema LISP
Sie suchen ein Buch über LISP? Bei Buch findr finden Sie eine große Auswahl Bücher zum
Thema LISP. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr
hat zahlreiche Bücher zum Thema LISP 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 LISP einfach online und lassen Sie es sich bequem nach
Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.
LISP - 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 LISP, 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 LISP 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.
