Формализация и проблема адекватности знаковых систем предметной области

Ляшенко, Д. Н.; Ляшенко, Д. М.; Lyashenko, D. N.

ІРОНМедУ
→
Матеріали кафедри
→
Кафедра філософії, біоетики та іноземних мов
→
Наукові статті. Кафедра філософії, біоетики та іноземних мов
→
Перегляд матеріалів

dc.contributor.author	Ляшенко, Д. Н.	ru
dc.contributor.author	Ляшенко, Д. М.	ua
dc.contributor.author	Lyashenko, D. N.	en
dc.date.accessioned	2020-04-24T06:41:53Z
dc.date.available	2020-04-24T06:41:53Z
dc.date.issued	2014
dc.identifier.citation	Ляшенко Д. Н. Формализация и проблема адекватности знаковых систем предметной области / Д. Н. Ляшенко // Молодий вчений. – 2014. – № 6. – С. 198–201.	ru
dc.identifier.uri	https://repo.odmu.edu.ua:443/xmlui/handle/123456789/6970
dc.description.abstract	В статье исследуется методологическая сущность формализации. Показана важность экспликации критериев соответствия формальных знаковых систем некоторой предметной области. Проанализированы на адекватность друг другу логические формализованные языки: язык логики предикатов и язык тернарного описания.	ru
dc.description.abstract	У статті досліджується методологічна сутність формалізації. Показана важливість експлікації критеріїв відповідності формальних знакових систем деякій предметній області. Проаналізовані на адекватність одна одній логічні формалізовані мови: мова логіки предикатів та мова тернарного опису.	uk_UA
dc.description.abstract	The article is devoted to the methodological investigation of the essence of formalization. It is shown the importance of investigation of the criteria of adequacy of means of formalization to the subject matter of formalization. The formalized logical languages of predicate logic and of ternary description language have been analyzed on the adequacy to each other.	en
dc.language.iso	ru	en
dc.subject	формализация	ru
dc.subject	адекватность	ru
dc.subject	логика предикатов	ru
dc.subject	язык тернарного описания	ru
dc.subject	формалізація	uk_UA
dc.subject	адекватність	uk_UA
dc.subject	логіка предикатів	uk_UA
dc.subject	мова тернарного опису	uk_UA
dc.subject	formalization	en
dc.subject	adequacy	en
dc.subject	predicate logic	en
dc.subject	ternary description language	en
dc.title	Формализация и проблема адекватности знаковых систем предметной области	ru
dc.title.alternative	Формалізація і проблема адекватності знакових систем предметної області	uk_UA
dc.title.alternative	Formalization and a problem of adequacy of sign systems to a universe of discurse	en
dc.type	Article	en