Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями : автореферат дис. кандидата физико-математических наук : 01.01.09
Москва, 2022
Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями : автореферат дис. кандидата физико-математических наук : 01.01.09
Москва, 2022
Библиографическое описание
Жуков, Владимир Владимирович. Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Жуков Владимир Владимирович; [Место защиты: ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»]. — Москва, 2022. — 20 с..
Детальная информация
Код документа в НЭБ
000199_000009_011103465
Каталог
Автор
Заглавие
Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями : автореферат дис. кандидата физико-математических наук : 01.01.09
Место издания
Москва
Год издания
2022
Объем
20 с.
Ответственность
Жуков Владимир Владимирович; [Место защиты: ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»]
ББК
В123,03
Ключевые слова
рефлексивно-рекурсивные схемы из функциональных элементов, булевы функции
Библиотека
Портал НЭБ предлагает вам скачать или читать онлайн диссертацию (автореферат) на тему «Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями : автореферат дис. кандидата физико-математических наук : 01.01.09» ББК:В123,03, автора Жуков В.В. Документ был издан в 2022 году. Содержит 20 с.
Выражаем благодарность библиотеке «Российская государственная библиотека (РГБ)» за предоставленный материал.
LDR
02231nam a22003257 4500
001
011103465
003
RuMoRGB
005
20220928120259.0
008
210330s2022 ru |||| a |00 u rus d
017
##
$a: АР-П-22-004976
$b: RuMoRKP
$a: АР-П-22-004976
$b: RuMoRKP
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 01.01.09
$2: nsnr
$a: 01.01.09
$2: nsnr
084
##
$a: В123,03
$2: rubbk
$a: В123,03
$2: rubbk
100
1#
$a: Жуков, Владимир Владимирович
$a: Жуков, Владимир Владимирович
245
##
$a: Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями :
$b: автореферат дис. ... кандидата физико-математических наук : 01.01.09
$c: Жуков Владимир Владимирович; [Место защиты: ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»]
$a: Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями :
$b: автореферат дис. ... кандидата физико-математических наук : 01.01.09
$c: Жуков Владимир Владимирович; [Место защиты: ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»]
260
##
$a: Москва
$c: 2022
$a: Москва
$c: 2022
300
##
$a: 20 с.
$a: 20 с.
541
1#
$b: https://vak.minobrnauki.gov.ru/advert_independent/91959998002
$c: D11-10317
$d: 20220522
$e: 2022.06.22
$b: https://vak.minobrnauki.gov.ru/advert_independent/91959998002
$c: D11-10317
$d: 20220522
$e: 2022.06.22
650
#1
$a: Дискретная математика и математическая кибернетика
$2: nsnr
$a: Дискретная математика и математическая кибернетика
$2: nsnr
650
#1
$a: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов
$2: rubbk
$a: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов
$2: rubbk
653
##
$a: рефлексивно-рекурсивные схемы из функциональных элементов
$a: рефлексивно-рекурсивные схемы из функциональных элементов
653
##
$a: булевы функции
$a: булевы функции
720
1#
$a: ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»
$a: ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»
787
11
$w: 011141591
$i: Диссертация
$w: 011141591
$i: Диссертация
852
1#
$a: РГБ
$b: OD
$j: 9 22-1/371
$x: 81
$a: РГБ
$b: OD
$j: 9 22-1/371
$x: 81
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01011000000/rsl01011103000/rsl01011103465/rsl01011103465.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01011000000/rsl01011103000/rsl01011103465/rsl01011103465.pdf
$y: Читать