Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Versand nach:
🇩🇪 Deutschland 🇦🇹 Österreich 🇨🇭 Schweiz
  • Startseite
  • Detailsuche
  • algorithmen programme dresen meiner (Titel) - gebraucht, antiquarisch & neu kau…

algorithmen programme dresen meiner [Titel]

(5 Ergebnisse)
Titel
algorithmen programme dresen meiner
Titel: algorithmen programme dresen mei…
Suchverlauf
Algorithmen in C . (Gebundene Ausgabe) Robert Sedgewick Algorithmenanalyse Computer EDV Informatik Algorithmica Algorithms Algorithmen in C Ein Klassiker der Computerliteratur! Robert Sedgewick beschreibt eine Auswahl von Algorithmen aus verschiedensten Gebieten. Die Algorithmen werden in Form prägnanter Pascal-Notationen dargestellt. So kann der Leser nicht nur ihre grundlegenden Eigenschaften untersuchen, sondern sie auch anhand echter Programme ausprobieren. Das Ziel dieses Buches ist, einen Überblick über die wichtigsten gegenwärtig benutzten Algorithmen für Computer zu geben und diese dem wachsenden Personenkreis, der Kenntnisse über grundlegende Methoden auf diesem Gebiet benötigt, zu vermitteln. Das Buch kann als Lehrbuch für das zweite, dritte oder vierte Studienjahr der Informatik verwendet werden, nachdem die Studenten einige Fertigkeiten bei der Programmierung und eine gewisse Vertrautheit mit Computersystemen erworben haben, doch bevor sie Spezialvorlesungen über weiterführende Gebiete der Informatik oder Computer-Anwendungen absolviert haben. Außerdem kann das Buch für das Selbststudium oder als Nachschlagewerk für diejenigen von Nutzen sein, die sich mit der Entwicklung von Computersystemen oder Anwendungsprogrammen beschäftigen, da es eine Reihe von Implementationen nützlicher Algorithmen sowie eingehende Informationen über die Merkmale ihrer Leistungsfähigkeit enthält. Dank der breit angelegten Betrachtungsweise, die für das Buch kennzeichnend ist, stellt es eine geeignete Einführung in das genannte Gebiet dar. Der AutorRobert Sedgewick ist Professor für Informatik an der Princeton University und gilt als international anerkannter Fachmann für die Algorithmenanalyse. Er ist Mitherausgeber des Journal of Algorithms und von Algorithmica. Ich hab mir dieses Buch schon vor eine Weile gekauft, weil ich lernen wollte meine Programme effizienter zu gestalten. Ich dachte ein paar echte Algorithmen die ausführlich besprochen werden wären dafür eine gute Idee. Zum Teil stimmt das auch, und auch die Ausführungen zur Berechnung der Komplexität (Groß O & Co), Rekursion und anderen Grundlagen sind wirklich gut - doch wurde mein Code weder besser, noch effizienter. Was mich aber noch mehr geärgert hatteSedgewick lügt! Er hat da Lösungen zu Probleme - die leider nicht funktionieren. Gerade eben habe ich mich wieder über das Ding zur Infix->Postfix Konvertierung geärgert, es tut einfach nicht. Ich hätte mir doch das Buch in Pascal kaufen sollen, da ist er angeblich sattelfester und die Programme funktionieren sogar ;-) Was auch gewagt ister meint, man solle K&R2 gelesen haben wenn man sich in C einarbeiten will - nur leider verbricht er selbst Programme, wo sich jedem K&R2-Leser die Fußnägel aufrollen. Vielleicht gibt`s ja inzwischen eine neue Ausgabe wo all diese Dinge gefixt wurden, bei meiner steht 1992 drin. Naja, man darf dem Mann aber nicht zu Unrecht irgendwelche Dinge in seinen Implementierungen vorwerfen. Das Wertvolle am Buch ist der Text drumherum und darauf kommt es an - daher auch 4 Sterne. Es ist wirklich gut, aber wenn er dann erzählt Und hier eine Lösung: und dann kommt gelogener Code - damit hat er sich um den 5. Stern gebracht. Wie gut daß ich im Informatik-Studium das Zeug nochmal *richtig* beigebracht bekommen werde; wobei Sedgewick dort neben Knuth auch als Standardliteratur eingesetzt wird. Übrigens ist die Original-Version (Englisch) anders, auch der Code.

Algorithmen in C . (Gebundene Ausgabe) Robert Sedgewick Algorithmenanalyse Computer EDV Informatik…

3,74 Ødurchschnittliche Bewertung · 61 Bewertungen bei Goodreads

von Robert Sedgewick Verlag: Pearson Studium

2005 2005 Hardcover 742 S. 24,4 x 17,4 x 4,2 cm Zustand: gebraucht - sehr gut, Ein Klassiker der Computerliteratur! Robert Sedgewick beschreibt eine Auswahl von Algorithmen aus verschiedensten Gebieten. Die Algorithmen werden in Form prägnanter Pascal-Notationen dargestellt. So kann der Leser nic…

Gebraucht, sehr gut
Computer / Multimedia / Programmierung
Bestell-Nr.: BN7721
EAN: 9783827371829
ISBN: 3827371821
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERA…, Wahlstedt, Deutschland
Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

59,90 EUR

zzgl. 6,99 EUR Verpackung & Versand
Algorithmen in C . (Gebundene Ausgabe) Computer Multimedia Programmierung Informatik Computersysteme Algorithms Algorithmica Pascal-Notationen Algorithmenanalyse Robert Sedgewick Algorithmen in C Ein Klassiker der Computerliteratur! Robert Sedgewick beschreibt eine Auswahl von Algorithmen aus verschiedensten Gebieten. Die Algorithmen werden in Form prägnanter Pascal-Notationen dargestellt. So kann der Leser nicht nur ihre grundlegenden Eigenschaften untersuchen, sondern sie auch anhand echter Programme ausprobieren. Das Ziel dieses Buches ist, einen Überblick über die wichtigsten gegenwärtig benutzten Algorithmen für Computer zu geben und diese dem wachsenden Personenkreis, der Kenntnisse über grundlegende Methoden auf diesem Gebiet benötigt, zu vermitteln. Das Buch kann als Lehrbuch für das zweite, dritte oder vierte Studienjahr der Informatik verwendet werden, nachdem die Studenten einige Fertigkeiten bei der Programmierung und eine gewisse Vertrautheit mit Computersystemen erworben haben, doch bevor sie Spezialvorlesungen über weiterführende Gebiete der Informatik oder Computer-Anwendungen absolviert haben. Außerdem kann das Buch für das Selbststudium oder als Nachschlagewerk für diejenigen von Nutzen sein, die sich mit der Entwicklung von Computersystemen oder Anwendungsprogrammen beschäftigen, da es eine Reihe von Implementationen nützlicher Algorithmen sowie eingehende Informationen über die Merkmale ihrer Leistungsfähigkeit enthält. Dank der breit angelegten Betrachtungsweise, die für das Buch kennzeichnend ist, stellt es eine geeignete Einführung in das genannte Gebiet dar. Der AutorRobert Sedgewick ist Professor für Informatik an der Princeton University und gilt als international anerkannter Fachmann für die Algorithmenanalyse. Er ist Mitherausgeber des Journal of Algorithms und von Algorithmica. Ich hab mir dieses Buch schon vor eine Weile gekauft, weil ich lernen wollte meine Programme effizienter zu gestalten. Ich dachte ein paar echte Algorithmen die ausführlich besprochen werden wären dafür eine gute Idee. Zum Teil stimmt das auch, und auch die Ausführungen zur Berechnung der Komplexität (Groß O & Co), Rekursion und anderen Grundlagen sind wirklich gut - doch wurde mein Code weder besser, noch effizienter. Was mich aber noch mehr geärgert hatteSedgewick lügt! Er hat da Lösungen zu Probleme - die leider nicht funktionieren. Gerade eben habe ich mich wieder über das Ding zur Infix->Postfix Konvertierung geärgert, es tut einfach nicht. Ich hätte mir doch das Buch in Pascal kaufen sollen, da ist er angeblich sattelfester und die Programme funktionieren sogar ;-) Was auch gewagt ister meint, man solle K&R2 gelesen haben wenn man sich in C einarbeiten will - nur leider verbricht er selbst Programme, wo sich jedem K&R2-Leser die Fußnägel aufrollen. Vielleicht gibt`s ja inzwischen eine neue Ausgabe wo all diese Dinge gefixt wurden, bei meiner steht 1992 drin. Naja, man darf dem Mann aber nicht zu Unrecht irgendwelche Dinge in seinen Implementierungen vorwerfen. Das Wertvolle am Buch ist der Text drumherum und darauf kommt es an - daher auch 4 Sterne. Es ist wirklich gut, aber wenn er dann erzählt Und hier eine Lösung: und dann kommt gelogener Code - damit hat er sich um den 5. Stern gebracht. Wie gut daß ich im Informatik-Studium das Zeug nochmal *richtig* beigebracht bekommen werde; wobei Sedgewick dort neben Knuth auch als Standardliteratur eingesetzt wird. Übrigens ist die Original-Version (Englisch) anders, auch der Code.

