Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем
автореферат дис. ... кандидата физико-математических наук : 1.1.5.
автореферат дис. ... кандидата физико-математических наук : 1.1.5.
Казань, 2024
Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем
автореферат дис. ... кандидата физико-математических наук : 1.1.5.
Казань, 2024
Библиографическое описание
Скопировать
Секорин, Всеслав Станиславович. Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем : автореферат дис. ... кандидата физико-математических наук : 1.1.5. / Секорин Всеслав Станиславович; [Место защиты: ФГАОУ ВО «Казанский (Приволжский) федеральный университет» ; Диссовет КФУ.011.2]. — Казань, 2024. — 18 с..
Детальная информация
Код документа в НЭБ
000199_000009_012818879
Каталог
Автор(ы)
Заглавие
Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем : автореферат дис. кандидата физико-математических наук : 1.1.5.
Место издания
Казань
Год издания
2024
Объем
18 с.
Ответственность
Секорин Всеслав Станиславович; [Место защиты: ФГАОУ ВО «Казанский (Приволжский) федеральный университет» ; Диссовет КФУ.011.2]
Регистрационный номер
АР-П-24-003280
ББК
В12,03
Язык
Русский
Еще
Ключевые слова
логики первого и второго порядков, формальные языки проектирование
Библиотека
LDR
02184nam a22003497 4500
001
012818879
003
RuMoRGB
005
20241206151722.0
008
240426s2024 ru |||| a |00 u rus d
017
##
$a: АР-П-24-003280
$b: RuMoRGB
$a: АР-П-24-003280
$b: RuMoRGB
040
##
$a: RuMoRGB
$b: rus
$e: rcr
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$e: rcr
$c: RuMoRGB
041
##
$a: rus
$a: rus
044
##
$a: ru
$a: ru
072
#1
$a: 1.1.5.
$2: nsnr2021
$a: 1.1.5.
$2: nsnr2021
084
##
$a: В12,03
$2: rubbk
$a: В12,03
$2: rubbk
100
1#
$a: Секорин, Всеслав Станиславович
$a: Секорин, Всеслав Станиславович
245
##
$a: Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем :
$b: автореферат дис. ... кандидата физико-математических наук : 1.1.5.
$c: Секорин Всеслав Станиславович; [Место защиты: ФГАОУ ВО «Казанский (Приволжский) федеральный университет» ; Диссовет КФУ.011.2]
$a: Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем :
$b: автореферат дис. ... кандидата физико-математических наук : 1.1.5.
$c: Секорин Всеслав Станиславович; [Место защиты: ФГАОУ ВО «Казанский (Приволжский) федеральный университет» ; Диссовет КФУ.011.2]
260
##
$a: Казань
$c: 2024
$a: Казань
$c: 2024
300
##
$a: 18 с.
$a: 18 с.
541
1#
$b: https://vak.minobrnauki.gov.ru/advert_independent/92861263002
$c: D11-31124
$d: 20240426
$e: 2024.06.28
$b: https://vak.minobrnauki.gov.ru/advert_independent/92861263002
$c: D11-31124
$d: 20240426
$e: 2024.06.28
541
1#
$c: OEK
$d: 20240527
$c: OEK
$d: 20240527
650
#1
$a: Математическая логика, алгебра, теория чисел и дискретная математика
$2: nsnr2021
$a: Математическая логика, алгебра, теория чисел и дискретная математика
$2: nsnr2021
650
#1
$a: Физико-математические науки -- Математика -- Основания математики. Математическая логика
$2: rubbk
$a: Физико-математические науки -- Математика -- Основания математики. Математическая логика
$2: rubbk
653
##
$a: логики первого и второго порядков
$a: логики первого и второго порядков
653
##
$a: формальные языки проектирование
$a: формальные языки проектирование
720
1#
$a: ФГАОУ ВО «Казанский (Приволжский) федеральный университет» ; Диссовет КФУ.011.2
$a: ФГАОУ ВО «Казанский (Приволжский) федеральный университет» ; Диссовет КФУ.011.2
787
11
$w: 012977886
$i: Диссертация
$w: 012977886
$i: Диссертация
852
1#
$a: РГБ
$b: OD
$c: HL02
$j: 9 24-1/261
$x: 39
$a: РГБ
$b: OD
$c: HL02
$j: 9 24-1/261
$x: 39
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01012000000/rsl01012818000/rsl01012818879/rsl01012818879.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01012000000/rsl01012818000/rsl01012818879/rsl01012818879.pdf
$y: Читать
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем : автореферат дис. кандидата физико-математических наук : 1.1.5. » , автор — Секорин В.С.. Документ был опубликован в 2024 году. Место издания — Казань. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем : автореферат дис. кандидата физико-математических наук : 1.1.5. » в удобной системе просмотра документов. Документ также доступен для скачивания в форматах: pdf.