Расширенный поиск
Найдено 118 записей.
№ | Автор | Заглавие ▲ | Данные | Действия |
---|---|---|---|---|
21. | Моросанова, Наталья Александровна | Методы вычисления оценок уверенности формально построенных выводов : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Моросанова Наталья Александровна; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Фак. вычислит. математики и кибернетики] Количество страниц: 14 с. 9 14-1/2146 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
22. | Отпущенников, Илья Владимирович | Методы и средства преобразования процедурных описаний дискретных функций в булевы уравнения : автореферат дис. ... кандидата технических наук : 05.13.11 / Отпущенников Илья Владимирович; [Место защиты: Ин-т динамики систем и теории управления СО РАН] Количество страниц: 18 с. 9 11-3/1448 Электронный ресурс |
Иркутск, 2011 |
описание
загрузить в подборку |
23. | Семичева, Наталия Леонидовна | Методы нахождения бесповторных представлений не всюду определенных булевых функций : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Семичева Наталия Леонидовна; [Место защиты: Иркут. гос. ун-т] Количество страниц: 15 с. 9 08-5/2501 Электронный ресурс |
Иркутск, 2008 |
описание
загрузить в подборку |
24. | Окольнишникова, Елизавета Антоновна | Методы получения нижних оценок сложности ветвящихся программ, вычисляющих булевы функции : автореферат дис. ... доктора физико-математических наук : 01.01.09 / Окольнишникова Елизавета Антоновна; [Место защиты: Ин-т математики им. С.Л. Соболева СО РАН] Количество страниц: 27 с. 9 07-5/1066 Электронный ресурс |
Новосибирск, 2007 |
описание
загрузить в подборку |
25. | Шуплецов, Михаил Сергеевич | Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Шуплецов Михаил Сергеевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 16 с. 9 11-2/3359 Электронный ресурс |
Москва, 2011 |
описание
загрузить в подборку |
26. | Коноводов, Владимир Александрович | Методы синтеза и оценки сложности схем с некоторыми структурными ограничениями : диссертация ... кандидата физико-математических наук : 01.01.09 / Коноводов Владимир Александрович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 109 с. ил. 61 15-1/768 Электронный ресурс |
Москва, 2015 |
описание
загрузить в подборку |
27. | Горбунов, Игорь Анатольевич | Модальные квазинормальные логики без независимой аксиоматизации : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Ярослав. гос. ун-т им. П.Г. Демидова Количество страниц: 14 с. 9 06-10/1846-3 9 06-10/1847-1 Электронный ресурс |
Ярославль, 2006 |
описание
загрузить в подборку |
28. | Лютикова, Лариса Адольфовна | Моделирование и минимизация систем знаний в терминах многозначной логики предикатов : автореферат дис. ... кандидата физико-математических наук : 05.13.18 / Лютикова Лариса Адольфовна; [Место защиты: Сам. гос. ун-т] Количество страниц: 19 с. 9 08-3/2060 Электронный ресурс |
Самара, 2008 |
описание
загрузить в подборку |
29. | Крупский, Николай Владимирович | Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Моск. гос. ун-т им. М.В. Ломоносова Количество страниц: 12 с. 9 06-3/1490-5 9 06-3/1491-3 Электронный ресурс |
Москва, 2006 |
описание
загрузить в подборку |
30. | Кощеева, Анна Константиновна | Новые константы в предтабличных суперинтуиционистских логиках : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Кощеева Анна Константиновна; [Место защиты: Сиб. федер. ун-т] Количество страниц: 16 с. 9 15-1/43 Электронный ресурс |
Красноярск, 2015 |
описание
загрузить в подборку |
31. | Чернятьев, Александр Леонидович | Нормальные базисы и символическая динамика : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Чернятьев Александр Леонидович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 16 с. 9 08-3/3825 Электронный ресурс |
Москва, 2008 |
описание
загрузить в подборку |
32. | Родин, Александр Алексеевич | О P-множествах автономных функций : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Родин Александр Алексеевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 14 с. 9 14-2/2311 Электронный ресурс |
Москва, 2014 |
описание
загрузить в подборку |
33. | Яшунский, Алексей Дмитриевич | О вероятностях значений случайных булевых выражений : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Моск. гос. ун-т им. М.В. Ломоносова Количество страниц: 13 с. 9 07-1/2323 Электронный ресурс |
Москва, 2006 |
описание
загрузить в подборку |
34. | Жуков, Дмитрий Александрович | О глубине и площади клеточных схем : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Моск. гос. ун-т им. М.В. Ломоносова Количество страниц: 10 с. 9 04-11/4125-1 9 04-11/4126-X Электронный ресурс |
Москва, 2004 |
описание
загрузить в подборку |
35. | Жуков, Дмитрий Александрович | О глубине и площади клеточных схем : диссертация ... кандидата физико-математических наук : 01.01.09 Количество страниц: 77 с. ил. 61 05-1/29 Электронный ресурс |
Москва, 2004 |
описание
загрузить в подборку |
36. | Кочергин, Алексей Вадимович | О глубине функций многозначной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Кочергин Алексей Вадимович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.] Количество страниц: 11 с. 9 13-4/1352 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
37. | Акулов, Ярослав Викторович | О классах булевых функций, выразимых относительно расширенной суперпозиции : диссертация ... кандидата физико-математических наук : 01.01.09 / Акулов Ярослав Викторович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 119 с. ил. 61 15-1/737 Электронный ресурс |
Москва, 2015 |
описание
загрузить в подборку |
38. | Акулов, Ярослав Викторович | О классах булевых функций, выразимых относительно расширенной суперпозиции : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Акулов Ярослав Викторович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 13 с. 9 15-2/675 Электронный ресурс |
Москва, 2015 |
описание
загрузить в подборку |
39. | Подолько, Дмитрий Константинович | О классах функций многозначной логики, замкнутых относительно усиленной операции суперпозиции : диссертация ... кандидата физико-математических наук : 01.01.09 / Подолько Дмитрий Константинович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 113 с. ил. 61 15-1/735 Электронный ресурс |
Москва, 2014 |
описание
загрузить в подборку |
40. | Подолько, Дмитрий Константинович | О классах функций многозначной логики, замкнутых относительно усиленной операции суперпозиции : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Подолько Дмитрий Константинович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 14 с. 9 15-1/2441 Электронный ресурс |
Москва, 2014 |
описание
загрузить в подборку |