Формализиран език - това

1) в най-широкия смисъл на думата - всяко събиране по някакъв начин специализираните езикови ресурси с (повече или по-малко), точно фиксирани правила за формиране на "изрази" (синтаксис F. I) и предоставянето на тези изрази с определен смисъл (семантика) .. Тази употреба на термина "Е. Аз съм. ", Не означава, по принцип, не конкретно ограничение на синтаксиса или семантиката, или назначаването на такъв език. Например, изразът "Н2 О", "вода", "Вода", "вода", "Wasser», «Веси» т.н. може, по принцип, също толкова смятат за "елементи F. аз. химия. "

2) В рамките на Е. I. да се разбере логиката на тълкува смятане, т. е. някои официална система, заедно с неговото тълкуване (вж. разяснение). Използването на Е. И. - (. Вижте Logic) характерна черта на математическата логика, която често се определя като "предмет на формалната логика, проучени от изграждането на официални езици". Следва обаче да се отбележи, че подобни "дефиниции" в никакъв случай не означава, основен атрибут на представяне на математическата логика: на концепция Ф. И. включва не само (обикновено) съществена логично-математически език, но не е, строго погледнато, няма конкретен елемент на метаезик като по-удобно термин работа за предварителен обект евристичен обяснение на тази наука.

Lit:. А. Църква Въведение в математическата логика, транс. от английски език. Vol. 1, М. 1960 Въведение (§§ 00-09).

Голяма съветска енциклопедия. - М. съветски енциклопедия. 1969-1978.

Вижте какво "формално език" в други речници:

формализиран език - формален език изкуствен език на логиката за възпроизвеждане на логическата форма на естествени езикови контексти, както и прояви на логическите закони и начини за правилните аргументи в логически теории, построена през ... ... Енциклопедия на епистемологията и философията на науката

Формализиран език - 1) В най-широкия смисъл - всяко настроен по определен начин око специализиран език означава (повече или по-малко) е фиксиран точно. правила за образуване на изразяване (с п и m А до С и Е. I.) и разпределението на тези изрази се определя. смисъл (с д т а п т ... Енциклопедия на философия

Формализиран език - В най-широкия смисъл, всяко събиране по някакъв начин, специализирана езикови ресурси с (повече или по-малко) точно фиксирани правила за формиране на "изрази" (формален синтаксис) и предоставянето на тези изрази с определен ... ... Wikipedia

Формализиран език - изкуствен език, за ветното е точно формално определение за този клас на езиковите изрази и достатъчно строги обяснение на значението или смисъла на тези изрази. Обикновено експресионната Е. I. представляват официална комбинация от началните букви, ... ... Математическа Енциклопедия

ЕЗИК на придружаващите документи - (YazED) символичен формален език, предназначена да опише дейността на операторите и поддръжка сграда функционални схеми. Проектиран Yu. Г. Fokinym 70 те години. първоначално като език за описване на оперативните действия, а по-късно ... Енциклопедичен речник по психология и педагогика

език - и. В исторически план, установен в обществото и развитието на звук (говор), а след това и графичен (писмо) знак, че системата може да изразява съвкупността от понятия и мислите на един човек и е предназначен предимно за целите на комуникацията ... ... Обучение речник стилистични термини

Език на културата - съвкупност от културни ценности, има вътрешна структура (стабилност на сложните връзки, които са инвариантни при всички трансформации), изрични (формализиран) или имплицитни правила за образование, размисъл и да го използвате ... ... Енциклопедия Културология

Целевият език - ЕЗИК ПРЕДМЕТ концепцията на модерната логика, математика, философия и методология на науката, семиотика и теоретични езикознание, което показва всеки език (естествени, изкуствени, които не са формализирани, формализиран), елементите и структурата на който ... Философски енциклопедия

алгоритмичен език - формален език за недвусмислено запис на алгоритми. Тя се състои от набор от символи (азбука), синтаксис и семантични дефиниции. Той е в основата на езиците за програмиране. * * * Алгоритмичната език алгоритмичен език ... ... академично издание на речника