Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Книги" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
в найденном
 Найдено в других БД:БД "Статьи" (38)Труды АМГУ (3)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=булевы функции<.>)
Общее количество найденных документов : 24
Показаны документы с 1 по 20
 1-20    21-24 
1.
22.161.5
П27

    Перязев, Н. А.
    Основы теории булевых функций [Текст] / Перязев Н.А. - М. : Физматлит, 1999. - 111с. - ISBN 592210005Х : 25-00 р.
ББК 22.161.5
Рубрики: Математический анализ
Кл.слова (ненормированные):
булевы функции -- дифференциальное исчисление -- полиномиальные формы

Экземпляры всего: 2
ч.з. (2)
Свободны: ч.з. (2)
Найти похожие
2.
   22.17
   Е79

    Ерусалимский, Я. М.
    Дискретная математика: теория, задачи, приложения [Текст] : учеб. пособие / Ерусалимский Я.М. - 3-е изд. - М. : Вуз. книга, 2000. - 280 с. - ISBN 5895220347 :
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
дискретная математика -- алгебра высказываний -- алгебра предикатов и множеств -- отображения -- булевы функции -- теория графов -- учебное пособие
ч.з.
Свободных экз. нет
Найти похожие
3.
   22.17
   М30

    Марченков, С. С.
    Замкнутые классы булевых функций [Текст] : научное издание / С.С. Марченков. - М. : Физматлит, 2000. - 128 с. - ISBN 5-9221-0066-1 : 36.30 р.
ББК 22.176
Рубрики: Дискретный анализ
Кл.слова (ненормированные):
БУЛЕВЫ ФУНКЦИИ -- булевы предикаты

Экземпляры всего: 3
аб. (2), ч.з. (1)
Свободны: аб. (2), ч.з. (1)
Найти похожие
4.
   22.12
   К72

    Костенко, Светлана Владимировна.
    Элементы математической логики с приложением [Текст] : Учеб. -метод. пособие / С. В. Костенко, Т. А. Маничева, А. П. Филимонова ; АмГУ, ФМиИ. - Благовещенск : Изд-во Амур. гос. ун-та, 2002. - 32 с. - Библиогр.: с. 32. - 7.00 р.
ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
логические операции -- булевы функции -- релейно-контактные схемы


Доп.точки доступа:
Маничева, Татьяна Александровна; Филимонова, Анна Павловна; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 5
аб., ч.з., эн.ф. (5)
Свободны: эн.ф. (5)
Найти похожие
5.
   22.17
   Р33

    Редькин, Н. П.
    Дискретная математика [Текст] : курс лекций для студентов-механиков: учеб. пособие: рек. Мин. обр. РФ / Н.П. Редькин. - 2-е изд., стер. - СПб. : Лань, 2003, 2006. - 96 с. : рис. - (Учебники для вузов. Спец. лит.). - Библиогр.: с. 96. - ISBN 5-8114-0522-7 : 51.92 р., 28.82 р.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
комбинаторные числа -- графы и сети -- двудольные графы -- булевы функции -- метод Шеннона -- оптимальное кодирование -- коды Хэмминга -- дискретные задачи

Экземпляры всего: 17
аб. (14), ч.з. (3)
Свободны: аб. (14), ч.з. (3)
Найти похожие
6.
   22.12
   З-26

    Замятин, Алексей Петрович.
    Математическая логика [Текст] : учеб. пособие: рек. УМО / А. П. Замятин. - Екатеринбург : Изд-во Урал. ун-та, 2004. - 140 с. : рис., табл. - Библиогр.: с. 138 . - ISBN 5-7996-0191-2 : 25.00 р.
ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
логика высказываний -- булевы функции -- логика предикатов первого порядка -- метод резолюций

Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
7.
   22.12
   И26

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2005. - 304 с. - (Высшее проф. образование. Педагогические специальности). - Библиогр.: с. 301 . - ISBN 5-7695-1364-0 (в пер.) : 237.93 р.
ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- булевы функции -- формализованное исчисление высказываний -- логика предикатов -- теория алгоритмов

Экземпляры всего: 7
аб. (7), ч.з.
Свободны: аб. (7)
Найти похожие
8.
   22.12
   И26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2004. - 448 с. - (Высшее проф. образование : педагогические специальности). - Библиогр.: с. 435. - ISBN 5-7695-1363-2 (в пер.) : 253.00 р., 2500002201361 р.
ББК 22.12я73
Рубрики: Математическая логика--теория алгоритмов
Кл.слова (ненормированные):
математическая логика -- логика и интуиция -- алгебра высказываний -- логическое следствие, понятие, следствия -- булевы функции -- система аксиом -- логика предикатов -- логические операции -- рекурсивные функции -- теорема Гёделя -- язык ПРОЛОГ, характеристика -- искусственный интеллект, математическая логика

