Институт ядерной физики СО РАН

Главная

Упрощенный режим

Описание

Базы данных

Электронный каталог книг и продолжающихся изданий- результаты поиска

Вид поиска

Авторефераты диссертаций и диссертации

Отечественные журналы

Препринты

Электронный каталог книг и продолжающихся изданий

База ученого секретаря

Пресса об ИЯФ

Труды сотрудников ИЯФ (пополняемая)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>R=27.03$<.>)

Общее количество найденных документов : 15
Показаны документы с 1 по 15

   З 973.203.4
   М 15

    Макконнелл, Дж..
    Анализ алгоритмов. Активный обучающий подход : [учебное пособие для вузов по направлению "Информатика и вычислительная техника"] / Дж. Макконнелл ; перевод c английского С. А. Кулешова под редакцией С. К. Ландо. - Москва : Техносфера, 2009. - 415 с. : ил. - (Мир программирования). - Пер. изд. : Analysis Algorithms. An Active Learning Approach / J. J. McConnell. - Boston, 2008. - ISBN 978-5-94836-216-8

28.25.23

27.03

ББК З 973.203.4-018.0я73
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ--УЧЕБНИКИ
МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
АЛГОРИТМЫ ВЫЧИСЛИТЕЛЬНЫЕ (МАТЕМАТИКА) -- АЛГОРИТМЫ КОМПЬЮТЕРНЫЕ (АНАЛИЗ) -- АЛГОРИТМЫ СИСТЕМ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ -- ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ -- ЧИСЛА СЛУЧАЙНЫЕ (ПРОГРАММИРОВАНИЕ)

Доп.точки доступа:
Ландо, С. К. \ред. пер.\; Кулешов, С. А. \пер.\; McConnell, J. J.
Свободных экз. нет
Найти похожие

   В12
   Х 13

    Хаггарти, Р.
    Дискретная математика для программистов : учебное пособие для вузов по специальности "Прикладная математика" / Р. Хаггарти ; перевод с английского под редакцией С. А. Кулешова. - 2-е изд., доп. - Москва : Техносфера, 2005. - 399 с. : ил. - (Мир программирования). - Пер. изд. : Discrete mathematics for computing / R. Haggarty. - London [et al.]. - ISBN 5-94836-016-4

27.03

ББК В12я73

Кл.слова (ненормированные):
АЛГЕБРА (СТРУКТУРЫ) -- БУЛЕВЫ ФУНКЦИИ -- ГРАФЫ (ТЕОРИЯ) -- ИСЧИСЛЕНИЯ ЛОГИЧЕСКИЕ -- КОМБИНАТОРИКА (МАТЕМАТИКА) -- МАТЕМАТИКА (ПРОГРАММИРОВАНИЕ) -- МАТЕМАТИКА ДИСКРЕТНАЯ -- СТРУКТУРЫ ДИСКРЕТНЫЕ

Доп.точки доступа:
Кулешов, С. А. \ред. пер.\; Haggarty, R.
Экземпляры всего: 2
кх (2)
Свободны: кх (2)
Найти похожие

   В12
   Б 43

    Белоусов, Алексей Иванович.
    Дискретная математика : учебник для студентов высших технических учебных заведений / А. И. Белоусов, С. Б. Ткачев ; под редакцией В. С. Зарубина, А. П. Крищенко. - 6-е изд. - Москва : Издательство МГТУ им. Н. Э. Баумана, 2020. - 703 с. : ил., табл. ; 22 см. - (Математика в техническом университете : комплекс учебников из 21 выпуска ; вып. 19). - 150 экз.. - ISBN 978-5-7038-3845-7. - ISBN 978-5-7038-4905-7 (вып. 19)

27.03

ББК В12я73

Доп.точки доступа:
Ткачев, Сергей Борисович; Зарубин, В. С. \ред.\; Крищенко, А. П. \ред.\
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   В12
   Г 93

    Гудстейн, Р. Л.
    Математическая логика / Р. Л. Гудстейн ; перевод с английского В. С. Чернявского под редакцией и с предисловием С. А. Яновской. - Москва : Издательство иностранной литературы, 1961. - 161, [1] с. ; 21 см. - (Библиотека сборника "Математика"). - Пер. изд. : Mathematical logic / R. L. Goodstein. - Leicester, 1957. -

27.03.19

ББК В12

Доп.точки доступа:
Чернявский, В. С. \пер.\; Яновская, С. А. \ред. пер.\; Яновская, С. А. \авт. предисл.\; Goodstein, R. L.
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   З 81
   П 25

    Пенроуз, Роджер.
    Новый ум короля. О компьютерах, мышлении и законах физики : [научно-популярное издание] / Р. Пенроуз ; перевод с английского под общей редакцией В. О. Малышенко ; предисловие Г. Г. Малинецкого. - Изд. 6-е, испр. - Москва : URSS : Ленанд, 2020. - 413 с. : ил. ; 24 см. - (Синергетика: от прошлого к будущему ; № 7). - Пер. изд. : The emperor's new mind. Concerning computers, minds and the laws of physics / Roger Penrose ; foreword by Martin Gardner. - 1999. - ISBN 978-5-9710-7321-5 (Ленанд). - ISBN 978-5-453-00183-5 (УРСС)

