Библиотека БГПУ

Главная

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Книги

Периодические издания

Выпускные квалификационные работы

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

Найдено в других БД:

Периодические издания (3)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=предикаты<.>

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

74.262.21
К 17

Калужнин, Л. А.
Элементы теории множеств и математической логики в школьном курсе математики [Text] : пособие для учителей / Л. А. Калужнин. - М. : Просвещение, 1978. - 87 с. - 0.15 р.

ББК 74.262.21
Рубрики: Методика преподавания математики
Кл.слова (ненормированные):
математическая логика -- теория множеств -- алгебра множеств -- предикаты -- кванторы -- высказывательные формы -- пособие для учителей

Экземпляры всего: 10
Аб.2 (6), Ч.з.1 (4)
Свободны: Аб.2 (6), Ч.з.1 (4)
Найти похожие

   22.1
   А 52

    Алутин, П. П.
    Введение в математику [Text] : учеб. пособие для студ. вузов / П. П. Алутин ; М-во образования РФ, БГПУ. - Благовещенск : Изд-во БГПУ, 2001. - 101 с. - ISBN 5-8331-0019-4 : 19.00 р.

ББК 22.1я73
Рубрики: Математика
Кл.слова (ненормированные):
учебное пособие для вузов -- множества -- алгебра высказываний -- предикаты

Доп.точки доступа:
М-во образования РФ. БГПУ
Экземпляры всего: 26
Ч.з.1 (5), Аб.2 (20), ИБО (1)
Свободны: Ч.з.1 (5), Аб.2 (20), ИБО (1)
Найти похожие

   22.12
   И 26

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Text] : учеб. пособие для студ. вузов / В.И. Игошин. - М. : Академия, 2004. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 206.60 р.

ББК 22.12я73
Рубрики: Высшая математика
Кл.слова (ненормированные):
математическая логика -- алгоритмы -- теория алгоритмов -- алгебра -- булевы функции -- формализованные исчесления -- предикаты -- логика предикатов -- аксиоматический метод -- информатика -- компьютеры -- искусственный интеллект -- учебное пособие для вузов

Экземпляры всего: 84
Ч.з.1 (5), Аб.2 (59), Аб.3 (20)
Свободны: Ч.з.1 (5), Аб.2 (59), Аб.3 (20)
Найти похожие

   81
   С 30


    Семантические типы предикатов / АН СССР, Ин-т языкознания ; отв. ред. О. Н. Селиверстова. - М. : Наука, 1982. - 365 с. - Библиогр.: с. 355-362. - 3.30 р.

ББК 81
Рубрики: Языкознание
Кл.слова (ненормированные):
типология предикатов -- русский язык -- семантические типы предикатов -- английский язык -- тагальский язык -- состояния -- признаки -- оценки состояний -- предикаты состояния

Доп.точки доступа:
Селиверстова, О.Н. \ред.\; АН СССР. Ин-т языкознания
Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие

81.2
С 79

Степанов, Ю. С.
Имена, предикаты, предложения. Семиологическая грамматика [Текст] / Ю. С. Степанов ; ред. Ю. Н. Караулов ; АН СССР, Ин-т языкознания. - М. : Наука, 1981. - 358 с. - 2.70 р.

ББК 81.2
Рубрики: Языкознание
Кл.слова (ненормированные):
предмет -- метод -- имена -- предикаты -- предложения -- трансформации -- перифразы -- формализация -- модальность -- семантическое согласование -- эволюция -- история -- слои грамматики

Доп.точки доступа:
Караулов, Ю.Н. \ред.\; АН СССР. Ин-т языкознания
Экземпляры всего: 3
Ч.з.1 (3)
Свободны: Ч.з.1 (3)
Найти похожие

Тематический навигатор

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