Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App

algorithms programm male [Titel]

(12 Ergebnisse)
Titel
algorithms programm male
Titel: algorithms programm male
Informatik: Eine Einführung in Theorie und Praxis (Gebundene Ausgabe) von Carsten Vogt Dieses gut verständliche und praxisnahe Lehrbuch gibt eine übersichtliche, aber nicht oberflächliche Einführung in die wichtigsten Begriffe und Techniken der Informatik. Es richtet sich an Haupt- und Nebenfachstudierende, aber auch an andere interessierte Leser. Der Schwerpunkt des Buchs liegt auf Themen, die für die heutige Praxis relevant sind, einschließlich ihrer theoretischen Grundlagen. Ausführlich berücksichtigt werden moderne Ansätze wie die objektorientierte Softwareentwicklung am Beispiel von Java und UML sowie vernetzte Computersysteme am Beispiel des Internets mit seinen multimedialen Kommunikations- und Informationsdiensten. Im Einzelnen werden die folgenden Bereiche angesprochen: - Maschinenmodelle, Binärdarstellungen, Formale Sprachen - Datenorganisation - Algorithmen - Programmiersprachen - Objektorientierte Softwareentwicklung - Rechnernetze, verteilte Systeme Die allgemein dargestellten Konzepte werden konsequent durch praktische Beispiele konkretisiert und durch Abbildungen illustriert, wobei Formalismen nur so weit wie unbedingt nötig eingesetzt werden. Zahlreiche Übersichten, Zusammenfassungen und Querverweise erleichtern auch dem eiligen Leser den Einstieg. Vertiefende Exkurse, kommentierte Literaturhinweise und eine Sammlung von Übungsaufgaben runden das Buch ab. Das Lehrbuch gibt eine übersichtliche, aber nicht oberflächliche Einführung in grundlegende Begriffe und Techniken der Informatik.  Das Lehrbuch gibt eine übersichtliche, aber nicht oberflächliche Einführung in grundlegende Begriffe und Techniken der Informatik.  (v) Das Lehrbuch für Haupt- und Nebenfachstudierende bietet eine Einführung in die wichtigsten Begriffe und Techniken der Informatik. Der Schwerpunkt liegt auf Themen, die für die Praxis relevant sind, einschließlich ihrer theoretischen Grundlagen. Ausführlich berücksichtigt werden Ansätze wie die objektorientierte Softwareentwicklung am Beispiel von Java und UML sowie vernetzte Computersysteme am Beispiel des Internets mit seinen multimedialen Kommunikations- und Informationsdiensten.  (Zentralblatt für Didaktik der Mathematik) Übersichtliche Darstellung mit einer sehr guten didaktischen Aufarbeitung.  (ekz-Informationsdienst) Prof. Dr. Jürgen Willms, Fachhochschule Südwestfalen, Angewandte Informatik und Mathematik, Meschede, Beurteilungsbogen an den Verlag Insgesamt halte ich das Buch für eine Bereicherung der vorhandenen Literatur; insbesondere für Leser, die die Informatik aus anwendungsbezogener Sicht kennen lernen wollen. Informatik Eine Einführung in Theorie und Praxis Carsten Vogt Informatik Spektrum-Akademischer Vlg Prof. Dr. Carsten Vogt ist studierter Informatiker. Nach einer Industrietätigkeit bei der IBM wechselte er an die Fachhochschule Köln, wo er heute an der Fakultät für Informations-, Medien- und Elektrotechnik Fächer der Praktischen Informatik lehrt. Von ihm erschien bei Spektrum Akademischer Verlag bereits der Titel Betriebssysteme. Inhalt: Aus dem Inhalt: 1 Einführung 1. 1 Was ist Informatik? 1. 2 Historisches 1. 3 Systematik dieses Buchs 2 Grundlegende Modelle und Methoden 2. 1 Maschinen und Maschinenmodelle 2. 2 Aussagenlogik und logische Schaltungen 2. 3 Elementardaten in binären Systemen 2. 4 Formale Sprachen 2. 5 Zusammenfassung und weiterführende Literatur 2. 6 Übungsaufgaben 3 Datenorganisation 3. 1 Variablen in Programmen 3. 2 Graphen 3. 3 Dateien und Dateisysteme 3. 4 Dokumente 3. 5 Datenbanken 3. 6 Zusammenfassung und weiterführende Literatur 3. 7 Übungsaufgaben 4 Algorithmen 4. 1 Eigenschaften und Techniken 4. 2 Standardalgorithmen 4. 3 Komplexität und Entscheidbarkeit 4. 4 Nebenläufigkeit 4. 5 Zusammenfassung und weiterführende Literatur 4. 6 Übungsaufgaben 5 Programmierung 5. 1 Programmiersprachen 5. 2 Grundelemente prozeduraler Sprachen 5. 3 Übersetzung und Interpretation 5. 4 Nebenläufigkeit 5. 5 Zusammenfassung und weiterführende Literatur 5. 6 Übungsaufgaben 6 Objektorientierte Softwareentwicklung 6. 1 Objektorientierte Programmierung 6. 2 Dynamische Datenstrukturen 6. 3 Steuerung des Programmablaufs 6. 4 Softwaretechnik 6. 5 Zusammenfassung und weiterführende Literatur 6. 6 Übungsaufgaben 7 Rechnernetze und verteilte Systeme 7. 1 Kommunikation in Rechnernetzen 7. 2 Internet 7. 3 Grundkonzepte verteilter Systeme 7. 4 Kooperationsmechanismen in verteilten Systemen 7. 5 Zusammenfassung und weiterführende Literatur 7. 6 Übungsaufgaben Literatur Reihe/Serie Spektrum Lehrbuch Sprache deutsch Maße 170 x 240 mm Einbandart gebunden Mathematik Informatik Informatiker EDV Handbuch Lehrbuch ISBN-10 3-8274-1392-3 3827413923 ISBN-13 978-3-8274-1392-5 9783827413925

