Авторефераты диссертаций 35 results 35 Книги 31 results 31

Опойцев, В. И. (род. 1944) 4 results 4 Бирюков, Б. В. (1922—2014) 2 results 2 Ершов, Ю. Л. (род. 1940) 2 results 2 Пузаренко, В. Г. 2 results 2 Шурыгин, В. А. 2 results 2 Алаев, П. Е. 1 results 1 Александрова, С. А. 1 results 1 Алексеев, В. Е. 1 results 1 Андерсон, Д. А. (род. 1937) 1 results 1 Баранов, Д. В. 1 results 1 Березун, Д. А. 1 results 1 Бикмухаметов, Р. И. 1 results 1 Блох, А. Ш. 1 results 1 Быкова, В. В. 1 results 1 Волков, С. А. 1 results 1 Вольфенгаген, В. Э. (род. 1948) 1 results 1 Гаврюшкин, А. Н. 1 results 1 Гайлит, Е. В. 1 results 1 Герасимов, А. С. 1 results 1 Душенин, Д. И. 1 results 1 Зайнетдинов, Д. Х. 1 results 1 Зубков, М. В. 1 results 1 Ицыксон, Д. М. 1 results 1 Ишмухаметов, Ш. Т. 1 results 1 Калядин, Н. И. 1 results 1 Кацман, В. И. 1 results 1 Клини, С. К. (1909—1994) 1 results 1 Кноп, А. А. 1 results 1 Коновалов, А. Ю. 1 results 1 Крот, А. М. (род. 1960) 1 results 1 см. все

ВЫЧИСЛИМОСТИ ТЕОРИЯ МАТЕМАТИЧЕСКАЯ ЛОГИКА 20 results 20 ВЫЛІЧАЛЬНАСЦІ ТЭОРЫЯ 10 results 10 СЛОЖНОСТЬ (мат.) 9 results 9 АЛГОРИТМОВ ТЕОРИЯ 8 results 8 АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ 6 results 6 ОСНОВАНИЯ МАТЕМАТИКИ 6 results 6 ТЬЮРИНГА МАШИНЫ 6 results 6 АЛГЕБРАИЧЕСКИЕ СТРУКТУРЫ 5 results 5 ДИСКРЕТНАЯ МАТЕМАТИКА 5 results 5 ДОКАЗАТЕЛЬСТВ ТЕОРИЯ 5 results 5 КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ 5 results 5 МАТЭМАТЫЧНАЯ ЛОГІКА 5 results 5 ВЫЧИСЛИТЕЛЬНЫЕ МОДЕЛИ 4 results 4 МНОЖЕСТВ ТЕОРИЯ 4 results 4 МОДЕЛЕЙ ТЕОРИЯ 4 results 4 РЕКУРСИВНЫЕ ФУНКЦИИ 4 results 4 ТЬЮРИНГОВЫЕ СТЕПЕНИ 4 results 4 АБЕЛЕВЫ ГРУППЫ 3 results 3 АЛГОРИТМИЗАЦИЯ 3 results 3 АЛГОРИТМЫ (мат., информатика) 3 results 3 БЕСКОНЕЧНОСТЬ (мат.) 3 results 3 БИФУРКАЦИИ (мат., физ.) 3 results 3 ВЫЧИСЛИМЫЕ ФУНКЦИИ 3 results 3 ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ 3 results 3 ЛЯМБДА-ИСЧИСЛЕНИЕ 3 results 3 МАТЕМАТИКА 3 results 3 МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА 3 results 3 МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ 3 results 3 МНОЖЕСТВА (мат.) 3 results 3 см. все

УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 7 results 7 КУРС ЛЕКЦИЙ 2 results 2 МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ 1 results 1 ПРАКТИКУМ ДЛЯ ВУЗОВ 1 results 1 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ВУЗОВ 1 results 1

Библиотека "ЮрИнфоР" 1 results 1 Библиотека аналитической философии 1 results 1 Интеграционные проекты СО РАН 1 results 1 Основы информационных технологий 1 results 1 Перспективный компьютинг как наука и профессия 1 results 1 Препринт 1 results 1 Сибирская школа алгебры и логики 1 results 1 Учебники для вузов 1 results 1 Учебники для вузов. Специальная литература 1 results 1 Физико-математическое наследие 1 results 1 см. все

Москва 22 results 22 Новосибирск 13 results 13 Казань 6 results 6 Санкт-Петербург 5 results 5 Минск 3 results 3 Санкт-Петербург [и др.] 2 results 2 Алматы 1 results 1 Витебск 1 results 1 Долгопрудный 1 results 1 Екатеринбург 1 results 1 Красноярск 1 results 1 М. Новосибирск 1 results 1 Москва [и др.] 1 results 1 Москва Ижевск 1 results 1 СПб 1 results 1 Ульяновск 1 results 1 см. все

Русский 66 results 66