Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Электронный каталог- результаты поиска

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>K=ИСЧИСЛЕНИЕ ПРЕДИКАТОВ<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
   22.12
   С 81

    Столл, Роберт Р.
    Множества. Логика. Аксиоматические теории / Роберт Р. Столл ; перевод с английского Ю. А. Гастева и И. Х. Шмаина ; под ред. Ю. А. Шихановича. - Москва : Просвещение, 1968. - 230, [1] с. - (Математическое просвещение). - 0.79 р.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- множества -- логика (математика) -- исчисление высказываний -- исчисление предикатов -- аксиоматические теории -- теории аксиоматические -- булевы алгебры


Доп.точки доступа:
Гастев, Ю. А. \пер., .\; Шмаин, И. Х. \пер., .\; Шиханович, Ю. А. \ред., .\
Экземпляры всего: 3
абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1), отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (2)
Свободны: абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1), отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (2)
Прямая ссылка
Найти похожие
2.
   22.12
   М 50

    Мендельсон, Эллиот.
    Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - Изд. 2-е, испр. - Москва : Наука, 1976. - 320 с. - Библиогр.: с.296-309. - 1.65 р.
ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ МНОЖЕСТВ -- АЛГОРИТМЫ -- ТЕОРИЯ АЛГОРИТМОВ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ПРЕДИКАТЫ (МАТЕМАТИКА)


Доп.точки доступа:
Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
3.
   22.12
   Н 73

    Новиков, Петр Сергеевич.
    Элементы математической логики / П.С. Новиков. - 2-е изд., испр. - Москва : Наука, Главная редакция физико-математической литературы, 1973. - 399 с. - (Математическая логика и основания математики). - 1.43 р.
ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- АРИФМЕТИКА -- АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- АКСИОМЫ -- НЕЗАВИСИМЫЕ АКСИОМЫ

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)