Algorithmen in C . (Gebundene Ausgabe) Computer Multimedia Programmierung Informatik Computersystem…

3,74 Ødurchschnittliche Bewertung · 61 Bewertungen bei Goodreads

von Robert Sedgewick Verlag: Addison Wesley Longman Pearson Studium

1993 1993 Hardcover 752 S. 168 x 240 mm Zustand: gebraucht - sehr gut, Ein Klassiker der Computerliteratur! Robert Sedgewick beschreibt eine Auswahl von Algorithmen aus verschiedensten Gebieten. Die Algorithmen werden in Form prägnanter Pascal-Notationen dargestellt. So kann der Leser nicht nur i…

Gebraucht, sehr gut
Computer / Multimedia / Programmierung
Bestell-Nr.: BN39608
EAN: 9783893196692
ISBN: 3893196692
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERA…, Wahlstedt, Deutschland
Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

74,99 EUR

zzgl. 6,99 EUR Verpackung & Versand
Abenteuer Kryptologie. Methoden, Risiken und Nutzen der Datenverschlüsselung Reinhard Wobst Kryptographie Abenteuer Kryptologie Sicherheit im Internet wird immer wichtiger je mehr die Vernetzung in den Alltag dringt. Der zunehmende Gebrauch von Mobiltelefonen bringt ein weiteres Sicherheitsrisiko mit sich. Dieses, die dritte Auflage von dem erfolgreichen Buch zur Kryptografie, ist komplett aktualisiert - Kapitel und Abschnitte, die nicht mehr dem neuesten Stand der Sicherheitsforschung entsprechen, sind gestrichen und durch die neuesten Protokolle und Sicherheitsmaßnahmen ersetzt. Das Buch wird interessanter durch Kapitel, die die technischen Möglichkeiten der Geheimdienste oder die Forschung (und den Einsatz) von Biometrie im Erhalt der Datensicherheit beschreiben. Kryptographie Kryptologie Die aktuelle Auflage des Standardwerks ist wesentlich überarbeitet und aktualisiert worden. Neu ist u. a. der Rijndael-Algorithmus, die DES-Crack-Maschine der EFF, praktisch wirksame Angriffe auf Handy-Authentifizierung, mehr Details zu ECHELON, Überlegungen zur Biometrie etc. Das Wissen über die Kryptologie und vor allem über die Möglichkeiten und Grenzen kryptologischer Verfahren ist auf eine gefährliche Weise unterentwickelt. Dem will das Buch entgegenwirken. Es vermittelt moderne Verschlüsselungstechniken ohne zu hohe Ansprüche an den Leser, behandelt aber auch ausgiebig die Möglichkeiten und Gefahren des Codebreakings. Die Thematik des Buches reicht von spannenden historischen Anekdoten bis hin zu neuesten Entwicklungen in der Politik, von den einfachsten Chiffrierverfahren bis hin zur genauen Untersuchung moderner Algorithmen wie IDEA, RC5, RSA, DES und RC4. Sie lernen im Detail Methoden kennen, wie man solche Algorithmen angreift. Und auch als Experte finden Sie noch NeuesWarum die Komprimierung vor der Verschlüsselung keine höhere Sicherheit bringen muß, oder wie man die pkzip-Chiffrierung knackt; auch eine neue Modifikation des RC5-Algorithmus (RC5a) wird diskutiert. Dem Buch gelingt, was selten ist, anspruchsvolle Fachinformation auf fesselnde und immer nachvollziehbare Weise dem Leser nahezubringen. Wenn Sie sich für die folgenden Fragen interessieren, dann sollten Sie in dieses Buch hineinsehen * Was ist überhaupt Kryptologie, und welche Bedeutung hat sie? * Was sind sichere, was sind schlechte Algorithmen? Muß man Mathematiker sein, um die Antwort darauf zu verstehen? * Welchen Einfluß hatte die Kryptologie auf den Ausgang des Zweiten Weltkrieges? * Stimmt es, daß die Geheimdienste alles mitlesen können? * Wie knackt man Algorithmen? Wie schnell geht das? * Wie sicher sind die digitalen Mobilfunknetze? * Wie sicher ist die PIN meiner ec-Karte? * Wie sicher ist Homebanking? * Was steckt hinter dem Geheimcode für Atomwaffen? * Wie sollte Sicherheitssoftware aussehen? * Dürfen wir digitalen Unterschriften trauen? * Dürfen wir in Zukunft überhaupt noch verschlüsseln? Das Buch gefällt mirder Autor liefert eine gut strukturierte Einführung in das Gebiet, mit geschichtlich authentischen Beispielen zum Nachvollziehen, und um überhaupt in die Perspektive zu kommen. Mich hat als Mathematik-Mittelkläßler gefreut, dass sich hier nicht hauptsächlich in Formeln gewälzt wird, sondern handfest Beispiele durchgearbeitet werden; die math. Beweise bleibt der Autor dennoch nicht schuldig. Ihm gelingt sehr gut, den eigenen Ehrgeiz anzuspornen, soweit man als Nicht-Mathematiker irgendwie kann, die Verfahren trotzdem `zu kapieren`. Das gelingt auch dadurch, dass in der beigelegten CD nicht nur fertige ready-to-run Programme enthalten sind, sondern vielfach Quelltexte das Autors, gewissermaßen die `Brühwürfel` aus denen man sich nach einer Einarbeitung in die Programmierung selbst die benötigten Programme kompilieren (das Süppchen kochen) kann. Außerdem unterstützt diese Methode das Verständnis für die Funktion der Programmeeine . exe zu starten, ohne zu wissen, was `drin` ist, hat keinen Lerneffekt, und würde nur `Securiy by obscurity` vorgaukeln. So aber sieht man genau, dass es sich nicht um Tricks oder Zauberei handelt, und kann verfolgen, was ein Programm z. B. mit der Word-Perfect Verschlüsselung anstellt, um sie auszuhebeln. Und als weiterer PluspunktAuch schön zum Schmökern, interessant wie ein Krimi Immer wieder wird auf menschliche Schwächen bei der Organisation der Geheimhaltung hingewiesen, somit kommt auch der Sicherheitsgedanke nicht zu kurz. Zuletzt ein großes Lob für die wirklich umfangreichen Literaturhin -und Verweise, die nicht nur aus der Angabe v. Buchautor und Erscheinungsjahr bestehen, wie so oft in der Wissenschaft, sondern mit durchgängig kompletten Buchtiteln, und ISBN -wo es ging-, so dass man dafür keine Dechiffrierung braucht :-) Ich empfehle dieses Buch zum Kauf, es ist sein Geld wert. Abenteuer Kryptologie . Methoden, Risiken und Nutzen der Datenverschlüsselung Reinhard Wobst Abenteuer Kryptologie . Methoden, Risiken und Nutzen der Datenverschlüsselung Reinhard Wobst Kryptographie Kryptologie Biometrie Rijndael-Algorithmus DES-Crack-Maschine EFF Handy-Authentifizierung ECHELON Sicherheitssoftware Geheimcode Homebanking PIN digitale Mobilfunknetze Algorithmen IDEA RC5 RSA DES RC4 Chiffrierverfahren RC5a RC5-Algorithmus pkzip-Chiffrierung ISBN-10 3-8273-1815-7 3827318157 ISBN-13 978-3-8273-1815-2 9783827318152 net. com

