Schneller Zugriff als Browser!
34 Beziehungen: Alain Colmerauer, Axiom, Backtracking, CAD, Compilerbau, Computer-aided manufacturing, Computerlinguistik, Computerspiel, Datenbank, Deduktion, Deklarative Programmierung, Dokumentenmanagement, Expertensystem, Handel, Imperative Programmierung, Interpreter, Künstliche Intelligenz, Mathematik, Mathematische Logik, Medizin, Naturwissenschaft, Programmierparadigma, Prolog (Programmiersprache), Prototyping (Softwareentwicklung), Psychologie, Rechnertechnik, Robert Kowalski, Semantic Web, Soziologie, Technik, Tiefensuche, Unifikation (Logik), Wirtschaft, XSL Transformation.
Alain Colmerauer
Alain Marie Albert Colmerauer (* 24. Januar 1941 in Carcassonne, Okzitanien; † 12. Mai 2017 in Marseille, Provence-Alpes-Côte d’Azur) war ein französischer Informatiker.
Neu!!: Logische Programmierung und Alain Colmerauer · Mehr sehen »
Axiom
Ein Axiom (von griechisch ἀξίωμα axíoma, „Forderung; Wille; Beschluss; Grundsatz; philos. (...) Satz, der keines Beweises bedarf“, „Wertschätzung, Urteil, als wahr angenommener Grundsatz“) ist ein Grundsatz einer Theorie, einer Wissenschaft oder eines axiomatischen Systems, der innerhalb dieses Systems weder begründet noch deduktiv abgeleitet, sondern als Grundlage willentlich akzeptiert oder gesetzt wird.
Neu!!: Logische Programmierung und Axiom · Mehr sehen »
Backtracking
Backtracking arbeitet nach dem Prinzip der Tiefensuche Der Begriff Rücksetzverfahren oder englisch Backtracking (Rückverfolgung) bezeichnet eine Problemlösungsmethode innerhalb der Algorithmik.
Neu!!: Logische Programmierung und Backtracking · Mehr sehen »
CAD
Ein virtuelles Bauteil in einer Ansicht aus beliebiger Richtung (3D-CAD-Programm CATIA) CAD-Programm in der Bekleidungsindustrie 1986 CAD (von, zu Deutsch rechnerunterstütztes Konstruieren) bezeichnet die Unterstützung von konstruktiven Aufgaben mittels EDV zur Herstellung eines Produkts (Beispielsweise Auto, Flugzeug, Bauwerk, Kleidung).
Neu!!: Logische Programmierung und CAD · Mehr sehen »
Compilerbau
Compilerbau, deutsch Übersetzerbau, ist eine Disziplin der Informatik, die sich mit dem Entwurf und der Programmierung von Compilern, die einen Quelltext in einen Zielcode umsetzen, beschäftigt.
Neu!!: Logische Programmierung und Compilerbau · Mehr sehen »
Computer-aided manufacturing
WorkNC Dental Computer-aided manufacturing (CAM, dt. rechnerunterstützte Fertigung) bezeichnet die Verwendung einer von der CNC-Maschine unabhängigen Software zur Erstellung des NC-Codes und ist ein Teilaspekt der Fertigungstechnik bzw.
Neu!!: Logische Programmierung und Computer-aided manufacturing · Mehr sehen »
Computerlinguistik
Die Computerlinguistik (CL) oder linguistische Datenverarbeitung (LDV) untersucht, wie natürliche Sprache in Form von Text- oder Sprachdaten mit Hilfe des Computers algorithmisch verarbeitet werden kann.
Neu!!: Logische Programmierung und Computerlinguistik · Mehr sehen »
Computerspiel
Ein Computerspiel oder Videospiel ist ein elektronisches Spiel, das durch Interaktion mit einer Benutzeroberfläche visuelles Feedback auf einem Bildschirm, meist einem Fernsehgerät oder Computermonitor, generiert.
Neu!!: Logische Programmierung und Computerspiel · Mehr sehen »
Datenbank
Eine Datenbank, auch Datenbanksystem genannt, ist ein System zur elektronischen Datenverwaltung.
Neu!!: Logische Programmierung und Datenbank · Mehr sehen »
Deduktion
In einer klassischen Darstellung der empirischen Sozialwissenschaften bilden Deduktion, Induktion, Theorie und Empirie zentrale Begriffe. Laut dieser vereinfachenden Übersicht werden in der Empirie Daten erhoben, aus diesen per Induktion allgemeine Sätze (Theorie) gewonnen, aus der Theorie wiederum können per Deduktion Aussagen über Einzelfälle gewonnen werden. Die Deduktion (‚ Abführen, Fortführen, Ableitung), auch deduktive Methode oder deduktiver Schluss, ist der Prozess des Ziehens logisch zwingender Schlussfolgerungen.
Neu!!: Logische Programmierung und Deduktion · Mehr sehen »
Deklarative Programmierung
Die deklarative Programmierung ist ein Programmierparadigma, bei dem die Beschreibung des Problems im Vordergrund steht.
Neu!!: Logische Programmierung und Deklarative Programmierung · Mehr sehen »
Dokumentenmanagement
Der Begriff Dokumentenmanagement (auch Dokumentenverwaltungssystem) bezeichnet die datenbankgestützte Verwaltung elektronischer Dokumente.
Neu!!: Logische Programmierung und Dokumentenmanagement · Mehr sehen »
Expertensystem
Ein Expertensystem (XPS oder auch ES) ist ein Computerprogramm, das Menschen bei der Lösung komplexerer Probleme wie ein Experte unterstützen kann, indem es Handlungsempfehlungen aus einer Wissensbasis ableitet.
Neu!!: Logische Programmierung und Expertensystem · Mehr sehen »
Handel
Handel in Danzig (17. Jahrhundert) Als Handel wird die wirtschaftliche Tätigkeit des Austauschs von materiellen oder immateriellen Gütern (Handelsobjekten) zwischen Wirtschaftssubjekten von der Produktion bis zum Konsum oder einer anderweitigen Güterverwendung bezeichnet.
Neu!!: Logische Programmierung und Handel · Mehr sehen »
Imperative Programmierung
Imperative Programmierung (‚anordnen‘, ‚befehlen‘) ist ein Programmierparadigma, nach dem „ein Programm aus einer Folge von Anweisungen besteht, die vorgeben, in welcher Reihenfolge was vom Computer getan werden soll“.
Neu!!: Logische Programmierung und Imperative Programmierung · Mehr sehen »
Interpreter
Als Interpreter wird ein Computerprogramm bezeichnet, das eine Abfolge von Anweisungen anscheinend direkt ausführt, wobei das Format der Anweisungen vorgegeben ist.
Neu!!: Logische Programmierung und Interpreter · Mehr sehen »
Künstliche Intelligenz
Künstliche Intelligenz (KI), auch artifizielle Intelligenz (AI), englisch artificial intelligence, ist ein Teilgebiet der Informatik, es umfasst alle Anstrengungen, deren Ziel es ist, Maschinen intelligent zu machen.
Neu!!: Logische Programmierung und Künstliche Intelligenz · Mehr sehen »
Mathematik
Die Mathematik (bundesdeutsches Hochdeutsch:,; österreichisches Hochdeutsch:; mathēmatikē téchnē ‚die Kunst des Lernens‘) ist eine Formalwissenschaft, die aus der Untersuchung von geometrischen Figuren und dem Rechnen mit Zahlen entstand.
Neu!!: Logische Programmierung und Mathematik · Mehr sehen »
Mathematische Logik
Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik.
Neu!!: Logische Programmierung und Mathematische Logik · Mehr sehen »
Medizin
Asklepiosstab mit seiner gewundenen Schlange hält Die Medizin (von lateinisch medicina) ist die Wissenschaft der Vorbeugung, Erkennung und Behandlung von Krankheiten oder Verletzungen bei Menschen und Tieren.
Neu!!: Logische Programmierung und Medizin · Mehr sehen »
Naturwissenschaft
Unter dem Begriff Naturwissenschaft werden Wissenschaften zusammengefasst, die empirisch arbeiten und sich mit der Erforschung der Natur befassen.
Neu!!: Logische Programmierung und Naturwissenschaft · Mehr sehen »
Programmierparadigma
Ein Programmierparadigma ist ein fundamentaler Programmierstil.
Neu!!: Logische Programmierung und Programmierparadigma · Mehr sehen »
Prolog (Programmiersprache)
Prolog (vom Französischen: programmation en logique, dt.: „Programmieren in Logik“) ist eine Programmiersprache, die Anfang der 1970er-Jahre maßgeblich von dem französischen Informatiker Alain Colmerauer entwickelt wurde und ein deklaratives Programmieren ermöglicht.
Neu!!: Logische Programmierung und Prolog (Programmiersprache) · Mehr sehen »
Prototyping (Softwareentwicklung)
Prototyping bzw.
Neu!!: Logische Programmierung und Prototyping (Softwareentwicklung) · Mehr sehen »
Psychologie
Die Psychologie (von psȳchḗ für „Seele, Gemüt“, und λόγιος lógios für „Kunde, Wissenschaft“), deutsch auch Seelenkunde genannt, ist eine empirische Wissenschaft, deren Ziel es ist, menschliches Erleben und Verhalten, deren Entwicklung im Laufe des Lebens sowie alle dafür maßgeblichen inneren und äußeren Faktoren und Bedingungen sowie Verfahren zu ihrer Veränderung zu beschreiben und zu erklären.
Neu!!: Logische Programmierung und Psychologie · Mehr sehen »
Rechnertechnik
Integrierter Schaltkreis Die Rechnertechnik (auch Computertechnik) beschäftigt sich als technisches Fachgebiet mit der Konzeption von informationsverarbeitenden Anlagen, also Computern.
Neu!!: Logische Programmierung und Rechnertechnik · Mehr sehen »
Robert Kowalski
Robert Kowalski 2009 in Thailand Robert Anthony Kowalski (* 15. Mai 1941 in Bridgeport (Connecticut)) ist ein US-amerikanischer Informatiker und Logiker.
Neu!!: Logische Programmierung und Robert Kowalski · Mehr sehen »
Semantic Web
Das Semantic Web ist ein Konzept eines auf Maschinenlesbarkeit basierenden World Wide Web (Web 3.0).
Neu!!: Logische Programmierung und Semantic Web · Mehr sehen »
Soziologie
Soziologie (‚Gefährte‘ und -logie) ist eine Wissenschaft, die sich mit der empirischen und theoretischen Erforschung des sozialen Verhaltens befasst, also die Voraussetzungen, Abläufe und Folgen des Zusammenlebens von Menschen untersucht.
Neu!!: Logische Programmierung und Soziologie · Mehr sehen »
Technik
Das Wort Technik stammt von und leitet sich ab von τέχνη téchne, zu Deutsch etwa Kunst, Handwerk, Kunstfertigkeit.
Neu!!: Logische Programmierung und Technik · Mehr sehen »
Tiefensuche
Baum Tiefensuche (DFS) ist in der Informatik ein Verfahren zum Suchen von Knoten in einem Graphen.
Neu!!: Logische Programmierung und Tiefensuche · Mehr sehen »
Unifikation (Logik)
Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke.
Neu!!: Logische Programmierung und Unifikation (Logik) · Mehr sehen »
Wirtschaft
Wirtschaft oder Ökonomie ist die Gesamtheit aller Einrichtungen und Handlungen, die der planvollen Befriedigung der Bedürfnisse dienen.
Neu!!: Logische Programmierung und Wirtschaft · Mehr sehen »
XSL Transformation
XSL Transformation, kurz XSLT, ist eine Programmiersprache zur Transformation von XML-Dokumenten.
Neu!!: Logische Programmierung und XSL Transformation · Mehr sehen »
Leitet hier um:
Logic programming, Logikprogrammierung, Logische Programmiersprache, Regelbasierte Programmiersprache, Regelbasierte Programmierung.
