Структури. Категорії. Універсальні алгебри. Булеві кільця та алгебри
Документи:
- Алгебраїчні аспекти інформаційних технологій [Текст] / І.В. Сергієнко, С.Л. Кривий, О.І. Провотар ; М-во освіти і науки, молоді та спорту України, НАН України, Київ. нац. ун-т ім. Тараса Шевченка, Ін-т кібернетики ім. В.М. Глушкова НАН України. — Київ : Наукова думка, 2011. — 399, [1] с. : іл., табл.
- Алгебра логики и логические элементы [Текст] : методическое пособие к лабораторной работе / Московский энергетический институт. — Москва, 2004.
- Алгебры Менгера многоместных функций [Текст] / В.А. Дудек, В.С. Трохименко. — Chisinau : USM, 2005. — 237с.
- Амальгамовані об"єднання граток і гратки нормальних дільників у вінцевих добутках [Текст] / Одрібець С.П.; КНУТШ. — Київ, 2001. — 16с.
- Булева алгебра и конечные автоматы [Текст] = Algebre de boole et machines logiques : сборник статей / перевод с франц.: Бабичевой Е. В. ; под ред.: Пархоменко П. П. — Москва : Мир, 1969. — 294 с. : черт.
- Булева структура и ее модели. [Текст] / И.М. Яглом. — М., 1980. — 193с.
- Булевы алгебры [Текст] / Д.А. Владимиров. — Москва : Наука, 1969. — 318с.
- Булевы алгебры [Текст] / Р. Сикорский. — Москва : Мир, 1969. — 376с.
- Відносно вільні тріоїди [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.01.06 / Жучок Юлія Володимирівна ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2016. — 20 с.
- Відносно вільні тріоїди [Текст] : дис. ... канд. фіз.-мат. наук : 01.01.06 / Жучок Юлія Володимирівна ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2016. — 151 арк.
- Двоичная булева алгебра и ее приложения [Текст] / А.Е. Либер. — Саратов, 1966. — 80 с.
- Элементы компьютерной алгебры [Текст] : учебное пособие / Е.В. Панкратьев. — Москва : Интернет-Университет Информационных технологий ; БИНОМ. Лаборатория знаний, 2007. — 248 с.
- Элементы теории структур [Текст] / Лев Скорняков. — 2-е изд., перераб. и доп. — Москва : Наука, 1982. — 160 с. : ил.
- Энгелевы алгебры Мальцева [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 01.01.03 / Филиппов Валерий Терентьевич ; АН СССР, СО, Специализир. совет Д02.23.01 при Ин-те математики. — Новосибирск, 1977. — 10 с.
- Категорні методи в теорії зображень [Текст] : Автореф. дис. ...д-ра фіз.-мат. наук: Спец. 01.04.05 / Сергій Адамович Овсієнко; КНУТШ. — Київ, 2006. — 32с.
- Квадратовні алгебри Хопфа та модулярний функтор [Текст] : Автореф...док.фіз.-мат.наук:01.01.06 / Любашенко В.В.;КНУТШ. — Київ, 2000. — 32с.
- Коммутативные колчаны ручного типа [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Шкабара Александр Сергеевич ; КГУ им. Тараса Шевченко. — Киев, 1981. — 14 с.
- Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці [Текст] : Автореф. дис. ... канд. фіз.-мат. наук: 01.05.01 / Ченцов О.І.; КНУТШ. — Київ, 2007. — 15с.
- Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці [Текст] : Дис. ... канд. фіз.-мат. наук. Спец. 01.05.01 - теоретичні основи інформатики та кібернетики / Ченцов О.І.; КНУТШ. — Київ, 2007. — 118с.
- Напівгрупи ендоморфізмів алгебраїчних систем [Текст] : дис. ... д-ра фіз.-мат. наук : 01.01.06 / Жучок Юрій Володимирович ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2016. — 323 арк.
- Нематричные многообразия ассоциативных алгебр [Текст] : Автореф... докт. физ. мат.наук: 01.01.03 / Латышев В. Н.; МГУ. — М., 1977. — 14л.
- О свободных алгебрах типа (--1,1). [Текст] : Автореф... канд.физ-мат.наук: 01.01.03 / Пчелинцев С.В.; Ан СССР.Сиб.отдел. — Новосибирск, 1977. — 10л.
- Основы теории категорий [Текст] / М.Ш. Цаленко, Е.Г. Шульгейфер. — М., 1974. — 256с.
- Представления квантовых и симплектических алгебр, базисные гипергеометрические функции и q-дифференциальные уравнения [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 01.01.02 / Гроза Валентина Анатольевна; КГУ им. Тараса Шевченко. — Киев, 1991. — 13 с.
- Представления сплетенных q-бирешеток [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Давидова Диана Сергеевна ; Ереван. гос. ун-т. — Ереван, 2012. — 15 с.
- Примитивные программные алгебры [Текст] : Дис... канд. физ.-мат.наук: 01.01.09 / Буй Д. Б.; КГУ им. Т. Шевченко. — Київ, 1984. — 150 л.
- Сигма-алгебры, связанные со случайными процессами. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.05 / Черкашин Е.В.; Мв и ССО УССР. КГУ им. Т.Г.Шевченко. — К., 1986. — 22л.
- Сигма-алгебры, связанные со случайными процессами [Текст] : Дис... канд. физ.-мат.наук: 01.0.05 / Черкашин Евгений Владимирович; МВ и ССО УССР. КГУ. — К., 1986. — 112л.
- Структуры данных для персональных ЭВМ [Текст] / Й. Лэнгсам. — М., 1989. — 567с.
- Теорія мультимножин та її застосування [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Богатирьова Ю.О. ; КНУТШ. — Київ, 2011. — 20 с.
- Теорія мультимножин та її застосування [Текст] : дис. ... канд. фіз.- мат. наук : 01.05.03 / Богатирьова Ю.О. ; КНУТШ. — Київ, 2011. — 113 л.
- Тождественные преобразования в алгебрах недетерминированных алгоритмов [Текст] : Автореф... канд. физ.-мат.наук: 01.01.09 / Ющенко Юрий Алексеевич; КГУ. — К., 1983. — 22с.
- Универсальная алгебра [Текст] = Universal Algebra : монография / перевод с англ.: Баранович Т. М.; под ред.: Куроша А. Г. — Москва : Мир, 1968. — 351 с.
- Формалізація моделі "сутність-зв"язок": типи сутностей, типи зв"язків та їх обмеження [Текст] : автореф. ... канд. фіз-мат. наук : 01.05.03 / Сільвейструк Л.М. ; КНУТШ. — Київ, 2009. — 19 с.
- Формалізація моделі "cутність-зв"язок": типи сутностей, типи зв"язків та їх обмеження [Текст] : Дис. ... канд. фізико-математичних наук. Спец. 01.05.03 - математичне та програмне забезпечення обчислювальних машин і систем / Сільвейструк Л.М. ; КНУТШ. — Киев, 2009. — 173л. + Додатки : л.142-173.
- A polynomial characterization of nondistribute modular lattices [Текст] / Jozef Dudek. — Wroclaw, 1985. — 32с.
- Category theory and computer science. Manchester, UK, September 5-8, 1989: Proceedings [Текст] / D.H. Pitt, D.E. Rydeheard a.o. — Berlin a.o., 1989. — 365с.
- Grundzuge der Universellen Algebra [Текст] / H. Lugowski, H.J. Weinert. — Leipzig : Teubner, 1976. — 240 S.
- Mobius Functions, Incidence Algebras and Power Series Representations [Текст] / Arne Dur. — Berlin : Springer-Verlag, 1986. — 134 p.
- On ideals of subsets of the plane and on Cohen reals [Текст] / Jacek Cichon, Janusz Pawlikowski. — Wroclaw, 1985. — 22 p.
- Partially monadic functors [Текст] / Uniwers. M. Kopernika. — Torun, 1989. — 164 s.
- Polynomially infinite varieties of algebras 1 [Текст] / Jozef Dudek. — Wroclaw, 1985. — 10 s.
- Probability theory on Boclean algebras of events [Текст] / Octav Onicescu, I. Cuculescu. — Bucuresti : Ed. Acad. RSR, 1976. — 185p.
- Proceedings of the Symposium n-Ary structures [Текст]. — Scopje : Makedonian Academy of scieces and arts, 1982. — 287p.
- Seminar of models, structures and information processing [Текст]. — Cluj-Napoca : Iniver. Cluj-Napoca, 1984. — 127p.
- Theory of categories [Текст] / H. Popescu. — Bucuresti : Acad.; Sijthoff&Noordhoff; Intern. publ., 1979. — 336 p.
- Ungewohnliche Algebra [Текст] / J.M. Jaglom. — Moskau : Mir, 1976. — 94 S. : Abb.
|
