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