К 17 Калужнин, Л. А. Элементы теории множеств и математической логики в школьном курсе математики [Text] : пособие для учителей / Л. А. Калужнин. - М. : Просвещение, 1978. - 87 с. - 0.15 р. Рубрики: Методика преподавания математики Кл.слова (ненормированные): математическая логика -- теория множеств -- алгебра множеств -- предикаты -- кванторы -- высказывательные формы -- пособие для учителей Экземпляры всего: 10 Аб.2 (6), Ч.з.1 (4) Свободны: Аб.2 (6), Ч.з.1 (4) |
А 52 Алутин, П. П. Введение в математику [Text] : учеб. пособие для студ. вузов / П. П. Алутин ; М-во образования РФ, БГПУ. - Благовещенск : Изд-во БГПУ, 2001. - 101 с. - ISBN 5-8331-0019-4 : 19.00 р. Рубрики: Математика Кл.слова (ненормированные): учебное пособие для вузов -- множества -- алгебра высказываний -- предикаты Доп.точки доступа: М-во образования РФ. БГПУ Экземпляры всего: 26 Ч.з.1 (5), Аб.2 (20), ИБО (1) Свободны: Ч.з.1 (5), Аб.2 (20), ИБО (1) |
И 26 Игошин, В. И. Математическая логика и теория алгоритмов [Text] : учеб. пособие для студ. вузов / В.И. Игошин. - М. : Академия, 2004. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 206.60 р. Рубрики: Высшая математика Кл.слова (ненормированные): математическая логика -- алгоритмы -- теория алгоритмов -- алгебра -- булевы функции -- формализованные исчесления -- предикаты -- логика предикатов -- аксиоматический метод -- информатика -- компьютеры -- искусственный интеллект -- учебное пособие для вузов Экземпляры всего: 84 Ч.з.1 (5), Аб.2 (59), Аб.3 (20) Свободны: Ч.з.1 (5), Аб.2 (59), Аб.3 (20) |
С 30 Семантические типы предикатов / АН СССР, Ин-т языкознания ; отв. ред. О. Н. Селиверстова. - М. : Наука, 1982. - 365 с. - Библиогр.: с. 355-362. - 3.30 р. Рубрики: Языкознание Кл.слова (ненормированные): типология предикатов -- русский язык -- семантические типы предикатов -- английский язык -- тагальский язык -- состояния -- признаки -- оценки состояний -- предикаты состояния Доп.точки доступа: Селиверстова, О.Н. \ред.\; АН СССР. Ин-т языкознания Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
С 79 Степанов, Ю. С. Имена, предикаты, предложения. Семиологическая грамматика [Текст] / Ю. С. Степанов ; ред. Ю. Н. Караулов ; АН СССР, Ин-т языкознания. - М. : Наука, 1981. - 358 с. - 2.70 р. Рубрики: Языкознание Кл.слова (ненормированные): предмет -- метод -- имена -- предикаты -- предложения -- трансформации -- перифразы -- формализация -- модальность -- семантическое согласование -- эволюция -- история -- слои грамматики Доп.точки доступа: Караулов, Ю.Н. \ред.\; АН СССР. Ин-т языкознания Экземпляры всего: 3 Ч.з.1 (3) Свободны: Ч.з.1 (3) |