ББК З 81я9 + В12я9 + В315.3я9 + В382.11я9
Рубрики: Искусственный интеллект
Кл.слова (ненормированные):
алгоритмизация математического мышления -- машины Тьюринга -- теорема Геделя -- теория вычислимости -- энтропия -- космология -- общая теория относительности Эйнштейна -- квантовая теория гравитации -- строение мозга -- сознание

Доп.точки доступа:
Малышенко, В. О. \ред. пер., пер.\; Малинецкий, Г. Г. \авт. предисл.\; Penrose, Roger
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   В12
   К 17

    Калужнин, Лев Аркадьевич.
    Что такое математическая логика? / Л. А. Калужнин. - Москва : Наука, 1964. - 149, [2] с. : ил. ; 20 см. - 42 000 экз.. -

27.03.19

ББК В12

Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   В12
   К 26

    Карри, Хаскелл Б..
    Основания математической логики / Хаскелл Б. Карри ; перевод с английского В. В. Донченко под редакцией Ю. А. Гастева. - Москва : Мир, 1969. - 567, [1] с. : ил. ; 22 см. - Пер. изд. : Foundations of Mathematical Logic / Haskell B. Curry. - New York [et al.], 1963. -

27.03.19

ББК В12

Аннотация: Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.

Доп.точки доступа:
Донченко, В. В. \пер.\; Гастев, Ю. А. \ред. пер.\; Curry, Haskell B.
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   З 811
   К 60

    Колмогоров, Андрей Николаевич.
    Теория информации и теория алгоритмов : [избранные труды] / А. Н. Колмогоров ; ответственный редактор Ю. В. Прохоров ; Академия наук СССР, Отделение математики. - Москва : Наука, 1987. - 303, [1] с., [1] л. портр. : ил. ; 22 см. - 5700 экз.. -

28.21

27.03

ББК З 811 + В127

Доп.точки доступа:
Прохоров, Ю. В. \ред.\; Академия наук СССР. Отделение математики
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   Ю4
   К 64

    Кондаков, Николай Иванович.
    Логический словарь / Н. И. Кондаков ; ответственный редактор Д. П. Горский ; Академия наук СССР, Институт философии. - Москва : Наука, 1971. - 656 с. ; 27 см. - 50 000 экз.. -

02.21

27.03.02

ББК Ю4я2 + В12я2

Доп.точки доступа:
Горский, Д. П. \ред.\; Академия наук СССРИнститут философии АН СССР
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

10.

   Ю4
   К 64

    Кондаков, Николай Иванович.
    Логический словарь-справочник / Н. И. Кондаков ; ответственный редактор Д. П. Горский ; Академия наук СССР, Институт философии. - 2-е изд., испр. и доп. - Москва : Наука, 1975. - 717, [3] с. ; 27 см. - 60 000 экз.. -

02.21

27.03.02

11.

   В127
   К 71

    Косовский, Николай Кириллович.
    Основы теории элементарных алгоритмов : [учебное пособие для студентов математических специальностей вузов] / Н. К. Косовский ; Ленинградский государственный университет им. А. А. Жданова. - Ленинград : Издательство Ленинградского университета, 1987. - 152, [1] с., включ. обл. ; 22 см. - 6879 экз.. -

27.03

ББК В127я73

Доп.точки доступа:
Ленинградский государственный университет им. А. А. Жданова
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

12.

   В12
   К 89

    Кузнецов, Олег Петрович.
    Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - Москва : Энергоатомиздат, 1988. - 479, [1] с. : ил. ; 21 см. - 2000 экз.. -

27.03

27.45

50.05

ББК В12 + З 81

Кл.слова (ненормированные):
теория алгоритмов -- формальные системы -- формальные языки -- линейное программирование

Доп.точки доступа:
Адельсон-Вельский, Георгий Максимович
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

13.

   В127
   М 21

    Мальцев, Анатолий Иванович.
    Алгоритмы и рекурсивные функции / А. И. Мальцев. - Изд. 2-е. - Москва : Наука, 1986. - 367 с. ; 21 см. - Прил.: Диофантность рекурсивно перечислимых множеств и предикатов / Д. А. Захаров. - 10 400 экз.. -

27.03

ББК В127
Рубрики: Логика (мат.)--Теория алгоритмов

Перейти к внешнему ресурсу: Оглавление

Доп.точки доступа:
Захаров, Д. А.
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

14.

   В127
   М 21

    Мальцев, Анатолий Иванович.
    Алгоритмы и рекурсивные функции / А. И. Мальцев. - Москва : Наука, 1965. - 391 с. ; 21 см. - 13 000 экз.. -

27.03

ББК В127
Рубрики: Логика (мат.)--Теория алгоритмов

Перейти к внешнему ресурсу: Оглавление
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

15.

   В12
   М 50

    Мендельсон, Эллиот.
    Введение в математическую логику / перевод с английского Ф. А. Кабакова под редакцией С. И. Адяна. - Москва : Наука, 1971. - 320 с. ; 22 см. - Пер. изд. : Introduction to Mathematical Logic / Elliot Mendelson. - 30 000 экз.. -

27.03.19

ББК В12

Перейти к внешнему ресурсу: Оглавление
Доп.точки доступа:
Кабаков, Ф.А. \пер.\; Адаян, С. И. \ред. пер.\; Mendelson, Elliot
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)