Формальная семантика: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
4th-otaku (обсуждение | вклад) {{wikify}}{{ling-stub}}{{mathlogic-stub}}{{rq|checktranslate|sources|refless}}; уточн. перевод; викификация, Категория:Математическая логика |
Rasim (обсуждение | вклад) м шаблон |
||
Строка 1:
'''Формальная семантика''' — это изучение [[семантика|семантики]], или интерпретации, [[формальный язык|формальных]] и [[естественный язык|естественных языков]] путём их формального описания в математических терминах.
Строка 23 ⟶ 22 :
{{mathlogic-stub}}
{{ling-stub}}
{{rq|checktranslate|sources|refless|wikify}}
[[Категория:Математическая логика]]
|