Главная Упрощенный режим Описание
Авторизация
Фамилия
Номер ЧБ
 

Вход/Регистрация через ЕСИА

Базы данных


Каталог Национальной Библиотеки Республики Дагестан- результаты поиска

Вид поиска
Каталог Национальной Библиотеки Республики Дагестан
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=математическая логика<.>
Общее количество найденных документов : 16
Показаны документы с 1 по 10
 1-10    11-16 
1.
510
Б 24

    Барендрегт, Хендрик Питер.
    Ламбда- исчисление. Его синтаксис и семантика. [Текст] / Х. П. Барендрегт; под редакцией А. С. Кузичева, перевод с английского Г. Е. Минца. - Москва : Мир, 1985. - 606 с. : граф. ; 22 см. - Пер. изд. : The Lambda Calculus. Its Syntax and Semantics. / H. P. Barendregt. - Amsterdam ; New York ; Oxford, 1981. - 4800 экз.. - (в пер.) : 3.70 р.
РУБ 510
Рубрики: Математическая логика


Доп.точки доступа:
Минц, Г. Е. \пер.\; Кузичев, А. С. \ред.\; Barendregt, H. P.
~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
2.
51
Г 45

    Гжегорчик, Анджей.
    Популярная логика. Общедоступный очерк логики предложений [Text] / А. Гжегорчик ; перевод с польского С. П. Беляева. - 2-е издание, исправленное. - Москва : Наука, 1972. - 111 с. ; 20 см. - Пер. изд. : Logica popularna / A. Grzegorczyk. - 80000 экз.. - 0.26 р.
На обор. тит. л .: Andrzej Grzegorczyk. Logica popularna.
РУБ 51
Рубрики: Математическая логика


Доп.точки доступа:
Беляев, С. П. \пер.\; Grzegorczyk, A.
~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
3.
517.2
Г 75

    Градштейн, Израиль Соломонович.
    Прямая и обратная теоремы. Элементы алгебры логики [Текст] / И. С. Градштейн. - 5-е издание. - Москва : Наука, 1972. - 128 с. : черт. ; 20 см. - 50000 экз.. - 0.24 р.
РУБ 517.2
Рубрики: Математический анализ --Функциональный анализ
   Математическая логика

~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
4.
517.21
Г 75

    Градштейн, Израиль Соломонович.
    Прямая и обратная теоремы : элементы алгебры логики / И. С. Градштейн. - 4-е издание, стереотипное. - Москва : Наука Главная редакция физико-математической литературы, 1965. - 127, [1] с. : ил., табл. ; 20 см. - Библиография в подстрочном примечании. - 50000 экз.. - 0.22 р.
РУБ 517.21
Рубрики: Теоремы--Доказательства
   Математическая логика

~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
5.
32.973.233-018
Г79

    Грэй, Питер.
    Логика, алгебра и базы данных [Текст] : научное издание / П. Грэй ; Перевод с англ. Х. И. Килова, Г. Е. Минца. - Москва : Машиностроение, 1989. - 368с : ил. ; 22 см. - Библиогр.: с. 348-358 (131 назв.). - 15000 экз.. - ISBN 5-217-00178-X (в пер.) : 1р. 80 р.
Перевод изд.: Logic, algebra and databases / Peter M. D. Gray (New York etc.)
ББК 32.973.233-018
Рубрики: Математическая логика
   Алгебра--Базы данных

~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие
6.
16
Д 35

    Искусственные водные пути.Первое знакомство с математической логикой / И. Я. Депман ; Общество " Знание " РСФСР, Ленинградская организация. - 2-е издание, исправленное. - Ленинград : Знание, 1965. - 55, [1] с. : ил., табл. - 0.08 р.
РУБ 16
Рубрики: Математическая логика


Доп.точки доступа:
Общество " Знание " РСФСР. Ленинградская организация
~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
7.
510
И 88

    Исследования по теории алгорифмов и математической логике [Текст] : сборник работ / Академия наук СССР, Вычислительный центр; под редакцией: А. А. Маркова, Б. А. Кушнера. - Москва : Вычислительный центр АН СССР, 1973 - .
   Т. 2. - 1976. - 160 с. : ил. ; 21 см. - 1560 экз.. - 0.59 р.
РУБ 510
Рубрики: Алгоритмы--Сборники
   Математическая логика--Сборники


Доп.точки доступа:
Марков, А. А. \ред.\; Кушнер, Б. А. \ред.\; Академия наук СССР. Вычислительный центр
~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
8.
510
К 60

    Колмогоров, Андрей Николаевич.
    Математическая логика [Текст] : дополнительные главы / Андрей Николаевич Колмогоров, Альберт Григорьевич Драгалин. - Москва : Московский университет, 1984. - 119 с. ; 21 см. - Библиография: с. 117 (19 назв.). - 13150 экз.. - 00.25 р.
РУБ 510
Рубрики: Математическая логика--Учебники и пособия


Доп.точки доступа:
Драгалин, Альберт Григорьевич
~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
9.
51
Л 69

   
    Логическая структура научного знания : сборник статей / Академия наук CCCР, Институт философии ; ответственный редактор П. В. Таванец. - Москва : Наука, 1965. - 350 с. ; 20см. - Библиография: с. 349. - 6200 экз.. - (в пер.) : 1.29 р.
РУБ 51
Рубрики: математическая логика
Кл.слова (ненормированные):
математическая логика -- семиотика -- логика научного познания


Доп.точки доступа:
Таванец, Пётр Васильевич \отв. ред.\; Академия наук СССРИнститут философии
~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
10.
517.1
М 21

    Мальцев, Анатолий Иванович.
    Алгоритмы и рекурсивные функции / А. И. Мальцев. - Москва : Наука : Главная редакция физико-математической литературы, 1965. - 391 с. ; 22. - Библиогр.: с. 375-381. - 13000 экз.. - (в пер.) : 1.22 р.
РУБ 517.1
Рубрики: Алгоритмы--Теория
   Математическая логика

~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
 1-10    11-16 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)