Расширенный поиск
Найдено 118 записей.
№ | Автор ▲ | Заглавие | Данные | Действия |
---|---|---|---|---|
1. | Акинин, Андрей Александрович | Разработка и программная реализация эффективных дискретных алгоритмов минимизации булевых функций в классе полиномиальных нормальных форм с фиксированной полярностью : автореферат дис. ... кандидата технических наук : 05.13.18 / Акинин Андрей Александрович; [Место защиты: Воронеж. гос. техн. ун-т] Количество страниц: 18 с. 9 13-4/2517 Электронный ресурс |
Воронеж, 2013 |
описание
загрузить в подборку |
2. | Акулов, Ярослав Викторович | О классах булевых функций, выразимых относительно расширенной суперпозиции : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Акулов Ярослав Викторович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 13 с. 9 15-2/675 Электронный ресурс |
Москва, 2015 |
описание
загрузить в подборку |
3. | Акулов, Ярослав Викторович | О классах булевых функций, выразимых относительно расширенной суперпозиции : диссертация ... кандидата физико-математических наук : 01.01.09 / Акулов Ярослав Викторович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 119 с. ил. 61 15-1/737 Электронный ресурс |
Москва, 2015 |
описание
загрузить в подборку |
4. | Андреев, Александр Андреевич | О сложности функций многозначной логики в некоторых неполных базисах : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Андреев Александр Андреевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 16 с. 9 17-1/120 Электронный ресурс |
Москва, 2016 |
описание
загрузить в подборку |
5. | Ашраф Абд Эль-Фаттах Мустафа Дарвиш | Расширение предикатных формул линейными неравенствами и списками для спецификации программ : автореферат дис. ... кандидата физико-математических наук : 05.13.17 / Санкт-Петербург гос. ун-т Количество страниц: 16 с. 9 06-2/2218-0 9 06-2/2219-9 Электронный ресурс |
Санкт-Петербург, 2006 |
описание
загрузить в подборку |
6. | Ашраф Абд Эль-Фаттах Мустафа Дарвиш | Расширение предикатных формул линейными неравенствами и списками для спецификации программ : диссертация ... кандидата физико-математических наук : 05.13.17 Количество страниц: 232 с. ил. 61 06-1/506 Электронный ресурс |
Санкт-Петербург, 2006 |
описание
загрузить в подборку |
7. | Баев, Владимир Валерьевич | Эффективные алгоритмы получения оценок алгебраической иммунности булевых функций : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Баев Владимир Валерьевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Фак. вычислит. математики и кибернетики] Количество страниц: 16 с. 9 08-1/443 Электронный ресурс |
Москва, 2008 |
описание
загрузить в подборку |
8. | Барсукова, Оксана Юрьевна | Синтез надежных схем, реализующих функции двухзначной и трехзначной логик : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Барсукова Оксана Юрьевна; [Место защиты: Казан. (Приволж.) федер. ун-т] Количество страниц: 18 с. 9 14-2/2823 Электронный ресурс |
Казань, 2014 |
описание
загрузить в подборку |
9. | Батуева, Цындыма Чимит-Доржиевна | Применение алгебраических методов в решении некоторых вопросов сложности комбинаторной теории слов и частично упорядоченных множеств : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Батуева Цындыма Чимит-Доржиевна; [Место защиты: Ин-т математики им. С.Л. Соболева СО РАН] Количество страниц: 23 с. 9 11-5/2323 Электронный ресурс |
Новосибирск, 2011 |
описание
загрузить в подборку |
10. | Батуева, Цындыма Чимит-Доржиевна | Применение алгебраических методов в решении некоторых вопросов сложности комбинаторной теории слов и частично упорядоченных множеств : диссертация ... кандидата физико-математических наук : 01.01.09 / Батуева Цындыма Чимит-Доржиевна; [Место защиты: Ин-т математики им. С.Л. Соболева СО РАН] Количество страниц: 88 с. ил. 61 12-1/146 Электронный ресурс |
Новосибирск, 2011 |
описание
загрузить в подборку |
11. | Беджанова, Светлана Руслановна | Тесты схем для некоторых классов булевых функций : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Беджанова Светлана Руслановна; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 12 с. 9 12-1/2519 Электронный ресурс |
Москва, 2011 |
описание
загрузить в подборку |
12. | Боков, Григорий Владимирович | Условия выразимости и полноты пропозициональных исчислений : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Боков Григорий Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.] Количество страниц: 18 с. 9 13-4/1351 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
13. | Боков, Григорий Владимирович | Условия выразимости и полноты пропозициональных исчислений : диссертация ... кандидата физико-математических наук : 01.01.09 / Боков Григорий Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.] Количество страниц: 91 с. 61 14-1/219 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
14. | Ботев, Антон Алексеевич | О свойствах корреляционно-иммунных функций с высокой нелинейностью : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак. Количество страниц: 14 с. 9 05-9/2363-1 9 05-9/2364-X Электронный ресурс |
Москва, 2005 |
описание
загрузить в подборку |
15. | Ботев, Антон Алексеевич | О свойствах корреляционно-иммунных функций с высокой нелинейностью : диссертация ... кандидата физико-математических наук : 01.01.09 Количество страниц: 79 с. 61 06-1/43 Электронный ресурс |
Москва, 2005 |
описание
загрузить в подборку |
16. | Буряков, Михаил Леонидович | Алгебраические, комбинаторные и криптографические свойства параметров аффинных ограничений булевых функций : автореферат дис. ... кандидата физико-математических наук : 05.13.19 / Буряков Михаил Леонидович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 13 с. 9 09-2/1345 Электронный ресурс |
Москва, 2009 |
описание
загрузить в подборку |
17. | Бухман, Антон Владимирович | Об алгоритмической сложности распознавания свойств дискретных функций, заданных полиномами : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Бухман Антон Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 16 с. 9 13-4/3335 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
18. | Герасимов, Александр Сергеевич | Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / С.-Петерб. гос. ун-т Количество страниц: 15 с. 9 07-2/2231 Электронный ресурс |
Санкт-Петербург, 2007 |
описание
загрузить в подборку |
19. | Гирш, Эдуард Алексеевич | Сложность пропозициональной логики : автореферат дис. ... доктора физико-математических наук : 01.01.06 / Гирш Эдуард Алексеевич; [Место защиты: С.-Петерб. гос. ун-т] Количество страниц: 31 с. 9 11-6/466 Электронный ресурс |
Санкт-Петербург, 2011 |
описание
загрузить в подборку |
20. | Горбунов, Игорь Анатольевич | Модальные квазинормальные логики без независимой аксиоматизации : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Ярослав. гос. ун-т им. П.Г. Демидова Количество страниц: 14 с. 9 06-10/1846-3 9 06-10/1847-1 Электронный ресурс |
Ярославль, 2006 |
описание
загрузить в подборку |