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

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

Szamba betonowe Bielawa ts2 space TS2 SPACE ts2 satellite moje fajne i ciekawe wpisy blogi ww ciekawe informacje i wiadomości kancelaria adwokacka Częstochowa

Podziel się