Я29 Яглом, И. М. Необыкновенная алгебра [Текст] / И. М. Яглом. - М. : Наука, 1968. - 71 с. : с черт. - 0.12 р.
Кл.слова (ненормированные): Математика -- алгебра логики -- булевы функции -- алгебра Экземпляры всего: 3 2к (3) Свободны: 2к (3) |
Г75 Градштейн, И. С. Прямая и обратная теоремы: Элементы алгебры логики [Текст] / И. С. Градштейн. - 5-е изд. - М. : Наука, 1973. - 128 с. - 0.24 р.
Кл.слова (ненормированные): Математика -- алгебра логики -- обратные задачи -- теоремы -- аксиомы -- множества -- доказательства Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
Д72 Драбкина, М. Е. Логические упражнения по элементарной математике [Текст] : Учеб. пособие для матем. фак. пед. вузов / М. Е. Драбкина. - Минск : Высшая школа, 1965. - 160 с. - 0.28 р.
Кл.слова (ненормированные): Математика -- математическая логика -- задачи -- алгебра логики -- алгебраическая логика -- логика предикатов -- символы Экземпляры всего: 3 2к (3) Свободны: 2к (3) |
Д35 Депман, И. Я. Первое знакомство с математической логикой [Текст] / И. Я. Депман. - Л. : Знание, 1963. - 56 с. : ил. - 0.08 р.
Кл.слова (ненормированные): Математика -- математическая логика -- логика -- история математической логики -- алгебра логики -- алгебра -- алгебра высказываний -- логические уравнения -- решения -- решение задач Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
Д48 Дискретная математика и математические вопросы кибернетики [Текст] : в 2 томах / Под ред. С.В. Яблонского, О.Б. Лупанова. - М. : Наука, 1974. Т. 1. - 1974. - 311 с. : черт. - 1.43 р.
Кл.слова (ненормированные): Математика -- эффективное кодирование -- коды -- сети -- графы -- метрические свойства -- алгоритмы построения -- дизъюнктивные нормальные формы -- к-значная логика -- алгебра логики -- теория кодирования -- теоретическая кибернетика -- теория графов -- дизъюнкции -- многозначная логика -- функциональные пространства -- кибернетика -- вычислительная математика -- дискретная математика Доп.точки доступа: Яблонский С.В. \ред.\; Лупанов О.Б. \ред.\ Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
В57 Владимиров, Д. А. Булевы алгебры [Текст] / Д. А. Владимиров. - М. : Наука, 1969. - 318 с. : с черт. - 1.16 р.
Кл.слова (ненормированные): Математика -- алгебра -- алгебра логики -- булевы алгебры Экземпляры всего: 4 2к (4) Свободны: 2к (4) |
Г49 Гиндикин, С. Г. Алгебра логики в задачах [Текст] / С. Г. Гиндикин. - М. : Наука, 1972. - 288 с. : черт. - 0.76 р.
Кл.слова (ненормированные): Математика -- высшая математика -- высшая алгебра -- алгебра логики -- задачи -- задачи по математике Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
Л65 Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник - практикум и решения: Учеб. пособие [Текст] / Л. М. Лихтарников. - 3-е изд., испр. - СПб. : ЛАНЬ, 2008. - 288 с. - (Учебники для вузов. Специальная литература). - 350.00 р., 460.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- лекции -- задачник -- практикумы -- учебное пособие для вузов -- алгебра логики -- исчисление высказываний -- математические теории -- алгоритмы -- логика предикатов -- предикаты -- алгебра Буля Экземпляры всего: 11 2к (10), 6к (1) Свободны: 2к (10), 6к (1) |