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