Grundlagen der logischen Programmierung
eBook - PDF

Grundlagen der logischen Programmierung

  1. 320 Seiten
  2. German
  3. PDF
  4. Über iOS und Android verfügbar
eBook - PDF

Grundlagen der logischen Programmierung

Über dieses Buch

Keine ausführliche Beschreibung für "Grundlagen der logischen Programmierung" verfügbar.

375,005 Studierende vertrauen auf uns

Zugang zu über 1 Million Titeln zu einem fairen monatlichen Preis.

Mit unseren Lerntools kannst du noch effizienter lernen.

Information

Verlag
De Gruyter
Jahr
1990
eBook-ISBN:
9783112773215
Thema
Informatik

Inhaltsverzeichnis

  1. VORWORT
  2. INHALT
  3. 1. EINLEITUNG
  4. 1.1. DER BEGRIFF DER MATHEMATISCHEN LOGIK
  5. 1.2. DIE AXIOMATISCH-DEDUKTIVE METHODE
  6. 1.3. SYNTAX UND SEMANTIK
  7. 1.4. GRUNDBEGRIFFE AUS DER MATHEMATIK
  8. 2. DER AUSSAGENKALKUL
  9. 2.1. AUSSAGEN UND FUNKTOREN
  10. 3. DER PR DIKÄTENKALKUL
  11. 3.1. PRÄDIKATIVE FORMEN UND TERME
  12. 3.2. SYNTAX UND SEMANTIK DES PRÄDIKATENKALKÜLS
  13. 3.3. LOGISCHES FOLGERN IM PRÄDIKATENKALKUL
  14. 3.4. LOGISCHE ÄQUIVALENZ UND PRÄNEXE NORMALFORMEN
  15. 3.5. ABLEITBARKEIT UND BEWEISBARKEIT
  16. 3.6. VOLLSTÄNDIGKEIT UND AXIOMATISIERBARKEIT
  17. 3.7. MODELLTHEORETISCHE GRÜNDBEGRIFFE
  18. 3.8. BIBLIOGRAPHISCHE BEMERKUNGEN
  19. 4. UNIVERSALE THEORIEN
  20. 4.1. GRUNDLEGENDE EIGENSCHAFTEN
  21. 4.2. REDUKTIONSSRTZE
  22. 4.3. KANONISCHE MODELLE
  23. 4.4. DAS HERBRANDSCHE THEOREM
  24. 4.5. DAS ENTSCHEIDUNGSPROBLEM FÜR DEN PRÄDIKATENKALKUL
  25. 5. UNIFIKATION
  26. 5.1. SUBSTITUTIONEN
  27. 5.2. GRUNDBEGRIFFE DER UNIFIKATION
  28. 5.3. DAS UNIFIKATIONSTHEOREM
  29. 5.4. ALLGEMEINSTE UNIFIKATOREN
  30. 5.5. UNIFIKATIONSALGORITHMEN
  31. 5.6. BIBLIOGRAPHISCHE BEMERKUNGEN
  32. 6 . DER RESOLVENTENKALKUL
  33. 6.1. RESOLVENTEN UND FAKTOREN
  34. 6.2. BEWEISDIAGRAMME
  35. 6.3. DER VOLLSTÄNDIGKEITSSATZ
  36. 6.4. VERFEINERUNGEN DER RESOLUTIONSMETHODE
  37. 6.5. DIE INPUT-RESOLUTION
  38. 6.6. BIBLIOGRAPHISCHE UND HISTORISCHE BEMERKUNGEN
  39. 7. DEFINITE PROGRAMME
  40. 7.1. DEKLARATIVE SEMANTIK
  41. 7.2. SLD-ABLEITUNGEN UND KORREKTHEIT
  42. 7.3. VOLLSTÄNDIGKEIT DER SLD-ABLEITUNG
  43. 7.4. SLD-BÄUME
  44. 7.5. INFERENZSTRATEGIEN
  45. 7.6. ALGORITHMISCHE VOLLSTANDIGKEIT
  46. 7.7. BIBLIOGRAPHISCHE BEMERKUNGEN
  47. 8. DIE NEGATION
  48. 8.1. MINIMALES FOLGERN
  49. 8.2. DIE NEGATION FÜR DEFINITE PROGRAMME
  50. 8.3. DIE NEGATION ALS FINITE FAILURE
  51. 8.4. DIE IFF-VERVOLLSTÄNDIGUNG
  52. 8.5. BIBLIOGRAPHISCHE BEMERKUNGEN
  53. 9. WISSSNSDARSTELLUNG
  54. 9.1. MODELLSPEZIFIKATIONEN
  55. 9.2. TERME UND GRUNDOBJEKTE
  56. 9.3. FORMALISIERUNG VON MODELLSPEZIFIKATIONEN
  57. 9.4. ZULÄSSIGE TERME
  58. 9.5. ERWEITERUNGEN
  59. 9.6. BIBLIOGRAPHISCHE BEMERKUNGEN
  60. 10. THEORIEN MIT GLEICHHEIT
  61. 10.1. DIE GLEICHHEITSRELATION
  62. 10.2. MODELLE MIT GLEICHHEIT
  63. 10.3. DEDUKTION MIT GLEICHHEIT
  64. 10.4. TERMERSETZUNGSSYSTEME
  65. 10.5. E-UNIFIKATION
  66. 10.6. ALGORITHMEN FUß DIE E-UNIFIKATION
  67. 10.7. DEFINITE PROGRAMME MIT GLEICHHEIT
  68. 10.8. BIBLIOGRAPHISCHE BEMERKUNGEN
  69. 11. PROLOG
  70. 11.1. EINLEITUNG
  71. 11.2. SYNTAX
  72. 11.3. SEMANTIK
  73. 11.4. SYSTEMPRÄDIKATE
  74. 11.5. DAS CUT-PRÄDIKAT
  75. 11.6. DER ZYKLENTEST IN DER UNIFIKATION
  76. 11.7. BIBLIOGRAPHISCHE UND HISTORISCHE BEMERKUNGEN
  77. ANHANG A. SYSTEMPRÄDIKATE
  78. ANHANG B. DEMONSTRATIONSPROGRAMME
  79. ANHANG C. LÖSUNGSHINWEISE FÜR DIE ÜBUNGEN
  80. LITERATUR
  81. SYMBOLVERZEICHNIS
  82. SACHWORTVERZEICHNIS

