Формальный язык: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Xansoi (обсуждение | вклад) м орфография |
|||
Строка 1:
{{не путать|Функциональные стили речи|формальным стилем речи}}
[[Файл:Formal languages-ru.svg|thumb|Синтаксическое подразделение в рамках формальной системы.]]
'''Формальный [[язык]]''' в [[математическая логика|математической
В [[теория моделей|теории моделей]] '''язык''' строится из множеств символов, [[Функция (математика)|функций]] и [[Отношение (теория множеств)|отношений]] вместе с их [[арность]]ю, а также множества [[Переменная величина|переменных]]. Каждое из этих множеств может быть бесконечным. Из языка вместе с [[Исчисление высказываний|универсальными логическими символами]] составляются логические высказывания.
| |||