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) |
512 Ц 329 Цейтлин, Г. Е. Формальные преобразования в алгоритмической алгебре историй / Г. Е. Цейтлин ; Академия наук Украинской ССР, Институт кибернетики. - Киев : ИК, 1973. - 28 с. - Библиогр.: с. 27-28 . - 0.08 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- АЛГОРИТМИЗАЦИЯ ПРОЦЕССА Доп.точки доступа: Академия наук Украинской ССР; Институт кибернетики Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 А 468 Алексанян, А. А. О классах функций алгебры логики / А. А. Алексанян. - Москва : Вычислительный центр Академии наук СССР, 1981. - 13 с. - (Сообщения по прикладной математике / Академия наук СССР, ВЦ). - Библиогр. в конце кн. - 0.05 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Г 492 Гинзбург, Самуил Александрович . Математическая непрерывная логика и изображение функций / С. А. Гинзбург. - Москва : Энергия, 1968. - 136 с. - (Библиотека по автоматике ; вып. 274). - 0.43 р.
Кл.слова (ненормированные): алгебра логики Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 З-201 Закревский, Аркадий Дмитриевич. Логические уравнения / А. Д. Закревский. - Минск : Наука и техника, 1975. - 95 с. - 0.42 р.
Кл.слова (ненормированные): АЛГЕБРА логики Экземпляры всего: 1 Х (1) Свободны: Х (1) |
621.3 М 215 Мальцева, Любовь Алексеевна. Основы цифровой техники / Л. А. Мальцева, Э. М. Фромберг, В. С. Ямпольский ; ред.: Б. Г. Белкин [и др.]. - науч.-попул. изд. - Москва : Радио и связь, 1986. - 127 с. - (Массовая радиобиблиотека (МРБ) ; вып. 1097). - Библиогр. : с. 125 - 126 (37 назв.). - На с. 121 - 124 : Приложения. Таблица прошивок ПЗУ таймера ; Основные данные микросхем серии К155. - 0.70 р. Содержание: Общие сведения о цифровой технике Логические элементы Основные узлы цифровых устройств Запоминающие устройства цифровой техники Устройства ввода и вывода цифровой информации Микропроцессорные устройства.
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА -- КОДИРОВАНИЕ -- АЛГЕБРА ЛОГИКИ -- ПРОГРАММИРОВАНИЕ -- ЦИФРОВЫЕ ИНТЕГРАЛЬНЫЕ МИКРОСХЕМЫ Аннотация: В доступной форме изложены основы цифровой техники. Кратко рассмотрены системы счисления, принципы кодирования информации, элементы алгебры логики. Даны схемы основных узлов цифровых устройств и их базовых элементов. Описание ведется на примере перспективных серий цифровых интегральных схем широкого применения,являющихся предпочтительными при конструировании цифровых устройств в радиолюбительской практике. Доп.точки доступа: Фромберг, Эдуард Михайлович; Ямпольский, Владимир Самуилович; Белкин, Б. Г. \ред.\; Бирюков, С. А. \ред.\; Борисов, В. Г. \ред.\; Геништа, Е. Н. \ред.\; Гороховский, А. В. \ред.\; Ельяшкевич, С. А. \ред.\; Жеребцов, И. П. \ред.\; Корольков, В. Г. \ред.\; Поляков, В. Т. \ред.\; Смирнов, А. Д. \ред.\; Тарасов, Ф. И. \ред.\; Фролов, О. П. \ред.\; Хотунцев, Ю. Л. \ред.\; Чистяков, Н. И. \ред.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
621.3 Г 124 Гаврилов, Михаил Александрович. Теория релейно-контактных схем : Анализ и синтез структуры релейно-контактных схем / М. А. Гаврилов ; ред. : В. С. Кулебакин ; АН СССР. Ин-т автоматики и телемеханики. - Москва ; Ленинград : Изд-во АН СССР, 1950. - 304 с. : рис., табл. - Библиогр.: с. 298 - 299 (41 назв.). - 2 р.
Кл.слова (ненормированные): РЕЛЕЙНЫЕ СХЕМЫ -- КОНТАКТНЫЕ СХЕМЫ -- АЛГЕБРА ЛОГИКИ Доп.точки доступа: Кулебакин, В. С. \ред.\; Институт автоматики и телемеханики АН СССР (М.) Экземпляры всего: 1 Х (1) Свободны: Х (1) |
62 К 266 Карповский, Марк Гиршевич. Спектральные методы анализа и синтеза дискретных устройств / М. Г. Карповский, Э. С. Москалев. - Ленинград : Энергия, 1973. - 144 с. - (Библиотека по автоматике ; вып. 507). - 0.40 р.
Кл.слова (ненормированные): алгебра логики -- синтез (спектральный метод) Доп.точки доступа: Москалев, Эдуард Сергеевич Экземпляры всего: 1 Х (1) Свободны: Х (1) |
62 П 442 Подлипенский, В. С. Бесконтактные логические схемы автоматики. (Основы построения) : справочное руководство / В. С. Подлипенский ; Академия наук Украинской ССР. - Киев : Наукова думка, 1965. - 216 с. : ил. - 0.78 р.
Кл.слова (ненормированные): Алгебра логики -- Логические схемы -- Логические элементы Доп.точки доступа: Академия наук Украинской ССР Экземпляры всего: 1 Х (1) Свободны: Х (1) |
54777 Микушин, А. В. Схемотехника цифровых устройств [Электронный ресурс] : учебное пособие / Микушин А. В. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2007. - 327 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): алгебра логики -- диодно-транзисторная логика -- мультиплексор -- схемотехника -- цифровая микросхема -- цифровое устройство Аннотация: Учебное пособие предназначено для студентов радиотехнических специальностей, однако может быть использовано как радиолюбителями, так и инженерами, желающими освоить новые методы исследования цифровых схем. Пособие содержит описание цифровой техники, достаточное для понимания начинающими читателями. В качестве примеров применения цифровых микросхем использованы наиболее распространенные узлы радиоэлектронной аппаратуры. Особое внимание уделено применению цифровой техники в аппаратуре связи. При этом подробно рассмотрены особенности цифрового формирования радиосигналов и прием этих сигналов в цифровой форме. Перейти: Перейти к просмотру издания Доп.точки доступа: Сединин, В. И. Свободных экз. нет |
9593 Толстых, О. С. Математика и информатика [Электронный ресурс] : учебное пособие / Толстых О. С. - Краснодар : Южный институт менеджмента, 2012. - 92 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): алгебра логики -- алгоритмизация -- глобальная сеть -- защита информации -- информатика -- информационный процесс -- локальная сеть -- математика -- учебное пособие -- эвм Аннотация: В учебном пособии изложены следующие разделы: основные понятия и методы теории информатики и кодирования, сигналы, данные, информация, общая характеристика процессов сбора, передачи, обработки и накопления информации, технические средства реализации информационных процессов, программные средства реализации информационных процессов, алгоритмизация, алгебра логики, локальные и глобальные сети ЭВМ, защита информации в сетях. Учебное пособие предназначено студентам Высшей школы международного бизнеса Южного института менеджмента, обучающимся по специальности 031301 «Теоретическая и прикладная лингвистика», для использования при подготовке к практическим занятиям и экзамену по дисциплине «Математика и информатика». Перейти: Перейти к просмотру издания Свободных экз. нет |
20016 Гордеев-Бургвиц, М. А. Основы алгебры логики и проектирование систем управления электроприводами объектов стройиндустрии [Электронный ресурс] : учебное пособие / Гордеев-Бургвиц М. А. - Москва : Московский государственный строительный университет, ЭБС АСВ, 2012. - 32 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): алгебра логики -- бесконтактная система -- логический синтез -- стройиндустрия -- управление электроприводом Аннотация: Содержатся материалы для практического изучения логического синтеза автоматических систем управления электроприводами объектов стройиндустрии. Приведены сведения о применении математического аппарата алгебры логики для построения бесконтактных логических систем управления, применяющихся на объектах стройиндустрии водопроводноканализационных и очистных сооружениях. Показано построение функциональных схем автоматизации технологических процессов, а также действующих систем управления электроприводами-агрегатами. Перейти: Перейти к просмотру издания Свободных экз. нет |
55492 Бернштейн, Т. В. Практикум по дискретной математике [Текст] : учебное пособие / Бернштейн Т. В. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2014. - 131 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): алгебра логики -- детерминированные автоматы -- дискретная математика -- комбинаторика -- предикаты Аннотация: Учебное пособие содержит краткие теоретические сведения, примеры и задания по основным разделам дискретной математики: теории множеств, математической логике, теории алгоритмов, теории графов, конечным автоматам и комбинаторике. В заключение дается 2 варианта тестовых заданий и 30 вариантов контрольных заданий, охватывающих большую часть курса. Пособие предназначено для проведения практических занятий по дискретной математике при подготовке инженеров, а также бакалавров и магистров (направление «Телекоммуникации»). Для подготовки дипломированных специалистов по направлениям 11.03.02 «Инфокоммуникационные технологии и системы связи», 11.04.02 «Инфокоммуникационные технологии и системы связи», 09.03.02 «Информационные системы и технологии». Перейти: Перейти к просмотру издания Доп.точки доступа: Храмова, Т. В. Свободных экз. нет |
62252 Макаров, В. Г. Проектирование цифровой системы управления автоматической линии станков [Электронный ресурс] : учебное пособие / Макаров В. Г. - Казань : Казанский национальный исследовательский технологический университет, 2014. - 240 с. - ISBN 978-5-7882-1641-6 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): автоматическая линия -- алгебра логики -- инвертор напряжения -- линия станков -- проектирование системы -- система управления -- трёхфазный инвертор -- цифровая система Аннотация: Приведены общие сведения об автоматических линиях станков. Изложены основы алгебры логики. Рассмотрены классификация цифровых устройств, а также методики синтеза счетчиков и дешифраторов. Приведены результаты синтеза и компьютерного моделирования цифровой системы управления автоматической линии станков, составной частью которой является система управления трехфазного автономного инвертора напряжения. Предназначено для бакалавров и магистров, обучающихся по направлению 140400 – «Электроэнергетика и электротехника», профиль подготовки «Электропривод и автоматика». Подготовлено на кафедре электропривода и электротехники. Перейти: Перейти к просмотру издания Свободных экз. нет |