укр
рус
eng
Головна сторінка
Електронний каталог
Опис документа
Шкільняк С. С.
Відношення логічного наслідку в логіках квазіарних предикатів
Вид документа:
Стаття періодики
Автор:
Шкільняк С. С.
Вид автора:
персона
Мова:
Українська
Обсяг:
С. 29-43
Шифр:
004.42+510.69
УДК:
004.42+510.69
Аннотацiя:
Вивчаються відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів.
Є складовою частиною документа:
Проблеми програмування
Відомості щодо головного
Назва головного документа
:
Проблеми програмування
Дата видання головного документа
:
2016
Номер частини головного документа
:
№ 1
Теми документа
Ключові слова/ Л/ Ло/ логіка, логика, logic
УДК/ 5 Математика. Природничi науки/ 51 Математика/ 510 Фундаментальні та загальні питання математики/ 510.6 Математична логіка
УДК/ 0 Загальний вiддiл/ 00 Загальнi питання науки i культури/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера/ 004.4 Програмне забезпечення/ 004.42 Програмування комп'ютерів. Комп'ютерні програми
БД Корпорація ВНЗ/ Теоретичні та методологічні основи програмування
БД Корпорація ВНЗ/ квазіарні предикати, квазиарные предикаты
БД Корпорація ВНЗ/ предикат, предикат
БД Корпорація ВНЗ/ Проблеми програмування № 1-2016
Інформаційно-пошукова система
'УФД/Бібліотека'