Extension und Intension
Erscheinungsbild
Extension ist ein Fremdwort aus dem Lateinischen und Englischen mit der Bedeutung Ausdehnung oder Erweiterung.
Spezielle Bedeutungen:
- bei einigen Betriebssystemen bedeutet Extension die Dateiendung am Ende eines Dateinamens, die über die Art der Datei Auskunft gibt. Dabei muss nicht jeder Dateiname eine entsprechende Endung haben. Während bei einigen Systemen die Extension direkt den Typ der Datei festlegt (Ausführbare Programme unter Windows), stellen diese in vielen anderen Fällen nur eine Konvention dar. Einige Betriebssysteme (wie z.B. AmigaOS) haben andere Konzepte zur Angabe eines Dateityps entwickelt als Dateinamensendungen.
- Beispiel: name.txt als Kennzeichnung einer einfachen Textdatei
- Links zu Dateiendungen
- siehe auch: Liste der Dateiformate
- In der Medizin versteht man unter Extension eine Zugvorrichtung, die die Bruchenden bei einem Knochenbruch auseinanderzieht.
- In der Philosophie den Umfang eines Begriffes im Gegensatz zur Intension