SŁOWNIK

Nazwa definicji: 
SŁOWNIK
Treść wpisu: 

"(zasób leksykalny; ang. vocabulary). Słownikiem języka J jest spis wszystkich wyrażeń prostych (tj. takich, że żadna część wyrażenia nie jest wyrażeniem), zarówno stałych, jak i zmiennych. Mając ponadto dane reguły konstruowania wyrażeń, można z jego elementów utworzyć dowolnie wiele nowych wyrażeń danego języka.(...)."

Rodzaj słownika: 
Słownik Terminów Encyklopedycznych
Źródło definicji (papierowe): 
Witold Marciszewski (red.), Mała Encyklopedia Logiki,Ossolineum, 1970, s.268.
Dodane przez: 
Węzeł centralny