Публікація:
Математическое описание унарных конечных предикатов высших порядков

Проста сторінка документа
dc.contributor.authorШабанов-Кушнаренко, Ю. П.
dc.date.accessioned2020-02-05T11:19:23Z
dc.date.available2020-02-05T11:19:23Z
dc.date.issued1979
dc.description.abstractСредствами алгебры конечных предикатов описываются некоторые отношения и унарные предикаты порядков второго и выше. Рассматриваются примеры практического использования данного описания для решений и доказательства утверждений алгебры логики и алгебры множествuk_UA
dc.identifier.citationШабанов-Кушнаренко Ю. П. Математическое описание унарных конечных предикатов высших порядков / Ю. П. Шабанов-Кушнаренко // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1979. – Вып. 23. – С. 92—98.uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/10699
dc.language.isoruuk_UA
dc.publisherХГУ, «Вища школа»uk_UA
dc.subjectалгебра логикиuk_UA
dc.subjectалгебра множествuk_UA
dc.titleМатематическое описание унарных конечных предикатов высших порядковuk_UA
dc.typeArticleuk_UA
dspace.entity.typePublication

Файли

Оригінальний пакунок

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
PrBion_23_str_92_98.pdf
Розмір:
1.5 MB
Формат:
Adobe Portable Document Format
Завантажити

Пакунок ліцензії

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Проблемы бионики