519 В67 Волгин, Леонид Иванович. Свойства и структуры функций осреднения [Текст] / Леонид Иванович Волгин. - Таллинн : АО KLTK, 1992. - 71с. : ил. - Библиогр.:с.58-63. - 24 р.
Кл.слова (ненормированные): алгебра логики Аннотация: На множестве взвешанных степенных функций осреднения получен ряд вложенных математических структур-комплементарная алгебра,предикатная алгебра,бесконечнозначная логика,многозначные логики Экземпляры всего: 1 Х (1) Свободны: Х (1) |
16 Ш 96 Шуман, Андрей Николаевич. Современная логика: теория и практика / А. Н. Шуман. - Минск : Экономпресс, 2004. - 416 с. - Библиогр.: с. 339-389. - ISBN 985-6479-35-5 : 247.50130.60, 247.50 р.
РУБ 16 Рубрики: Логика Кл.слова (ненормированные): Логика -- Логика высказываний -- Логика предикатов -- Алгебра логики -- Множеств теория -- Алгебраические системы -- Вероятностная логика -- Неформальная логика Экземпляры всего: 2 Х (1), ЧЗГ (1) Свободны: Х (1), ЧЗГ (1) |
681 А 655 Андреева, Елена Владимировна (канд. физ.-мат. наук, информатика). Математические основы информатики : учебное пособие / Е. В. Андреева, Л. Л. Босова, И. Н. Фалина. - Москва : БИНОМ. Лаборатория знаний, 2005. - 328 с. : ил. - (Элективный курс. Математика). - Предм. указ.: с. 320-328. - ISBN 5-94774-139-3 в пер : 140 р.
Кл.слова (ненормированные): Информатика -- Алгебра логики -- Теория информации -- Системы счисления -- Теория алгоритмов -- Вычислительная геометрия -- Компьютерная графика -- Образовательный курс Доп.точки доступа: Босова, Людмила Леонидовна; Фалина, Ирина Николаевна Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 А 456 Алгебра логики / В. Б. Кудрявцев, Г. Н. Блохина, Ж. Кнап, В. В. Кудрявцев ; Моск. гос. ун-т им. М. В. Ломоносова. - М. ; Любляна : Изд-во ЦПИ при мех.-мат. фак. МГУ, 2006. - 200 с. : ил. - Библиогр.: с. 198-199. - 70 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ Доп.точки доступа: Кудрявцев, Валерий Борисович; Блохина, Галина Николаевна; Кнап, Жига; Кудрявцев, Валерий Валерьевич; Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 Р 648 Розитис, Теодор Янович. Функции алгебры логики : учеб. пособие / Т. Я. Розитис ; Межотраслев. ин-т повышения квалификации специалистов нар. хоз-ва ЛатвССР. - Рига : МИПКСНХ ЛатвССР, 1976. - 19 с. - 0.04 р.
Кл.слова (ненормированные): алгебра логики Доп.точки доступа: Межотраслевой институт повышения квалификации специалистов народного хозяйства ЛатвССР Экземпляры всего: 1 Х (1) Свободны: Х (1) |
62 Ю 204 Юзефович, Гарри Иосифович. Элементы алгебры логики и проектирование однотактных схем управления : учеб. пособие / Г. И. Юзефович ; ЛЛТА. - Л. : [б. и.], 1971. - 71 с. : с черт. - 0.25 р.
Кл.слова (ненормированные): Алгебра логики -- Автоматические системы управления -- Логические схемы Доп.точки доступа: Ленинградская лесотехническая академия Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 Щ 334 Щеглов, Алексей Иванович. Элементарное введение в теорию множеств и алгебру логики : учебное пособие / А. И. Щеглов ; Иванов. гос. ун-т. - Иваново : ИвГУ, 1978. - 59 с. : ил. - 0.24 р.
Кл.слова (ненормированные): МНОЖЕСТВ ТЕОРИЯ -- АЛГЕБРА ЛОГИКИ Доп.точки доступа: Ивановский государственный университет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 С 195 Сапоженко, Александр Антонович. Проблема Дедекинда и метод граничных функционалов / А. А. Сапоженко. - Москва : Физматлит, 2009. - 152 с. - Библиогр.: с. 146-150. - ISBN 978-5-9221-1117-1 : 105 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- МОНОТОННЫЕ БУЛЕВЫ ФУНКЦИИ -- ГРАНИЧНЫХ ФУНКЦИОНАЛОВ МЕТОД -- АСИМПТОТИКА Экземпляры всего: 1 Х (1) Свободны: Х (1) |
51 K 89 Algebra logike / V. B. Kudrjavcev. - Ljubljana : ZOTKS, 2010. - 200 с. : ил. - (Zbirka Univerza za 21. stoletje). - На англ. яз. - Библиогр.: с. 198-199. - ISBN 978-961-6243-58-2 : 150.00 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ Доп.точки доступа: Kudrjavcev, Valeriy Borisovitch; Blohina, Galina Nikolayevna; Ziga, Knap; Kudrjavcev, Valeriy Valerievitch Экземпляры всего: 1 ОИЛ (1) Свободны: ОИЛ (1) |
51 Ш 653 Шиханович, Юрий Александрович. Введение в современную математику : Начальные понятия / Ю. А. Шиханович. - Москва : Наука : Физматлит, 1965. - 376 с. : ил. - Библиогр.: с. 367. - 1.00 р.
Кл.слова (ненормированные): Математика (термины) -- Математический язык -- Множества -- Кортеж (математика) -- Алгебра логики -- Соответствие (математика) -- Функции (математика) -- Отношение (математика) Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
681 У 847 Уткин, Анатолий Александрович. Анализ логических сетей и техника булевых вычислений / А. А. Уткин ; ред. А. Д. Закревский ; Академия наук БССР, Институт технической кибернетики. - Минск : Наука и техника, 1979. - 152 с. : ил. - Библиогр.: с. 151 (18 назв.). - 1 р.
Кл.слова (ненормированные): вычислительные машины -- проектирование -- математические методы -- алгебра логики Доп.точки доступа: Закревский, А. Д. \ред.\; Академия наук БССРИнститут технической кибернетики Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 П 395 Плоткин, Борис Исакович (1925-). Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин. - Москва : Наука, 1991. - 446 с. : ил ; 22. - Библиогр.: с. 435-442. - 3960 экз. - 4.64 р., 4.64 р.
Кл.слова (ненормированные): Алгебра логики -- Базы данных -- Множества Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
517 Г 754 Градштейн, Израиль Соломонович. Прямая и обратная теоремы : Элементы алгебры логики / И. С. Градштейн. - 5-е изд. - Москва : Наука, 1973. - 128 с. : ил. - 0.24 р., 0.24 р.
Кл.слова (ненормированные): Алгебра логики -- Математическая логика -- Множества Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
517 Р 293 Рвачев, Владимир Логвинович. Алгебра логики и интегральные преобразования в краевых задачах / В. Л. Рвачев, А. П. Слесаренко ; Академия наук Украинской ССР, Институт проблем машиностроения. - Киев : Наукова думка, 1976. - 288 с. - 1.99 р., 1.99 р.
Кл.слова (ненормированные): КРАЕВЫЕ ЗАДАЧИ -- ИНТЕГРАЛЬНЫЕ ПРЕОБРАЗОВАНИЯ -- АЛГЕБРА ЛОГИКИ -- ТЕМПЕРАТУРНЫЕ ПОЛЯ (ДВУМЕРНЫЕ) -- НЕСТАЦИОНАРНЫЕ ПОЛЯ -- НЕЛИНЕЙНЫЕ ЗАДАЧИ (ТЕПЛОПРОВОДНОСТЬ) Доп.точки доступа: Слесаренко, Анатолий Павлович; Академия наук Украинской ССРИнститут проблем машиностроения Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
517 Р 293 Рвачев, Владимир Логинович. Геометрические приложения алгебры логики / В. Л. Рвачев. - Киев : Технiка, 1967. - 212 с. : ил. - Библиогр.: с. 207-209. - 0.70 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 Г 194 Ганов, Валерий Александрович. Общая теория вычислений с оракулами / В. А. Ганов, Н. В. Белякин ; Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск : ИМ, 1989. - 136 с. : ил. - Библиогр.: с. 135 . - 0.80 р.
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (ВЫЧИСЛЕНИЯ) -- АЛГЕБРА ЛОГИКИ Доп.точки доступа: Белякин, Н. В.; Академия наук СССР. Сибирское отделениеИнститут математики Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 Г 830 Григолия, Реваз Шотаевич. Свободные алгебры неклассических логик / Р. Ш. Григолия ; Академия наук Грузинской ССР, Институт кибернетики. - Тбилиси : Мецниереба, 1987. - 110 с. : ил. - Библиогр.: с. 107-109 . - 1.10 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ Доп.точки доступа: Академия наук Грузинской ССР; Институт кибернетики Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 Л 551 Либер, Александр Евгеньевич. Двоичная Булева алгебра и ее приложения / А. Е. Либер. - Саратов : Издательство Саратовского университета, 1966. - 80 с. : ил. - 0.16 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- ФУНКЦИИ БУЛЕВЫ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 М 545 Методы решения булевых уравнений / Н. Н. Катериночкина [и др.] ; Академия наук СССР, Вычислительный центр. - Москва : Вычислительный центр Академии наук СССР, 1988. - 21 с. - (Сообщения по прикладной математике). - 0.05 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- УРАВНЕНИЯ БУЛЕВЫ Доп.точки доступа: Катериночкина, Н. Н.; Королева, З. Е.; Мадатян, Х. А.; Платоненко, И. М.; Академия наук СССР. Вычислительный центр Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 С 356 Сикорский, Роман. Булевы алгебры / Р. Сикорский ; пер. с английского А. С. Мищенко. - Москва : Мир, 1969. - 375 с. - Библиогр.: с. 340-369. - Предм. указ.: с. 370-373 . - 1.44 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ Доп.точки доступа: Мищенко, А. С. \пер. с английского.\ Экземпляры всего: 3 Х (1), АБН (2) Свободны: Х (1), АБН (2) |