Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=теория алгоритмов<.>)
Общее количество найденных документов
:
15
Показаны документы
с 1 по 15
1..15
1.
В12я73-4
Л13
Лавров, Игорь Андреевич
.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : нелитературный текст / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - М. : ФИЗМАТЛИТ, 2003. - 255 с. -
ISBN
5-9221-0026-2 : 68.00 р.
ББК
В12я73-4
Рубрики:
Основания математики
Математическая логика
Кл.слова (ненормированные):
теория множеств
--
теория алгоритмов
--
множества
--
алгоритмы
Держатели документа:
ЯрГУ
Доп.точки доступа:
Максимова, Лариса Львовна ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
2.
В1г(2)
И90
Штокало, И. З.
История отечественной математики [Текст] : в 4-х томах. Т.4.Кн.2. 1917-1967 / Отв.ред.И.З.Штокало. - [Б. м. : б. и.]. - 668с. - 20.00 р.
ББК
В1г(2)
Рубрики:
математика
Кл.слова (ненормированные):
б-ка Русина
--
численные методы
--
математические методы
--
моделирование
--
теория алгоритмов
--
математические исследования в СССР
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
3.
В12я73-4
Л13
Лавров, Игорь Андреевич
.
Задачи по теории множеств,математической логике и теории алгоритмов [Текст] : нелитературный текст / И.А.Лавров,Л.Л.Максимова. - 3-е изд. - М. : Физматлит, 1995. - 255с. -
ISBN
5-02-014844-Х : 5.00 р.
ББК
В12я73-4
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
теория множеств
--
теория алгоритмов
--
учебник В12
--
задачи В12
Держатели документа:
ЯрГУ
Доп.точки доступа:
Максимова, Лариса Львовна ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
4.
В12я43
Т65
Традиционная логика и
канторовская диагональная процедура [Текст] : нелитературный текст / Отв.ред.Е.А.Зайцев. - М. : Янус-К, 1997. - 32с. -
ISBN
5-88929-048-7 : 5.00 р.
ББК
В12я43
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
теория множеств
--
теория алгоритмов
--
диагональный метод Кантора
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
5.
В127
Ф88
Фридман, Александр Абрамович
.
Степени неразрешимости проблемы тождества для конечно-определенных групп [Текст] : нелитературный текст / А. А.Фридман. - М. : Наука, 1967. - 189с. - 10.00 р.
ББК
В127
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
алгоритмы
--
теория алгоритмов
--
конечно-определенные группы
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
6.
В127
У77
Успенский, Владимир Андреевич
.
Теория алгоритмов
:основные открытия и приложения [Текст] : нелитературный текст / В.А. Успенский,А.Л. Семенов. - М. : Наука, 1987. - 288 с. - (Б-чка программиста). - 20.00 р.
ББК
В127
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
алгоритмы
--
теория алгоритмов
Держатели документа:
ЯрГУ
Доп.точки доступа:
Семенов, Алексей Львович ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
7.
В12я54
М34
Математическая логика и
алгоритмические проблемы [Текст] : нелитературный текст / Отв. ред. Ю. Л. Ершов; АН СССР. Сибирское отд-ние. - Новосибирск : Наука, 1989. - 189 с. - (Труды Ин-та математики, том.12). -
ISBN
5-02-028623-0 : 20.00 р.
ББК
В12я54
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
модальные логики
--
алгоритмы
--
теория алгоритмов
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
8.
В12я73
Е80
Ершов, Юрий Леонидович
.
Е-определимость и теорема Гёделя о неполноте [Текст] : учеб. пособие для вузов / Ю. Л. Ершов. - Новосибирск : Научная книга, 1995. - 75 с. -
ISBN
5-88119-003-3 : 10.00 р.
ББК
В12я73
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
теория алгоритмов
--
множества допустимые
--
рекурсивные функции
--
учебник В12
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
9.
В12я54
М34
Никольский, С. М.
Математическая логика,
теория алгоритмов
и теория множеств [Текст] : сборник работ / С. М.Никольский ; под ред. С. М. Никольского. - М. : Наука, 1973. - 275 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 133). - 10.00 р.
Посвящается академику Петру Сергеевичу Новикову к его семидесятилетию.
ББК
В12я54
Рубрики:
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
дискриптивная теория множеств
--
теория алгоритмов
--
логическая аппроксимация
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
10.
!!!kk0shp_H.pft: FILE NOT FOUND!
Матиясевич, Ю. В.
Исследования по конструктивной математике и математической логике. 5 [Текст] : сборник работ / Под ред. Ю. В. Матиясевича, О. А. Слисенко. - Л. : Наука, 1972. - 162 с. - (Записки научных семинаров ЛОМИ, том 32). - 10.00 р.
ББК
В12я54
Рубрики:
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
конструктивная математика
--
теория алгоритмов
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
11.
В12я54
М34
Соболев, С. Л.
Математическая логика и
теория алгоритмов
[Текст] : нелитературный текст / отв. ред. С. Л. Соболев. - Новосибирск : Наука, 1982. - 176 с. - (Труды Ин-та математики, т. 2). - 10.00 р.
ББК
В12я54
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
решетки квазимногообразий
--
теория алгоритмов
--
теоретическое программирование
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
12.
В12я54
М34
Ершов, Ю. Л.
Математическая логика и
теория алгоритмов
[Текст] : нелитературный текст / отв. ред. Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Ин-т математики СО РАН, 1993. - 201 с. - (Труды Ин-та математики СО РАН, т. 25). -
ISBN
5-86134-004-8 : 10.00 р.
ББК
В12я54
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
теория алгоритмов
--
теория моделей
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
13.
В185.8я9
Т65
Трахтенброт, Борис Авраамович
.
Алгоритмы и машинное решение задач [Текст] : нелитературный текст / Б. А. Трахтенброт ; под ред. С. В. Яблонского. - 2-е изд. - М. : Физматлит, 1960. - 119 с. - 10.00 р.
ББК
В185.8я9
Рубрики:
кибернетика
Кл.слова (ненормированные):
б-ка Русина
--
математическая кибернетика
--
теория алгоритмов
--
машинная математика
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
14.
В12я43
И88
Исследования по теории
алгоритмов и математической логике [Текст] : нелитературный текст / АН СССР. Вычислительный центр. - М. : Наука, 1979. - 133 с. - 10.00 р.
ББК
В12я43
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
конструктивная семантика
--
теория алгоритмов
--
многозначные логики
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
15.
519.7/8
К89
Кузнецов, О. П.
Дискретная математика для инженера [Текст] : научное издание / О.П. Кузнецов, Г.М. Адельсон-Вельский. - М. : Энергия, 1980. - 342 с. : рис., табл. - Библиогр.: с. 335-337. -Предм. указ.: с. 338-341. - (в пер.) : 1.40 р.
ГРНТИ
27
УДК
519.7/8
Кл.слова (ненормированные):
МНОЖЕСТВА
--
БУЛЕВА АЛГЕБРА
--
ЛОГИКА ПРЕДИКАТОВ
--
ПОЛНОТА
--
ЗАМКНУТОСТЬ
--
ГРАФЫ
--
ТЕОРИЯ АЛГОРИТМОВ
--
МАШИНЫ ТЬЮРИНГА
--
РЕКУРСИВНЫЕ
--
ФУНКЦИИ
--
ВЫЧИСЛИМОСТЬ
--
РАЗРЕШИМОСТЬ
--
ФОРМАЛЬНЫЕ
--
СИСТЕМЫ
--
ИСЧИСЛЕНИЯ
--
АВТОМАТЫ
--
ЭКСТРЕМАЛЬНЫЕ
--
ЗАДАЧИ
--
ПЕРЕБОР
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Адельсон-Вельский, Г.М.
Свободных экз. нет
Найти похожие
1..15