Informatik: Eine Einführung in Theorie und Praxis (Gebundene Ausgabe) von Carsten Vogt Dieses gut v…

von Carsten Vogt Verlag: Spektrum-Akademischer Vlg

Auflage: 1 (2. Oktober 2003) Auflage: 1 (2. Oktober 2003) Hardcover 420 S. 24,4 x 17,8 x 3 cm Zustand: gebraucht - sehr gut, Dieses gut verständliche und praxisnahe Lehrbuch gibt eine übersichtliche, aber nicht oberflächliche Einführung in die wichtigsten Begriffe und Techniken der Informatik. Es…

Bestell-Nr.: BN4801
ISBN: 3827413923
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERA…, Wahlstedt, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

18,90 EUR

zzgl. 6,99 EUR Verpackung & Versand
Theorie der logischen Programmierung Eine elementare Einführung (Springer-Lehrbuch) von Peter H. Schmitt Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu anderen Programmiertechniken, und welche Rolle kommt der Theorie des logischen Programmierens zu? Dieses Buch macht den Leser mit den Grundlagen und Möglichkeiten der logischen Programmierung vertraut. Die ausführliche Darstellung mit Übungsaufgaben und ausgewählten Lösungen setzt keine speziellen Vorkenntnisse in formaler Logik voraus. In der Einleitung werden die wichtigsten Probleme und Resultate der Theorie anhand von Beispielen anschaulich vorgestellt. Es ist ein besonderes Anliegen des Buches, zu zeigen, wie höhere Konzepte der mathematischen Logik, z. B. vollständige Theorien, dreiwertige Logik oder saturierte Strukturen, in natürlicher und verständlicher Weise sinnvoll eingesetzt werden können. Auch dem neuen Thema der logischen Programmierung mit Randbedingungen (constraints) ist ein Kapitel gewidmet. In allen Teilen des Buches wird Wert gelegt auf klare Darstellung, mathematische Präzision und vollständige, nachvollziehbare Beweise. Auf übertriebene Systematik und Notation wird jedoch verzichtet, und Verallgemeinerungen werden erst dort eingeführt, wo sie gebraucht werden. Das Buch ist sowohl als vorbereitende und begleitende Lektüre zu Vorlesungen als auch zum Selbststudium geeignet. Inhalt: 0 Einleitung. - 1 Voraussetzungen. - 1. 1 Terminologie und Notation. - 1. 2 Übungsaufgaben. - 2 Der Prädikatenkalkül erster Stufe. - 2. 1 Die Syntax des Prädikatenkalküls erster Stufe. - 2. 2 Semantik des Prädikatenkalküls erster Stufe. - 2. 3 Die Interpretation von Formeln des Prädikatenkalküls. - 2. 4 Herbrand-Strukturen. - 2. 5 Übungsaufgaben. - 3 Unifikation. - 3. 1 Substitution. - 3. 2 Der Termverband. - 3. 3 Unifikation sortierter Terme. - 3. 4 Unifikation von Termen zweiter Stufe. - 3. 5 Übungsaufgaben. - 4 Unifikationsalgorithmen. - 4. 1 Der Algorithmus von J. A. Robinson. - 4. 2 Der Martelli-Montanari Algorithmus. - 4. 3 Übungsaufgaben. - 5 Resolutionskalküle. - 5. 1 Das Resolutionsprinzip. - 5. 2 Die Stützmengen-Strategie. - 5. 3 Beweisdiagramme. - 5. 4 Modellelimination. - 5. 5 Übungsaufgaben. - 6 PROLOG-Situationen. - 6. 1 Lineare Resolution. - 6. 2 Beweissuchbäume. - 6. 3 Fixpunkte. - 6. 4 Im Endlichen erfolglose Beweissuchbäume. - 6. 5 Übungsaufgaben. - 7 Eigenschaften von Hornkauseln. - 7. 1 Modelltheoretische Eigenschaften von Hornklauseln. - 7. 2 Die Turingvollständigkeit des Hornklauselfragments. - 7. 3 Übungsaufgaben. - 8 Allgemeine PROLOG-Situationen. - 8. 1 NF-Beweissuchbäume. - 8. 2 Die Vervollständigung. - 8. 3 Der Korrektheitssatz für NF-Beweissuche. - 8. 4 Fixpunkte. - 8. 5 Ein Vollständigkeitssatz. - 8. 6 Übungsaufgaben. - 9 Dreiwertige Semantik für verallgemeinerte PROLOG-Situationen. - 9. 1 Einführung in die dreiwertige Logik. - 9. 2 Die Dreiwertige Vervollständigung. - 9. 3 Exkurs über saturierte Strukturen. - 9. 4 Übungsaufgaben. - 10 PROLOG-Situationen mit Gleichheit. - 10. 1 Syntax und Semantik. - 10. 2 K-Herbrand-Strukturen. - 10. 3 E-Resolution. - 10. 4 Übungsaufgaben. - 11 Logische Programme mit Randbedingungen. - 11. 1 Prolog-Situationen mit Randbedingungen. - 11. 2 Übungsaufgaben. - Lösungen Sprache deutsch Maße 155 x 235 mm Einbandart Paperback Mathematik Informatik Informatiker Beweis Division dreiwertige Logik Logiker Logische Programmierung Prädikate Prädikatenlogik Programmieren Programmierung PROLOG Resolutionskalkül ISBN-10 3-540-55702-4 3540557024 ISBN-13 978-3-540-55702-9 9783540557029

Theorie der logischen Programmierung Eine elementare Einführung (Springer-Lehrbuch) von Peter H. Sc…

von Peter H. Schmitt Verlag: Springer

1992 1992 Softcover 246 S. Zustand: gebraucht - sehr gut, Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Progr…

Gebraucht, sehr gut
Bestell-Nr.: BN14966
ISBN: 3540557024
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERA…, Wahlstedt, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

53,99 EUR

zzgl. 6,99 EUR Verpackung & Versand