Экземпляры всего: 7
аб. (7), ч.з.
Свободны: аб. (7)
Найти похожие
9.
   22.17
   М30

    Марченков, Сергей Серафимович.
    Булевы функции [Текст] : [учеб. пособие] / С.С. Марченков. - М. : Физматлит, 2002. - 70 с. - (Популярные лекции по математике). - ISBN 5-9221-0253-2 : 62.83 р.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
булевы функции -- полиномы Жегалкина -- класс линейных функций -- класс монотонных функций

Экземпляры всего: 5
ч.з. (2), аб. (3)
Свободны: ч.з. (2), аб. (3)
Найти похожие
10.
   22.17
   Г12

    Гаврилов, Гарий Петрович.
    Задачи и упражнения по дискретной математике [Текст] : учеб. пособие / Г. П. Гаврилов, А. А. Сапоженко. - 3-е изд., перераб. - М. : Физматлит, 2006. - 416 с. : рис., табл. - Библиогр.: с. 412. - Предм. указ.: с. 414 . - ISBN 5-9221-0477-2 (в пер.) : 264.00 р.
ББК 22.176я73
Рубрики: Дискретная математика--задачи
Кл.слова (ненормированные):
функции алгебры логики -- ограниченно-детерминированные функции -- теория алгоритмов -- графы и сети -- теория кодирования -- комбинаторика -- булевы функции


Доп.точки доступа:
Сапоженко, Александр Антонович
Экземпляры всего: 50
ч.з. (3), аб. (47)
Свободны: ч.з. (3), аб. (46)
Найти похожие
11.
   22.12
   К17

    Калужнин, Лев Аркадьевич.
    Что такое математическая логика? [Текст] / Л. А. Калужнин. - М. : Наука, 1964. - 151 с. - Библиогр.: с. 149. - 0.21 р.
ББК 22.12
Рубрики: Матаматическая логика
Кл.слова (ненормированные):
логика математическая -- булевы функции -- истинные формулы логики -- логика предикатов -- кванторы -- основания математики и математическая логика

Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
12.
   У
   М34

   
    Математическая логика и теория алгоритмов [Электронный ресурс] : учеб.-метод. комплекс по дисц. для спец. 010101 Математика; 010501 - Прикладная математика / АмГУ, ФМиИ ; сост. Н. В. Кван. - Благовещенск : Изд-во Амур. гос. ун-та, 2007. - 205 с. - Б. ц.
ББК 22.12я73
Рубрики: Математическая логика--теория алгоритмов
Кл.слова (ненормированные):
алгебра логики -- булевы функции -- исчисление высказываний -- логика предикатов -- математические теории -- основы теории алгоритмов

Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/617.pdf