Abenteuer Kryptologie. Methoden, Risiken und Nutzen der Datenverschlüsselung Reinhard Wobst Kryptog…

von Reinhard Wobst Verlag: Addison Wesley Imprint in der Pearson Education D…

2002 2002 Softcover 456 S. 25,1 x 17,5 x 2,7 cm Zustand: gebraucht - sehr gut, Sicherheit im Internet wird immer wichtiger je mehr die Vernetzung in den Alltag dringt. Der zunehmende Gebrauch von Mobiltelefonen bringt ein weiteres Sicherheitsrisiko mit sich. Dieses, die dritte Auflage von dem erf…

Gebraucht, sehr gut
Computer / Multimedia / Programmierung
Bestell-Nr.: BN4456
EAN: 9783827318152
ISBN: 3827318157
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERA…, Wahlstedt, Deutschland
Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

62,90 EUR

zzgl. 6,99 EUR Verpackung & Versand
Applied Pattern Recognition: A Practical Introduction to Image and Speech Processing in C++ von Joachim Hornegger (Autor), Dietrich W. R. Paulus Algorithms and Implementation in C++ Design, structure and implementation of image and speech analysis systems - Digital filters, edge detection, image segmentation - Feature extraction from speech signals and classification - Fourier transform, image and speech compression - Introduction to C, C++ - Classes, inheritance and polymorphism Dietrich Paulus is a professor in computational visualistics at University Koblenz-Landau. Since over a decade he teaches image processing and programming languages. Joachim Hornegger is working for Siemens Medical Solutions, Inc. and the director of medical image processing. He is also a lecturer at the University of Mannheim teaching courses on medical image processing, discrete tomography, and 3D computer vision. From the contents: Design, structure and implementation of image and speech analysis systems - Digital filters, edge detection, image segmentation - Feature extraction from speech signals and classification - Fourier transform, image and speech compression - Introduction to C, C++ - Classes, inheritance and polymorphism Bildverarbeitung C++ Programmiersprache Efficient Algorithms Informatik EDV Image Processing Inheritance Mustererkennung Pattern Analysis pattern recognition Program Design programming regognition software development Speech processing Spracherkennung statistical pattern recognition ISBN-10 3-528-35558-1 3528355581 ISBN-13 978-3-528-35558-6 9783528355586 978-3528355586 Ein ganz großer Vorteil dieses Buches ist, dass die Thematik nicht nur auf einer abstrakten Ebene beschrieben wird, sondern dass im Buch immer wieder die Umsetzung der Aussagen in C++ gezeigt wird. neben einer Einführung in C++ werden die Algorithmen und Techniken immer wieder auch als Programm vorgestellt. Dadurch wird der Schritt von der Theorie - das heißt, dem als mathematische Formel beschriebenen Algorithmus - hin zur Praxis (dem Computerprogramm) durchgängig. Elektronik This book demonstrates the efficiency of the C++ programming language in the realm of pattern recognition and pattern analysis. For this 3rd edition, new features of the C++ language were integrated and their relevance for image and speech processing is discussed. The description of the STL library was extended and STL is now used in many places in the book. The chapters 23 and 24 can now be used to build complete systems and give hints for further extensions. The book is divided into 4 parts. After an introduction to programming and software engineering, the required basics of image and speech processing are given. Statistics and mathematics is explained as required. The second part treats C++ as an object-oriented language and introduces it thru examples. In the third part the examples of the first and second part are combined to form an image segmentation and a word recognition system. All relevant features of the C++ language are thus introduced with direct relation to the tasks in image and speech processing. Die Behandlung der C++-Konstukte ist wirklich anwendungsnah. Prof. Dr. Michael Schenke, FH Merseburg // sehr umfassend - anschaulich, klar, gut nachvollziehbar. Prof. Dr. -Ing. Hans Peter Kölzer, HAW Hamburg Dieses Buch werde ich meinen Studenten empfehlen, weil es einen sehr anschaulichen und motivierenden Einstieg in die Mustererkennung bietet. Prof. Dr. Hans-Peter Weber, FH Darmstadt Concerning 3rd edition: This book is a beautifully arranged marriage of state-of-the-art pattern recognition theory and of programming theory and practice. The elegant and thorough treatment of modern aspects of speech and video processing and interpretation springs to life through a multitude of well-designed case studies and concrete examples. Carlo Tomasi, Prof. of Computer Science, Duke University, USA This book is a must for learners of practical image processing. The examples are well explained and cover the needs of a graduate image processing or pattern recognition course. Laszlo Csink, Prof. of Computer Science, Budapest Polytechnic John von Neumann Faculty of Informatics, Hungary I am not aware of a book comparable to this one which gives an excellent combination of an account of relevant topics in pattern recognition as well as of techniques for implementing the equations and algorithms in C++. Therefore, the book is invaluable both to students starting in the field and and to practitioners needing a special algorithm and its implementation. H. Niemann, Prof. of Computer Science, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany // this book has been the perfect source for my students and me. Not only that the reader is elegantly and in a straightforward manner guided to the central points of the theory, but in parallel the authors also make it transparent how to implement the algorithms resulting from the theory. Volkmar Welker, Prof. of Discrete Mathematics, University of Marburg, Germany Bildverarbeitung C++ Programmiersprache Efficient Algorithms Informatik EDV Image Processing Inheritance Mustererkennung Pattern Analysis pattern recognition Program Design programming software development Speech processing Spracherkennung statistical pattern recognition Applied Pattern Recognition A Practical Introduction to Image and Speech Processing in C++

