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

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

Базы данных


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

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

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


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

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


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

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

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

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

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

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


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

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

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

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


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

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


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

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


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

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


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