Доп.точки доступа:
Кван, Наталья Владимировна \сост.\; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 1
эл. б-ка АмГУ (1)
Свободны: эл. б-ка АмГУ (1)
Найти похожие
13.
   22.17
   С22

    Сачков, Владимир Николаевич.
    Введение в комбинаторные методы дискретной математики [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. Сачков. - 2-е изд., испр. и доп. - М. : МЦНМО, 2004. - 421 с. : ил. - Библиогр.: с. 415. - Предм. указ.: с. 418. - ISBN 5-94057-116-6 (в пер.) : 165.50 р.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
множества -- булевы функции -- производящие функции -- графы преобразований -- теорема Пойа -- методы случайных величин -- перманенты -- трансверсали -- системы инцидентности -- дискретные функции

Экземпляры всего: 2
ч.з. (2)
Свободны: ч.з. (2)
Найти похожие
14.
   22.17
   С54

    Соболева, Татьяна Сергеевна.
    Дискретная математика [Текст] : учеб.: доп. Мин. обр. РФ / Т. С. Соболева, А. В. Чечкин. - М. : Академия, 2006. - 256 с. : рис., табл. - (Университетский учебник. Прикладная математика и информатика). - Библиогр.: с. 252. - ISBN 5-7695-2823-0 (в пер.) : 225.50 р.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
теория множеств, понятия -- отображение множеств, понятие -- конечные множества -- комбинаторика -- бесконечные множества -- отношения на множествах -- теория графов, элементы -- плоские графы -- сети Петри -- алгебраические операции -- Булевы функции -- топологические пространства -- решетки -- логика высказываний -- законы логики высказываний -- тавтология -- логика предикатов -- исчисление предикатов -- аксиоматическая теория -- математическая кибернетика -- теория алгоритмов -- теория кодирования, элементы -- хемминговы коды -- математическая информатика -- ультраоператоры


Доп.точки доступа:
Чечкин, Александр Витальевич
Экземпляры всего: 10
ч.з. (3), аб. (7)
Свободны: ч.з. (3), аб. (7)
Найти похожие
15.
   22.17
   Н73

    Новиков, Ф. А.
    Дискретная математика для программистов [Текст] : учеб. пособие: доп. УМО / Ф. А. Новиков. - СПб. : Питер, 2003. - 302 с. : рис. - (Учебник для вузов). - Библиогр.: с. 290. - Алф. указ.: с. 292. - ISBN 5-94723-355-X (в пер.) : 88.00 р., 55.99 р.
ББК 22.176я73 + 32.973-018я73
Рубрики: Дискретная математика--для экономистов
Кл.слова (ненормированные):
множества и отношения -- алгебраические структуры -- булевы функции -- логические исчисления -- комбинаторика -- алфавитное кодирование -- теория графов, история -- связность вершинная -- алгоритм Флойда -- фундаментальные циклы -- независимые множества -- доминирующие множества -- раскраска графов -- алгоритмы раскрашивания

Экземпляры всего: 2
аб. (2)
Свободны: аб. (2)
Найти похожие
16.
   У
   М34

   
    Математическая логика и теория алгоритмов [Текст] : учеб.-метод. комплекс для спец. 010101-Математика, 010500-Прикладная математика / АмГУ, ФМиИ ; сост. Н. В. Кван. - Благовещенск : Изд-во Амур. гос. ун-та, 2007. - 206 с. - 61.50 р.
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
алгебра логики -- булевы функции -- исчисление высказываний -- логика предикатов -- математические теории -- теория алгоритмов


Доп.точки доступа:
Кван, Наталья Владимировна \сост.\; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
17.
   22.17
   Н73

    Новиков, Федор Александрович.
    Дискретная математика для программистов [Текст] : учеб. : доп. Мин. обр. РФ / Ф.А. Новиков. - 3-е изд. - СПб. : Питер, 2009. - 384 с. - (Учебник для вузов). - Указ. обозначений: с. 365. - Библиогр. : с. 368. - Предм. указ. : с. 370. - ISBN 978-5-91180-759-7 (в пер.) : 280.50 р., 262.18 р.
ББК 22.176я73
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
множества -- мультимножества -- алгебра подмножеств -- бинарные отношения -- функциональные отношения -- отношения порядка -- алгебраические структуры -- булевы функции -- логические исчисления -- комбинаторика -- бином Ньютона -- определения графов -- элементы графов -- теорема Менгера -- деревья сортировки -- эйлеровы циклы -- доминирующие множества
Аннотация: В учебнике изложены основные разделы дискретной математики и описаны важнейшие алгоритмы на дискретных структурах данных. Основу книги составляет материал лекционного курса, который автор читает в Санкт-Петербургском государственном техническом университете последние полтора десятилетия. Третье издание имеет ту же структуру и последовательность изложения, что и второе. В книгу внесено несколько десятков не очень объемных, но существенных добавлений, уточнений и определений. Обновлены упражнения, библиография и комментарии к ней. Для студентов вузов, практикующих программистов и всех желающих изучить дискретную математику.

Экземпляры всего: 6
ч.з. (3), аб. (3)
Свободны: ч.з. (3), аб. (2)
Найти похожие
18.
   22.17
   Я14

    Яблонский, Сергей Всеволодович.
    Введение в дискретную математику [Текст] : учеб. пособие : доп. Мин. обр. РФ / С.В. Яблонский. - 5-е изд., стер. - М. : Высш. шк., 2008. - 384 с. - Библиогр. : с. 370. - Предм. указ. : с. 373. - Указ. : с. 381. - ISBN 978-5-06-005943-4 (в пер.) : 570.00 р.
ББК 22.176я73
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
алгебра логики -- детерминированные функции -- вычислимые функции -- комбинаторный анализ -- графы -- сети, свойства -- теория кодирования -- булевы функции -- локальный алгоритм

Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
19.
   22.17
   Н73

    Новиков, Федор Александрович.
    Дискретная математика для программистов [Текст] : учеб. пособие : рек. Мин. обр. РФ / Ф. А. Новиков. - 2-е изд. - СПб. : Питер, 2005. - 364 с. : рис. - (Учебник для вузов). - Указ. : с. 346 . - Библиогр. : с. 349 . - Предм. указ. : с. 351 . - ISBN 5-94723-741-5 (в пер.) : 50.66 р., 19.97 р., 22.19 р., 29.96 р., 93.56 р., 60.43 р.
ББК 22.176я73
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
множества -- отношения -- функции -- алгебраические структуры -- булевы функции -- логические исчисления -- комбинаторика -- кодирование -- графы -- связность -- деревья -- циклы -- независимость -- раскраска

Экземпляры всего: 9
аб. (9)
Свободны: аб. (9)
Найти похожие
20.
   22.17
   Т 19

    Таранников, Юрий Валерьевич.
    Комбинаторные свойства дискретных структур и приложения к криптологии [Текст] / Ю. В. Таранников. - М. : МЦНМО, 2011. - 152 с. - Библиогр. : с. 150 . - ISBN 978-5-94057-812-3 : 120.00 р.
ББК 22.176
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
теорема Дилуорси -- Дилуорси теорема -- теорема Рамсея -- Рамсея теорема -- матрицы Адамара -- кодовые множества -- блок-дизайны -- конечные геометрии -- ортогональные латинские квадраты -- ортогональные массивы -- линейные коды -- трансверсальные дизайны -- комбинаторные t-дизайны -- код Голея -- дизайны Витта -- разностные множества -- Булевы функции -- функции Булевы

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