Otwórz menu główne

Język sformalizowany

strona ujednoznaczniająca
To jest strona ujednoznaczniająca. Poniżej znajdują się różne znaczenia hasła: Język sformalizowany.

Pojęcie występujące w językoznawstwie i logice:

  • Język sformalizowany – w językoznawstwie język, dla którego zostały spisane zasób terminów (słownik) i składnia logiczna.
  • Język sformalizowany - w logice język spełniający określone postulaty efektywności, odwołujący się wyłącznie do formy, rozumiany jako dowolny niepusty zbiór skończonych ciągów, dający możliwość określenia np. prawdy zgodnie z konwencją Tarskiego[1].

PrzypisyEdytuj

  1. Formalized language [w:] Encyclopedia of Mathematics [online], encyclopediaofmath.org [dostęp 2018-11-03] (ang.).