Какво означава формално език - значението на думите

Търсене ценности / думи на тълкуване

Раздел е много лесен за използване. Кутията за предложение е достатъчно, за да въведете думата, която искате, и ние ще ви издаде списък на нейните ценности. Искам да отбележа, че нашият сайт предоставя данни от различни източници - енциклопедични, разумно, словообразуване речници. Тук можете да се запознаете с примери за използването на въведените от вас думи.

енциклопедия

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

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

Литература А. Църква Въведение в математическата логика, транс. от английски език. Vol. 1, М. 1960 Въведение (╖╖ 00√09).

Транслитерация: formalizovannyiy yazyik
Обратна гласи: kyzya yynnavozilamrof
Официално език се състои от 19 букви