German |
has gloss | deu: Eine Extension (engl. Erweiterung) ist in der Informatik, speziell im Bereich wissensbasierter Systeme, eine Menge von Beispielen, die ein (von einer Maschine zu erlernendes) Konzept erfüllen. Ein Konzept wird dabei als einstellige Funktion betrachtet, die für jedes gegebene Beispiel entscheidet, ob es zum Konzept gehört oder nicht. Die Menge aller Beispiele, die ein Konzept c erfüllt, heißt Extension von c. |
lexicalization | deu: Extension |
French |
has gloss | fra: Dans lenvironnement Firefox et Mozilla, entre autres, une extension est une série de commandes écrites et compressées en un seul fichier : elle est une sorte de liste de commandes se retrouvant directement incluses au programme. Ce terme est assez souvent (par erreur) confondu avec le plugin qui, lui, désigne un programme ; il ne faut pas non plus confondre avec le terme « extension de nom de fichier » désignant le format dun fichier. |
lexicalization | fra: Extension |
Russian |
has gloss | rus: Расширение в различном программном обеспечении (например: Mozilla Firefox, Google Chrome, OpenOffice.org) - подключаемый модуль к основному приложению, расширяющий (или наоборот уменьшающий его функциональность). Как правило, расширения распространяются в виде архивов с исходным кодом на скриптовом языке и/или языке разметки. Расширения могут также добавлять в программу поддержку дополнительных языков. |
lexicalization | rus: Расширение |