 |
|
Реклама на сайте |
|
Лысьва.Изделия трикотажные. |
|
|
Производство спирт этиловый в Смоленской области, пиломатериалы в Тюмени, предприятия МАШИНОСТРОЕНИЕ, агрегаты для дизелей в Алтайском крае, Производство уборы головные из натуральных мехов по регионам, ЦВЕТНАЯ МЕТАЛЛУРГИЯ в Заполярном, ванны чугунные в Центральный федеральный округ, ЛЕГКАЯ ПРОМЫШЛЕННОСТЬ предприятия в Курске, Производство пальто в Москве, Новосибирская область предприятия, МАСЛОСЫРОДЕЛЬНАЯ ПРОМЫШЛЕННОСТЬ в Северо-Западный федеральный округ, металлоконструкции сварные, Производство переработка металлолома в Центральный федеральный округ, предприятия Фокино, ПРОИЗВОДСТВО СТРОИТЕЛЬНЫХ МАТЕРИАЛОВ в Брянской области А знаете ли Вы, что... Из Большой Советской Энциклопедии. Формализованный язык, 1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис Ф. я.) и приписывания этим выражениям определённого смысла (семантика). В таком употреблении термин «Ф. я.» не предполагает, вообще говоря, никаких специальных ограничений ни на синтаксическую структуру, ни на семантические правила, ни на назначение такого языка. Например, выражения «Н2О», «вода», «eau», «water», «Wasser», «vesi» и т.д. можно, в принципе, в равной мере считать элементами «Ф. я. химии». 2) Под Ф. я. в логике понимают интерпретированное исчисление, т. е. некоторую формальную систему вместе с её интерпретацией. Использование Ф. я. – характерная особенность математической логики, которую часто и определяют как «предмет формальной логики, изучаемый посредством построения формализованных языков». Следует, впрочем, заметить, что такого рода «оп |
|