Häufig gestellte Fragen

Ja, du kannst dein Abo jederzeit über den Tab Abo in deinen Kontoeinstellungen auf der Perlego-Website kündigen. Dein Abo bleibt bis zum Ende deines aktuellen Abrechnungszeitraums aktiv. Erfahre, wie du dein Abo kündigen kannst
Nein, Bücher können nicht als externe Dateien, z. B. PDFs, zur Verwendung außerhalb von Perlego heruntergeladen werden. Du kannst jedoch Bücher in der Perlego-App herunterladen, um sie offline auf deinem Smartphone oder Tablet zu lesen. Erfahre, wie du Bücher herunterladen kannst, um sie offline zu lesen
Perlego bietet zwei Abopläne an: Elementar und Erweitert
  • Elementar ist ideal für Lernende und Profis, die sich mit einer Vielzahl von Themen beschäftigen möchten. Erhalte Zugang zur Basic-Bibliothek mit über 800.000 vertrauenswürdigen Titeln und Bestsellern in den Bereichen Wirtschaft, persönliche Weiterentwicklung und Geisteswissenschaften. Enthält unbegrenzte Lesezeit und die Standardstimme für die Funktion „Vorlesen“.
  • Pro: Perfekt für fortgeschrittene Lernende und Forscher, die einen vollständigen, uneingeschränkten Zugang benötigen. Schalte über 1,4 Millionen Bücher zu Hunderten von Themen frei, darunter akademische und hochspezialisierte Titel. Das Pro-Abo umfasst auch erweiterte Funktionen wie Premium-Vorlesen und den Recherche-Assistenten.
Beide Abopläne sind mit monatlichen, halbjährlichen oder jährlichen Abrechnungszyklen verfügbar.
Wir sind ein Online-Lehrbuch-Abo, bei dem du für weniger als den Preis eines einzelnen Buches pro Monat Zugang zu einer ganzen Online-Bibliothek erhältst. Mit über 1 Million Büchern zu über 990 verschiedenen Themen haben wir bestimmt alles, was du brauchst! Erfahre mehr über unsere Mission
Achte auf das Symbol zum Vorlesen bei deinem nächsten Buch, um zu sehen, ob du es dir auch anhören kannst. Bei diesem Tool wird dir Text laut vorgelesen, wobei der Text beim Vorlesen auch grafisch hervorgehoben wird. Du kannst das Vorlesen jederzeit anhalten, beschleunigen und verlangsamen. Erfahre mehr über die Funktion „Vorlesen“
Ja! Du kannst die Perlego-App sowohl auf iOS- als auch auf Android-Geräten nutzen, damit du jederzeit und überall lesen kannst – sogar offline. Perfekt für den Weg zur Arbeit oder wenn du unterwegs bist.
Bitte beachte, dass wir Geräte, auf denen die Betriebssysteme iOS 13 und Android 7 oder noch ältere Versionen ausgeführt werden, nicht unterstützen können. Mehr über die Verwendung der App erfahren
Ja, du hast Zugang zu Grundlagen der logischen Programmierung von Hans-Joachim Goltz,Heinrich Herre im PDF- und/oder ePub-Format. Aus unserem Katalog stehen dir über 1 Million Bücher zur Verfügung.