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].

Przypisy

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

Witaj

Uczę się języka hebrajskiego. Tutaj go sobie utrwalam.

Źródło

Zawartość tej strony pochodzi stąd.

Odsyłacze

Generator Margonem

Podziel się