Главная Список новых поступлений On-line издательства, журналы (ENG)
Авторизация
Фамилия / Логин
Идентификатор / Пароль
 

Базы данных


Отечественные книги - результаты поиска

Вид поиска
Электронные ресурсы Иркутского научного центра
Отечественные книги
CD-Rom
Авторефераты
Диссертации
Иностранные журналы
Отечественные журналы
Географические карты
Сводный каталог книг библиотек ИНЦ
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=математическая логика<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   З 81
   Л 36

    Левин, Виталий Ильич.
    Структурно-логические методы исследования сложных систем с применением ЭВМ / В. И. Левин. - М. : Наука. Гл. ред. физ. - мат. лит. , 1987. - 304 с. - (Теория и методы системного анализа). - Библиогр.: с. 302 - 304. - 2.90
ГРНТИ
28.29
ББК З 812
Рубрики: математическая логика
   кибернетика
Кл.слова (ненормированные):
сложные системы -- исследования -- логические основы -- математические методы -- математическая логика

Держатели документа:
ИСЭМ
Имеются экземпляры в отделах:
ХР Инв.36382 (свободен)

Найти похожие
2.
   В1
   М 34

    Математика в СССР за сорок лет: 1917-1957: В 2-х т. / гл. ред. А. Г. Курош ; ред. В. И. Битюцков [и др.]. - Москва : Физматгиз, 1959.
   Т. 1 : Обзорные статьи. - 1002 с. - Указ. имен.: с. 987 - 1002. - 43.80
ГРНТИ
27.01.09
ББК В1 + Я1
Рубрики: СССР, 1917-1957
Дескрипторы: математика -- история математики -- математическая логика -- теория чисел -- алгоритмы -- алгебра -- теория графов -- теория алгоритмов -- топология -- комплексные переменные -- дифференциальные уравнения -- вариационное исчисление -- математическая статистика -- геометрия

Держатели документа:
ИСЭМ

Доп.точки доступа:
Курош, Александр Геннадьевич \гл. ред.\; Битюцков, В. И. \ред.\; Болтянский , В.Г. \ред.\; Дынкин, Евгений Борисович \ред.\; Шилов, Георгий Евгеньевич \ред.\; Юшкевич, Адольф Павлович \ред.\
Имеются экземпляры в отделах:
ХР Инв.б/н (свободен)

Найти похожие
3.
   В1
   М 34

    Математика в СССР за сорок лет: 1917-1957: В 2-х т. / гл. ред. А. Г. Курош ; ред. В. И. Битюцков [и др.]. - Москва : Физматгиз, 1959.
   Т. 2 : Биобиблиография. - 817 с. - 43.80
ГРНТИ
27.01.09
ББК В1 + Я1
Рубрики: СССР, 1917-1957
Дескрипторы: математика -- история математики -- математическая логика -- теория чисел -- алгоритмы -- алгебра -- теория графов -- теория алгоритмов -- топология -- комплексные переменные -- дифференциальные уравнения -- вариационное исчисление -- математическая статистика -- геометрия

Держатели документа:
ИСЭМ

Доп.точки доступа:
Курош, Александр Геннадьевич \гл. ред.\; Битюцков, В. И. \ред.\; Болтянский , В.Г. \ред.\; Дынкин, Евгений Борисович \ред.\; Шилов, Георгий Евгеньевич \ред.\; Юшкевич, Адольф Павлович \ред.\
Имеются экземпляры в отделах:
ХР Инв.б/н (свободен)

Найти похожие
4.
   В1
   В31

   Верещагин, Николай Константинович
    Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. - Изд. 3-е, доп. - Москва : МЦНМО.
   Ч. 2 : Языки и исчисления / Н. К. Верещагин, А. Шень. - 2008. - 288 с. - (Современные лекционные курсы = Математическая логика и теория алгоритмов). - 1000 экз. - ISBN 978-5-94057-322-7 : 60 р.
Сведения о № части указаны на обороте тит. л.
ГРНТИ
27.03
ББК В12

Кл.слова (ненормированные):
Математическая логика -- Алгоритмы

Держатели документа:
ИСЭМ

Доп.точки доступа:
Шень, Александр
Имеются экземпляры в отделах:
ХР Инв.б/н (свободен)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
ГРНТИ-навигатор
© Иркутский научный центр Сибирского отделения РАН