Электронный каталог. . Муниципальная Информационно-Библиотечная Система г. Новокузнецка

Главная

Сайт МБУ "МИБС"

Инструкция по поиску в WEB-ИРБИС

Видеоуроки по поиску в WEB-ИРБИС

Базы данных

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

Вид поиска

Электронный каталог

Периодика МИБС

Периодика Новокузнецка

Статьи

Краеведческие статьи

Списанные книги

Область поиска

Поисковый запрос: (<.>K=ПРЕДИКАТЫ (ЛОГ.)<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

   87.4
   Г 47

    Гильберт, Дэвид.
    Основы теоретической логики / Д. Гильберт, В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред., вступ. ст. и коммент. С. А. Яновской. - Москва : Госиздат иностранной литературы, 1947. - 304 с. - Библиогр.: с. 297-298. - Приложение: с. 208-296. - 1.46 р.

ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
ЛОГИКА ВЫСКАЗЫВАНИЯ (КОМП.) -- МАТЕМАТИКА -- ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ -- ЛОГИЧЕСКИЕ СВЯЗИ -- ИСЧИСЛЕНИЕ (ЛОГ.) -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ (ЛОГ.) -- ЛОГИСТИКА -- ЛОГИКА ПРИКЛАДНАЯ -- ДОКАЗАТЕЛЬСТВО (ЛОГ.) -- ТЕОРИЯ МАТЕМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА -- СВОДИМОСТЬ (ЛОГ,) -- ПАРАДОКСЫ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

   81.411.2
   Л 75

    Ломтев, Тимофей Петрович.
    Структура предложения в современном русском языке / Т. П. Ломтев ; под редакцией Н. Д. Арутюновой. - Москва : Издательство Московского университета, 1979. - 197, [1] с. : портр. - 1.80 р.

ББК 81.411.2
Рубрики: Языкознание
Кл.слова (ненормированные):
РУССКИЙ ЯЗЫК -- ГРАММАТИЧЕСКИЕ КАТЕГОРИИ -- КОНСТИТУЕНТЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ПРЕДИКАТНОСТЬ (ЛИНГВ.) -- ПРЕДИКАТЫ (ЛОГ.) -- СИНТАГМАТИЧЕСКИЕ ОТНОШЕНИЯ -- ТЕОРИЯ СИНТАКСИСА -- ПРЕДЛОЖЕНИЕ (ЛИНГВ.) -- СИНТАКСИС

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

   87.4
   С50

    Смирнов, Владимир Александрович.
    Формальный вывод и логические исчисления / В. А. Смирнов ; Академия наук СССР, Институт философии. - Москва : Наука, 1972. - 270, [1] с. - 0.67 р.

ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
рассуждение (лог.) -- логические системы -- логика предикатов -- предикаты (лог.)

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

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)