Programmiersprachen

<== Assembler

<== Compiler

<== Maschinensprache

<=> Datenstruktur

==> Baum

<=> Datentyp

==> Datenabstraktion

==> Liste

<== Assoziationsliste

==> Warteschlange

<== Interpreter

<== Kontrollstruktur

<== LISP

<== Scheme

==> Logikprogrammierung

<== LOGO

<=> Programm

==> Software Engineering

==> Systemevaluation

<=> Programmieren, objektorientiertes

==> Klasse

==> Message-passing

<== Smalltalk

<=> Prolog

<=> Prozedur

==> prozedural

<== Informatik

==> Automat

<=> Algorithmus

==> Lambda-Kalkül

==> Turing-Maschine

==> Vererbung

<== Künstliche Intelligenz, KI

==> Theorembeweiser

==> Instanz

==> Negation

==> Prädikatenlogik

==> Horn-Klausel

<== Künstliche Intelligenz, Geschichte der

<== Architektur von KI-Systemen

<=> Rechnerarchitektur

<== Betriebssystem

<== Computer, universeller

<== Computergeneration

==> Arbeitsspeicher

<== Inferenzverfahren

<== Planen

<== Expertensystem

<== Dämon

==> Produktionensystem

==> Frame

==> Regel

==> Regelbasis

==> Rückwärtsverkettung

==> Vorwärtsverkettung

<== Wissensebene

<=> Programmieren

==> Pragmatik

<== Sprache, natürliche

<== Parsing natürlicher Sprache

<== Übergangsnetzwerk, erweitertes

==> Sprache, formale

==> Entscheidbarkeit

<=> Termersetzungssystem

==> Grammatik, formale

==> Syntax

==> Term

==> Abgeschlossenheitsannahme

==> Semantik

<== Formalisierung