Ар11-22970 Гирш, Э. А. Сложность пропозициональной логики [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / Э. А. Гирш. - СПб., 2011. - 31 с. - Библиогр.: с. 29-31 (19 назв.)
Кл.слова (ненормированные): математическая логика -- алгоритмы -- тавтологии -- сложность вычислений Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-11478 Кузнецов, С. Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / С. Л. Кузнецов. - М., 2012. - 12 с. - Библиогр.: с. 12 (4 назв.) В надзаг.: МГУ м. М.В. Ломоносова, Мех.-мат. фак.
Кл.слова (ненормированные): математическая логика -- естественные языки -- синтез Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-19311 Дашков, Е. В. О пропозициональных исчислениях, представляющих понятие доказуемости [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Е. В. Дашков. - М., 2012. - 15 с. - Библиогр.: с. 15 (3 назв.) В надзаг.: МГУ им. М.В. Ломоносова
Кл.слова (ненормированные): математическая логика -- информатика -- шкала крипке Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар13-3925 Сперанский, С. О. Логика вероятности и вероятностная логика [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / С. О. Сперанский. - Новосибирск, 2013. - 14 с. - Библиогр.: с. 11-14 (43 назв.)
Кл.слова (ненормированные): математическая логика -- индуктивная логика -- теоретическая информатика Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-24199 Семенов, П. П. Автоморфизмы, эндоморфизмы и элементарная эквивалентность полугрупп неотрицательных матриц [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / П. П. Семенов. - М., 2012. - 12 с. - Библиогр.: с. 11-12 (5 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Кл.слова (ненормированные): кольца -- линейная алгебра -- теория моделей -- математическая логика Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар13-2344 Пузаренко, В. Г. Натуральные числа и обобщенная вычислимость [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / В. Г. Пузаренко. - Новосибирск, 2013. - 24 с. - Библиогр.: с. 19-24 (67 назв.)
Кл.слова (ненормированные): математическая логика -- определимость -- теория моделей -- теоретическая информатика Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар13-14561 Боков, Г. В. Условия выразимости и полноты пропозициональных исчислений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Г. В. Боков. - М., 2013. - 18 с. - Библиогр.: с. 17-18 (9 назв.) В надзаг.: ФГБОУ ВПО МГУ им. М.В.
Кл.слова (ненормированные): логические исчисления -- математическая логика Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-31596 Снятков, А. С. Разрешимость теорий иерархий согласованных со сложением функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / А. С. Снятков. - Ярославль, 2012. - 16 с. - Библиогр.: с. 15-16 (5 назв.). - 100 экз.
Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- теория сложности Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар14-6637 Фролов, А. Н. Счетные линейные порядки и их алгоритмическая сложность [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / А. Н. Фролов. - Казань, 2014. - 32 с. - Библиогр.: с. 24-32 (75 назв.). - 150 экз.
Кл.слова (ненормированные): теория моделей -- математическая логика -- алгебраические структуры -- вычислимые структуры Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар14-10456 Ройзнер, М. А. Элементарная эквивалентность колец эндоморфизмов и групп автоморфизмов абелевых p-групп [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. А. Ройзнер. - М., 2014. - 12 с. - Библиогр.: с. 12 (5 назв.). - 100 экз. В надзаг.: МГУ им. М. В. Ломоносова.
Кл.слова (ненормированные): теория моделей -- математическая логика -- базисные подгруппы Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар14-10494 Сорокин, А. А. Об отношении совместимости в исчислении Ламбека и в его варианте с операциями замещения [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / А. А. Сорокин. - М., 2014. - 18 с. - Библиогр.: с. 18 (4 назв.). - 100 экз. В надзаг.: МГУ им. М. В. Ломоносова.
Кл.слова (ненормированные): математическая логика -- естественные языки -- синтаксис Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар14-11886 Баженов, Н. А. Уровни автоустойчивости булевых алгебр [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Н. А. Баженов. - Новосибирск, 2014. - 25 с. - Библиогр.: с. 17-25 (81 назв.). - 100 экз.
Кл.слова (ненормированные): математическая логика -- конечные языки -- вычислимые модели Экземпляры всего 1: ХР (1) Свободны: ХР (1) |