Расширенный поиск
Найдено 118 записей.
№ | Автор | Заглавие ▲ | Данные | Действия |
---|---|---|---|---|
1. | Кибкало, Мария Александровна | Автоматная сложность булевых функций из классов Поста : автореферат дис. ... кандидата физико-математических наук : 05.13.17 / Кибкало Мария Александровна; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.] Количество страниц: 22 с. 9 14-1/999 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
2. | Буряков, Михаил Леонидович | Алгебраические, комбинаторные и криптографические свойства параметров аффинных ограничений булевых функций : автореферат дис. ... кандидата физико-математических наук : 05.13.19 / Буряков Михаил Леонидович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 13 с. 9 09-2/1345 Электронный ресурс |
Москва, 2009 |
описание
загрузить в подборку |
3. | Хелемендик, Роман Викторович | Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Вычисл. центр ДВО РАН Количество страниц: 16 с. Электронный ресурс |
Москва, 2005 |
описание
загрузить в подборку |
4. | Хелемендик, Роман Викторович | Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение : диссертация ... кандидата физико-математических наук : 01.01.09 Количество страниц: 155 с. 61 05-1/880 Электронный ресурс |
Москва, 2005 |
описание
загрузить в подборку |
5. | Митрофанов, Иван Викторович | Алгоритмические проблемы, связанные с морфическими последовательностями : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Митрофанов Иван Викторович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 26 с. 9 17-1/62 Электронный ресурс |
Москва, 2016 |
описание
загрузить в подборку |
6. | Поцелуевская, Евгения Александровна | Алгоритмы поиска решения задачи об F-выполнимости, основанные на приближении булевых функций к классам Шефера : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Поцелуевская Евгения Александровна; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 17 с. Электронный ресурс |
Москва, 2012 |
описание
загрузить в подборку |
7. | Хадиев, Камиль Равилевич | Анализ сложности вычисления булевых функций ветвящимися программами с ограничениями : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Хадиев Камиль Равилевич; [Место защиты: Казан. (Приволж.) федер. ун-т] Количество страниц: 20 с. 9 15-1/532 Электронный ресурс |
Казань, 2015 |
описание
загрузить в подборку |
8. | Коломеец, Николай Александрович | Бент-функции, аффинные на подпространствах, и их метрические свойства : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Коломеец Николай Александрович; [Место защиты: Ин-т математики им. С.Л. Соболева СО РАН] Количество страниц: 16 с. 9 14-3/1671 Электронный ресурс |
Новосибирск, 2014 |
описание
загрузить в подборку |
9. | Стукачева, Марина Викторовна | Дизъюнктивное свойство и канонические формулы в классе расширений минимальной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Новосиб. гос. ун-т Количество страниц: 19 с. 9 06-9/3038-X 9 06-9/3039-8 Электронный ресурс |
Новосибирск, 2006 |
описание
загрузить в подборку |
10. | Юрасова, Екатерина Михайловна | Допустимые и выводимые правила вывода в нестандартных логиках : диссертация ... кандидата физико-математических наук : 01.01.06 Количество страниц: 103 с. 61 05-1/403 Электронный ресурс |
Красноярск, 2004 |
описание
загрузить в подборку |
11. | Юрасова, Екатерина Михайловна | Допустимые и выводимые правила вывода в нестандартных логиках : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Краснояр. гос. ун-т Количество страниц: 15 с. 9 04-13/2919-6 9 04-13/2920-X Электронный ресурс |
Красноярск, 2004 |
описание
загрузить в подборку |
12. | Ларионов, Виталий Борисович | Замкнутые классы k-значной логики, содержащие классы монотонных или самодвойственных функций : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Ларионов Виталий Борисович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 14 с. 9 10-6/905 Электронный ресурс |
Москва, 2010 |
описание
загрузить в подборку |
13. | Карпенко, Анастасия Валерьевна | Интерполяционные свойства в слабо тразитивных модальных логиках : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Карпенко Анастасия Валерьевна; [Место защиты: Ин-т математики им. С.Л. Соболева СО РАН] Количество страниц: 18 с. 9 10-5/1885 Электронный ресурс |
Новосибирск, 2010 |
описание
загрузить в подборку |
14. | Шамканов, Данияр Салкарбекович | Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Шамканов Данияр Салкарбекович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.] Количество страниц: 16 с. 9 12-3/95 Электронный ресурс |
Москва, 2012 |
описание
загрузить в подборку |
15. | Омаров, Рустам Рамазанович | Исследование криптографических параметров, близких к нелинейности, для булевых функций : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Омаров Рустам Рамазанович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 12 с. 9 13-2/552 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
16. | Кузнецов, Степан Львович | Категориальные грамматики, основанные на вариантах исчисления Ламбека : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Кузнецов Степан Львович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 12 с. 9 12-3/2689 Электронный ресурс |
Москва, 2012 |
описание
загрузить в подборку |
17. | Смышляев, Станислав Витальевич | Комбинаторные свойства совершенно уравновешенных булевых функций : автореферат дис. ... кандидата физико-математических наук : 05.13.19 / Смышляев Станислав Витальевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 19 с. 9 12-6/348 Электронный ресурс |
Москва, 2012 |
описание
загрузить в подборку |
18. | Дробышевич, Сергей Андреевич | Логика Гейтинга - Оккама и негативные модальности : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Дробышевич Сергей Андреевич; [Место защиты: Ин-т математики им. С.Л. Соболева СО РАН] Количество страниц: 15 с. 9 13-4/881 Электронный ресурс |
Новосибирск, 2013 |
описание
загрузить в подборку |
19. | Корнышов, Александр Николаевич | Математическое моделирование процесса анализа близости предикатов семантических отношений : автореферат дис. ... кандидата технических наук : 05.13.18 / Корнышов Александр Николаевич; [Место защиты: Новгород. гос. ун-т им. Ярослава Мудрого] Количество страниц: 19 с. 9 07-4/3551 Электронный ресурс |
Великий Новгород, 2007 |
описание
загрузить в подборку |
20. | Золотин, Андрей Алексеевич | Матрично-векторные уравнения локального апостериорного вывода в алгебраических байесовских сетях : автореферат дис. ... кандидата физико-математических наук : 05.13.17 / Золотин Андрей Алексеевич; [Место защиты: С.-Петерб. гос. ун-т] Количество страниц: 16 с. 9 18-1/255 Электронный ресурс |
Санкт-Петербург, 2018 |
описание
загрузить в подборку |