In der Informatik ist ein Baum einen Datenstruktur, die der Struktur eines (biologischen) Baumes nachempfunden ist, der sich ausgehend vom Stamm immer weiter verzweigt. Ein Baum besteht aus Knoten, die untereinander hierarchisch verbunden sind. Jeder Knoten kann so einen sog. Elternknoten und hat entweder keinen, einen oder mehrere Kindknoten. Weisst ein Knoten keinen Elternknoten auf, so spricht man auch vom Wurzelknoten des Baumes, im umgekehrten Fall, wenn ein Knoten keine Kinder hat, spricht man von einem Blattknoten. Knoten, die weder Wurzel noch Blatt sind, sind innere Knoten. Das maximale Anzahl der Kindknoten eines Baumes ist die Ordnung. Die Anzahl der Knoten, die man von der Wurzel aus durchwandern muss, bis man einen Blattknoten erreicht, ist die Höhe dieses Astes.

Graphentheoretisch betrachtet ist ein Baum ein zusammenhaengender, gerichteter nicht-zyklischer Graph, mehr dazu siehe: Wälder und Bäume in der Graphentheorie.

Donald E. Knuth definiert einen Baum rekursiv: Ein Baum ist eine Menge T, die aus einem oder mehreren Knoten besteht, sodass

1. ein spezieller Knoten existiert, der die Wurzel genannt wird,
2. die verbleibenden Knoten in disjunkte Mengen aufgeteilt werden, die jeweils wiederum Bäume sind.