Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Алгебра логики<.>)
Общее количество найденных документов : 33
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-33 
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 р.
ГРНТИ
27.03.19
УДК
510.63
Рубрики: Математическая логика
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ


Доп.точки доступа:
Kudrjavcev, Valeriy Borisovitch; Blohina, Galina Nikolayevna; Ziga, Knap; Kudrjavcev, Valeriy Valerievitch
Экземпляры всего: 1
ОИЛ (1)
Свободны: ОИЛ (1)
Найти похожие
2.
   517
   А 456

   
    Алгебра логики / В. Б. Кудрявцев, Г. Н. Блохина, Ж. Кнап, В. В. Кудрявцев ; Моск. гос. ун-т им. М. В. Ломоносова. - М. ; Любляна : Изд-во ЦПИ при мех.-мат. фак. МГУ, 2006. - 200 с. : ил. - Библиогр.: с. 198-199. - 70 р.
ГРНТИ
27.03.19
УДК
510.63
Рубрики: Математическая логика
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ


Доп.точки доступа:
Кудрявцев, Валерий Борисович; Блохина, Галина Николаевна; Кнап, Жига; Кудрявцев, Валерий Валерьевич; Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
3.
   517
   Р 293

    Рвачев, Владимир Логвинович.
    Алгебра логики и интегральные преобразования в краевых задачах / В. Л. Рвачев, А. П. Слесаренко ; Академия наук Украинской ССР, Институт проблем машиностроения. - Киев : Наукова думка, 1976. - 288 с. - 1.99 р., 1.99 р.
ГРНТИ
27.23
УДК
517
Рубрики: Математический анализ
Кл.слова (ненормированные):
КРАЕВЫЕ ЗАДАЧИ -- ИНТЕГРАЛЬНЫЕ ПРЕОБРАЗОВАНИЯ -- АЛГЕБРА ЛОГИКИ -- ТЕМПЕРАТУРНЫЕ ПОЛЯ (ДВУМЕРНЫЕ) -- НЕСТАЦИОНАРНЫЕ ПОЛЯ -- НЕЛИНЕЙНЫЕ ЗАДАЧИ (ТЕПЛОПРОВОДНОСТЬ)


Доп.точки доступа:
Слесаренко, Анатолий Павлович; Академия наук Украинской ССРИнститут проблем машиностроения
Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
4.
   681
   У 847

    Уткин, Анатолий Александрович.
    Анализ логических сетей и техника булевых вычислений / А. А. Уткин ; ред. А. Д. Закревский ; Академия наук БССР, Институт технической кибернетики. - Минск : Наука и техника, 1979. - 152 с. : ил. - Библиогр.: с. 151 (18 назв.). - 1 р.
ГРНТИ
50
УДК
004.312.22'12
Рубрики: Логические схемы, блоки
Кл.слова (ненормированные):
вычислительные машины -- проектирование -- математические методы -- алгебра логики


Доп.точки доступа:
Закревский, А. Д. \ред.\; Академия наук БССРИнститут технической кибернетики
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
5.
   62
   П 442

    Подлипенский, В. С.
    Бесконтактные логические схемы автоматики. (Основы построения) : справочное руководство / В. С. Подлипенский ; Академия наук Украинской ССР. - Киев : Наукова думка, 1965. - 216 с. : ил. - 0.78 р.
ГРНТИ
20
УДК
681.584
Рубрики: Реле (в системах регулирования)
Кл.слова (ненормированные):
Алгебра логики -- Логические схемы -- Логические элементы


Доп.точки доступа:
Академия наук Украинской ССР
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
6.
   512
   С 356

    Сикорский, Роман.
    Булевы алгебры / Р. Сикорский ; пер. с английского А. С. Мищенко. - Москва : Мир, 1969. - 375 с. - Библиогр.: с. 340-369. - Предм. указ.: с. 370-373 . - 1.44 р.
ГРНТИ
27
УДК
512.563
Рубрики: Булевые кольца и алгебры
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ


Доп.точки доступа:
Мищенко, А. С. \пер. с английского.\
Экземпляры всего: 3
Х (1), АБН (2)
Свободны: Х (1), АБН (2)
Найти похожие
7.
   51
   Ш 653

    Шиханович, Юрий Александрович.
    Введение в современную математику : Начальные понятия / Ю. А. Шиханович. - Москва : Наука : Физматлит, 1965. - 376 с. : ил. - Библиогр.: с. 367. - 1.00 р.
ГРНТИ
27
УДК
51
Рубрики: Математика
Кл.слова (ненормированные):
Математика (термины) -- Математический язык -- Множества -- Кортеж (математика) -- Алгебра логики -- Соответствие (математика) -- Функции (математика) -- Отношение (математика)

Экземпляры всего: 1
АБН (1)
Свободны: АБН (1)
Найти похожие
8.
   517
   Р 293

    Рвачев, Владимир Логинович.
    Геометрические приложения алгебры логики / В. Л. Рвачев. - Киев : Технiка, 1967. - 212 с. : ил. - Библиогр.: с. 207-209. - 0.70 р.
ГРНТИ
27.03
УДК
510.63
Рубрики: Логико-предметные теории
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
9.
   512
   Л 551

    Либер, Александр Евгеньевич.
    Двоичная Булева алгебра и ее приложения / А. Е. Либер. - Саратов : Издательство Саратовского университета, 1966. - 80 с. : ил. - 0.16 р.
ГРНТИ
27
УДК
512.563
Рубрики: Булевые кольца и алгебры
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- ФУНКЦИИ БУЛЕВЫ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
10.
   517
   З-201

    Закревский, Аркадий Дмитриевич.
    Логические уравнения / А. Д. Закревский. - Минск : Наука и техника, 1975. - 95 с. - 0.42 р.
ГРНТИ
27
УДК
510.6
Рубрики: Математическая логика
Кл.слова (ненормированные):
АЛГЕБРА логики

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
 1-10    11-20   21-30   31-33 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 07.08.2024
Число запросов 24783
Число посетителей 466
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)