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