Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>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.
В12я54
И88

    Матиясевич, Ю. В.
    Исследования по конструктивной математике и математической логике. 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