Расширенный поиск
Найдено 118 записей.
№ | Автор ▼ | Заглавие | Данные | Действия |
---|---|---|---|---|
1. | Яшунский, Алексей Дмитриевич | О вероятностях значений случайных булевых выражений : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Моск. гос. ун-т им. М.В. Ломоносова Количество страниц: 13 с. 9 07-1/2323 Электронный ресурс |
Москва, 2006 |
описание
загрузить в подборку |
2. | Юрасова, Екатерина Михайловна | Допустимые и выводимые правила вывода в нестандартных логиках : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Краснояр. гос. ун-т Количество страниц: 15 с. 9 04-13/2919-6 9 04-13/2920-X Электронный ресурс |
Красноярск, 2004 |
описание
загрузить в подборку |
3. | Юрасова, Екатерина Михайловна | Допустимые и выводимые правила вывода в нестандартных логиках : диссертация ... кандидата физико-математических наук : 01.01.06 Количество страниц: 103 с. 61 05-1/403 Электронный ресурс |
Красноярск, 2004 |
описание
загрузить в подборку |
4. | Шуплецов, Михаил Сергеевич | Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Шуплецов Михаил Сергеевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 16 с. 9 11-2/3359 Электронный ресурс |
Москва, 2011 |
описание
загрузить в подборку |
5. | Шиян, Тарас Александрович | Структурные описания множеств формальных теорий : на материале формальных силлогистик : автореферат дис. ... кандидата философских наук : 09.00.07 / Шиян Тарас Александрович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 19 с. 9 08-5/1826 Электронный ресурс |
Москва, 2008 |
описание
загрузить в подборку |
6. | Шамканов, Данияр Салкарбекович | Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Шамканов Данияр Салкарбекович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.] Количество страниц: 16 с. 9 12-3/95 Электронный ресурс |
Москва, 2012 |
описание
загрузить в подборку |
7. | Шабанин, Олег Васильевич | Сложностные параметры двоичных пороговых функций : диссертация ... кандидата физико-математических наук : 01.01.09 Количество страниц: 70 с. 61 02-1/204-1 Электронный ресурс |
Москва, 2000 |
описание
загрузить в подборку |
8. | Чухров, Игорь Петрович | Экстремальные комплексы граней в единичном кубе : автореферат дис. ... доктора физико-математических наук : 01.01.09 / Чухров Игорь Петрович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 34 с. 9 13-3/1845 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
9. | Чухров, Игорь Петрович | Экстремальные комплексы граней в единичном кубе : диссертация ... доктора физико-математических наук : 01.01.09 / Чухров Игорь Петрович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 189 с. ил. 71 14-1/24 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
10. | Чернятьев, Александр Леонидович | Нормальные базисы и символическая динамика : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Чернятьев Александр Леонидович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 16 с. 9 08-3/3825 Электронный ресурс |
Москва, 2008 |
описание
загрузить в подборку |
11. | Хелемендик, Роман Викторович | Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение : диссертация ... кандидата физико-математических наук : 01.01.09 Количество страниц: 155 с. 61 05-1/880 Электронный ресурс |
Москва, 2005 |
описание
загрузить в подборку |
12. | Хелемендик, Роман Викторович | Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Вычисл. центр ДВО РАН Количество страниц: 16 с. Электронный ресурс |
Москва, 2005 |
описание
загрузить в подборку |
13. | Халявин, Андрей Вячеславович | О построении и оценках характеристик корреляционно-иммунных булевых функций и смежных комбинаторных объектов : автореферат дис. ... кандидата физико-математических наук : 05.13.19 / Халявин Андрей Вячеславович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.] Количество страниц: 17 с. 9 11-6/2774 Электронный ресурс |
Москва, 2011 |
описание
загрузить в подборку |
14. | Хадиев, Камиль Равилевич | Анализ сложности вычисления булевых функций ветвящимися программами с ограничениями : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Хадиев Камиль Равилевич; [Место защиты: Казан. (Приволж.) федер. ун-т] Количество страниц: 20 с. 9 15-1/532 Электронный ресурс |
Казань, 2015 |
описание
загрузить в подборку |
15. | Федорова, Валентина Сергеевна | Системы функциональных уравнений многозначной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Федорова Валентина Сергеевна; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Фак. вычислит. математики и кибернетики] Количество страниц: 14 с. 9 10-6/1774 Электронный ресурс |
Москва, 2010 |
описание
загрузить в подборку |
16. | Трущин, Дмитрий Владимирович | О сложности реализации функций многозначной логики формулами специального вида : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Трущин Дмитрий Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 11 с. 9 12-5/3505 Электронный ресурс |
Москва, 2012 |
описание
загрузить в подборку |
17. | Токарева, Наталья Николаевна | Сильно нелинейные булевы функции: бент-функции и их обобщения : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Токарева Наталья Николаевна; [Место защиты: Ин-т математики им. С.Л. Соболева СО РАН] Количество страниц: 23 с. 9 08-4/2292 Электронный ресурс |
Новосибирск, 2008 |
описание
загрузить в подборку |
18. | Тарасов, Павел Борисович | Об условиях равномерности систем функций многозначной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Тарасов Павел Борисович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 13 с. 9 15-1/2718 Электронный ресурс |
Москва, 2014 |
описание
загрузить в подборку |
19. | Тарасов, Павел Борисович | Об условиях равномерности систем функций многозначной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Тарасов Павел Борисович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 14 с. 9 16-1/382 Электронный ресурс |
Москва, 2016 |
описание
загрузить в подборку |
20. | Сысоева, Любовь Николаевна | Об одном подходе к автоматной реализации булевых функций : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Сысоева Любовь Николаевна; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 18 с. 9 17-1/342 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |