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

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Алгебра высказываний<.>)
Общее количество найденных документов : 11
Показаны документы с 1 по 11
1.
   517
   И 269

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 201.40 р., 201.40 р.
27.03.19
27.03.17
УДК
510.6
510.51](075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
   Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

Экземпляры всего: 20
Х (1), ЧЗЕ (1), АБУ (18)
Свободны: Х (1), ЧЗЕ (1), АБУ (18)
Найти похожие
2.
   517
   И 269

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 5-7695-3728-0 : 193.10 р., 193.10 р.
27.03
УДК
510.6
510.51](076.1)
Рубрики: Математика--Математическая логика--Алгоритмы--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ

Экземпляры всего: 30
Х (1), ЧЗЕ (1), АБУ (28)
Свободны: Х (1), ЧЗЕ (1), АБУ (28)
Найти похожие
3.
   517
   А 456

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


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

   
    Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для студентов вузов, обучающихся по специальностям в области 090100 - "Информационная безопасность" / М. М. Глухов, О. А. Козлитин, В. А. Шапошников, А. Б. Шишков. - Санкт-петербург ; Москва ; Краснодар : Лань, 2008. - 112 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5 : 109.20 р., 109.20 р.
ГРНТИ
27.03
УДК
510.6
519.1
510.51](076.1)
Рубрики: Математическая логика--Задачники
   Дискретная математика--Задачники
   Алгоритмы--Теория--Задачники
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА (ЗАДАЧИ) -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АЛГЕБРА ПРЕДИКАТОВ -- ДИСКРЕТНЫЕ ФУНКЦИИ (ЗАДАЧИ) -- БУЛЕВЫ ФУНКЦИИ -- ТЕОРИЯ АЛГОРИТМОВ (ЗАДАЧИ) -- АЛГОРИТМОВ ТЕОРИЯ


Доп.точки доступа:
Глухов, Михаил Михайлович; Козлитин, Олег Алексеевич; Шапошников, Виталий Анатольевич; Шишков, Алексей Борисович
Экземпляры всего: 3
Х (1), АБУ (1), ЧЗЕ (1)
Свободны: Х (1), АБУ (1), ЧЗЕ (1)
Найти похожие
5.
   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)
Найти похожие
6.
   51
   Н 731

    Новиков, Петр Сергеевич.
    Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 с. - 1.11 р., 1.11 р.
ГРНТИ
27
УДК
51
Рубрики: Математика
Кл.слова (ненормированные):
Математическая логика -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Аксиоматическая арифметика -- Теория доказательств

Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
7.
   512
   Я 297

    Яглом, Исаак Моисеевич.
    Необыкновенная алгебра / И. М. Яглом. - Москва : Наука, 1968. - 70с. с. : ил., портр. ; 22 см. - Библиогр.: с. 68 (8 назв.). - 0.12 р.
УДК
512
Рубрики: Физико-математические науки -- Математика -- Алгебра -- Высшая алгебра -- Структуры -- Булевы кольца и алгебры. Дистрибутивные структуры -- Популярные издания
   Алгебра логики
Кл.слова (ненормированные):
Алгебры Буля -- Алгебра высказываний

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

    Новиков, Петр Сергеевич.
    Элементы математической логики / П. С. Новиков. - 2-е изд., испр. - Москва : Наука, 1973. - 400 с. - (Математическая логика и основания математики). - 1.43 р., 1.43 р.
ГРНТИ
27
УДК
517
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ

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

    Новиков, Петр Сергеевич.
    Конструктивная математическая логика с точки зрения классической / П. С. Новиков. - Москва : Наука, 1977. - 328 с. - (Математическая логика и основания математики). - Библиогр.: с. 318. - 1.43 р., 1.43 р.
ГРНТИ
27
УДК
517
Рубрики: Математика
Кл.слова (ненормированные):
Математическая логика -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Аксиоматическая арифметика

Экземпляры всего: 3
АБН (2), Х (1)
Свободны: АБН (2), Х (1)
Найти похожие
10.
34675

    Сухотин, А. М.
    Математика в вузе. Альтернативная методология и инновационное обучение [Электронный ресурс] : учебное пособие / Сухотин А. М. - Томск : Томский политехнический университет, 2012. - 224 с. - ISBN 978-5-4387-0117-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
51
ББК 22.1я73

Кл.слова (ненормированные):
алгебра высказываний -- архитектура математики -- высшая математика -- инновационное обучение
Аннотация: В пособии введены основные понятия высшей математики в альтернативной методологии, инновационные понятия: С-пары натуральных переменных, е-расходящиеся и w-сходящиеся числовые последовательности и др. Дано описание дидактической системы активизации познавательной самостоятельной деятельности студентов, представленной методологическими, методическими, содержательно-организационными и иными педагогическими условиями. Предназначено для всех участников учебного процесса в техническом вузе: студентов, преподавателей, слушателей ФПК и иных пользователей высшей математики.

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Тарбокова, Т. В.
Свободных экз. нет
Найти похожие
11.
55636

    Шмырин, А. М.
    Лекции по дискретной математике и математической логике [Электронный ресурс] : учебное пособие / Шмырин А. М. - Липецк : Липецкий государственный технический университет, ЭБС АСВ, 2014. - 160 с. - ISBN 978-5-88247-714-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
519
ББК 22.1

Кл.слова (ненормированные):
алгебра высказываний -- дискретная математика -- математическая логика -- транспортная сеть -- элемент графа
Аннотация: Учебное пособие соответствует государственному образовательному стандарту дисциплин «Дискретная математика», «Математическая логика и теория алгоритмов». Пособие содержит краткий курс дискретной математики и математической логики. В каждом разделе приведены подробно разобранные примеры. Данное пособие предназначено для студентов направлений подготовки 010800.62 – «Механика и математическое моделирование», 220100.62 – «Системный анализ и управление», а также студентов других технических специальностей, изучающих дискретную математику.

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Седых, И. А.
Свободных экз. нет
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 30.06.2024
Число запросов 24557
Число посетителей 307
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)