Applied Pattern Recognition: A Practical Introduction to Image and Speech Processing in C++ von Joa…

4,00 Ødurchschnittliche Bewertung · 1 Bewertungen bei Goodreads

von Joachim Hornegger Dietrich W. R. Paulus Verlag: Vieweg+Teubner Verlag

4. Auflage 4th edition 4. Auflage 4th edition Softcover 372 S. 23,9 x 16,3 x 2 cm Zustand: gebraucht - sehr gut, Design, structure and implementation of image and speech analysis systems - Digital filters, edge detection, image segmentation - Feature extraction from speech signals and classificat…

Gebraucht, sehr gut
Computer / Multimedia / Programmierung
Bestell-Nr.: BN25408
EAN: 9783528355586
ISBN: 3528355581
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERA…, Wahlstedt, Deutschland
Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

199,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
Medizin / Pharmazie / HNO
Bestell-Nr.: BN14966
EAN: 9783540557029
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
Nichts passendes gefunden?
Titel
algorithmen programme dresen meiner
Link zur Suche kopieren

Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!

Meine zuletzt angesehenen Bücher

Die Gemeinde Christi : Prinzipien, Dienste, Formen. - Christliches Leben heute ; Bd. 15/16 : Themenkreis 1, Der Christ und sein Glaube
Die Gemeinde Christi : Prinzipien, Dienste, Formen. - Christli…
von Ferdinand Klostermann
Hegedüvarazs-violin magic (2003)
Hegedüvarazs-violin magic (2003)
von Princess
Etwas über William Shakespeares Schauspiele. (2 Bde. ).
Etwas über William Shakespeares Schauspiele. (2 Bde. ).
von Ulrich Bräker, Alois Stadler
Fantastisches Tierreich - Zwischen Legende und Wirklichkeit
Fantastisches Tierreich - Zwischen Legende und Wirklichkeit
von John Downer
Fritz v. Below, General d. Infanterie - Ein Lebensbild
Fritz v. Below, General d. Infanterie - Ein Lebensbild
von Hanns Möller-Witten
Zeit des Raben Zeit der Taube - Roman
[Literatur]
Zeit des Raben Zeit der Taube - Roman
von Gertrud Fussenegger
28 hits à gogo 8
28 hits à gogo 8
von Peter Covent
Wooden Chairs.
Wooden Chairs.
von Thonet
Abtei St. Maria zu Fulda
Abtei St. Maria zu Fulda
von Sophia Becker
Klosterbilder aus Italien
Klosterbilder aus Italien
von Paul Stiegele