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

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

Базы данных


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

Вид поиска
Каталог Национальной Библиотеки Республики Дагестан
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=математическая логика<.>
Общее количество найденных документов : 16
Показаны документы с 1 по 10
 1-10    11-16 
1.
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)
Найти похожие
2.
6П2.154
Я 49

    Якубайтис, Эдуард Александрович.
    Логические автоматы и микромодули [Текст] : монография / Э. А. Якубайтис ; Акад. наук Латвийской ССР, Ин-т электрон. и вычислит. техники. - Рига : Зинатне, 1975. - 259 с. : ил., табл. ; 22 см. - Предметный указатель: с. 252-256. - 2300 экз.. - (в пер.) : 1.35 р.
РУБ 6П2.154
Рубрики: Математическая логика
Кл.слова (ненормированные):
ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ -- МИКРОМОДУЛЬНЫЕ ЭЛЕМЕНТЫ -- ТЕОРИЯ КОНЕЧНЫХ АВТОМАТОВ -- ДИСКРЕТНЫЕ СИСТЕМЫ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ


Доп.точки доступа:
Институт электроники и вычислительной техники (Рига)
~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие
3.
517.21
Г 75

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

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

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


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

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


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

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

~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
7.
51
О-88

    Стяжкин, Николай Иванович.
    Формирование математической логики / Н. И. Стяжкин ; ответственный редактор А. Л. Субботин ; Академия наук СССР. - Москва : Наука, 1967. - 508 с. ; 21 см. - 9500 экз.. - (в пер.) : 2.28 р.
РУБ 51
Рубрики: Математическая логика


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

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


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

    Целищев, Виталий Валентинович.
    Логика существования [Текст] / В. В. Целищев ; редактор В. Н. Костюк ; Академия наук СССР, Сибирское отделение , Институт истории, филологии и философии. - Новосибирск : Наука, 1976. - 148 с. ; 20 см. - Библиография: с. 144-147. - 5500 экз.. - 0.46 р.
РУБ 1М
Рубрики: Математическая логика
Кл.слова (ненормированные):
ЭКЗИСТЕНЦИАЛЬНЫЕ ПРЕДПОЛОЖЕНИЯ
Аннотация: Она посвящена анализу философских проблем, связанных с экспликацией средствами логики понятия существования; на основании исследований, проведенные в последние 10-12 лет, описываются полученные в математической логике результаты, имеющие большое значение для критики философии неопозитивизма.


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

    Справочная книга по математической логике [Текст] : в 4-х частях / под редакцией Дж. Барвайса. - Москва : Наука, 1982 - 1983. - 22 см.
   Ч. 3 : Теория рекурсии / Г. Б. Эндертон, М. Девис, М. О. Рабин ; перевод с английского С. Г. Дворникова, И. А. Лаврова ; под редакцией Ю. Л. Ершова. - 1982. - 360 с. - 20000 экз.. - (в пер.) : 2.00 р.
РУБ 510
Рубрики: Математическая логика--Справочники


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