Що значить формалізована мова - значення слів

Пошук значення / тлумачення слів

Розділ дуже простий у використанні. У запропоноване поле досить ввести потрібне слово, і ми вам видамо список його значень. Хочеться відзначити, що наш сайт надає дані з різних джерел - енциклопедичного, тлумачного, словообразовательного словників. Також тут можна познайомитися з прикладами вживання введеного вами слова.

Велика Радянська Енциклопедія

в широкому сенсі √ будь-яка сукупність деяким чином спеціалізованих мовних засобів з (більш-менш) точно фіксованими правилами утворення «виразів» (синтаксис Ф. я.) і приписування цим виразам певного сенсу (семантика). У такому вживанні термін «Ф. я. »не припускає, взагалі кажучи, ніяких спеціальних обмежень ні на синтаксичну структуру, ні на семантичні правила, ні на призначення такої мови. Наприклад, вирази «Н2О», «вода», «eau», «water», «Wasser», «vesi» і т.д. можна, в принципі, в рівній мірі вважати елементами «Ф. я. хімії ».

Під Ф. я. в логіці розуміють інтерпретоване числення. т. е. деяку формальну систему разом з її інтерпретацією. Використання Ф. я. √ характерна особливість математичної логіки. яку часто і визначають як «предмет формальної логіки, що вивчається за допомогою побудови формалізованих мов». Слід, утім, зазначити, що такого роду «визначення» аж ніяк не є невід'ємним атрибутом викладі математичної логіки: поняття Ф. я. не тільки не входить (як правило) в предметні логіко-математичні мови, але не є, строго кажучи, і елементом жодного конкретного метамови. будучи швидше зручним робочим терміном для попередніх евристичних пояснень предмету цієї науки.

Літ. Черч А. Введення в математичну логіку, пер. з англ. т. 1, М. 1960 Введення (╖╖ 00√09).

Транслітерація: formalizovannyiy yazyik
Задом наперед Новомосковскется як: кизя йиннавозіламроф
Формалізована мова складається з 19 букв

Схожі статті