Исследование функциональных отображений тернарного отношения с целью определения условий нормальной формы Бойса-Кодда
Published in: | Вестник Томского государственного университета № 293 : Серия "Информатика. Кибернетика. Математика". С. 140-142 |
---|---|
Main Author: | Бабанов, Алексей Михайлович |
Corporate Authors: | Томский государственный университет Факультет информатики Кафедра теоретических основ информатики, Томский государственный университет Факультет информатики Публикации студентов и аспирантов ФИнф |
Other Authors: | Магур, Павел Сергеевич |
Format: | Article |
Language: | Russian |
Subjects: | |
Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000392694 Перейти в каталог НБ ТГУ |
Similar Items
-
Расширение алгебры Кодда операциями с рекурсивными объектами
by: Говорушко, Вероника Валерьевна -
Теория семантически значимых отображений
by: Бабанов, Алексей Михайлович -
Формальная система теории семантически значимых отображений
by: Бабанов, Алексей Михайлович -
Развитие формальной системы теории семантически значимых отображений
by: Бабанов, Алексей Михайлович -
О кубической части алгебраической нормальной формы произвольной бент-функции
by: Кузьмина, Татьяна Андреевна