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

Базы данных


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

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

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

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

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

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

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

    Кван, Наталья Владимировна.
    Введение в дискретную математику [Текст] : учеб. пособие : рек. ДВ РУМЦ / Н. В. Кван, А. Г. Масловская ; АмГУ, ФМиИ. - Благовещенск : Изд-во Амур. гос. ун-та, 2006. - 120 с. : рис. - Библиогр. : с. 120 . - 35.00 р., 33.08 р., 35.00 р.
ББК 22.176я73
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
элементы теории множеств -- отношения на множествах -- функциональные отношения -- комбинаторика -- алгебра высказываний -- предикаты -- кванторы


Доп.точки доступа:
Масловская, Анна Геннадьевна; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 24
аб. (24), ч.з.
Свободны: аб. (24)
Найти похожие
5.
   32.81
   К28

    Касаткин, В. Н.
    Элементы кибернетики - школьнику [Текст] : (Сб. упражнений и задач) / В. Н. Касаткин, А. Ф. Верлань, И. А. Переход. - Киев : Радянська школа, 1974. -
ББК 32.81я72
Рубрики: Кибернетика
Кл.слова (ненормированные):
алгебра высказываний -- теория автоматов, элементы -- теория алгоритмов, элементы


Доп.точки доступа:
Верлань, А.Ф.; Переход, И.А. ч.з.
Свободных экз. нет
Найти похожие
6.
   22.12
   Ш24

    Шапорев, Сергей Дмитриевич.
    Математическая логика [Текст] : курс лекций и практ. занятий: учеб. пособие: рек. НМС / С.Д. Шапорев. - СПб. : БХВ-Петербург, 2007. - 410 с. : рис., табл. - Библиогр.: с. 405 . - Предм. указ.: с. 406 . - ISBN 978-5-94157-702-6 (в пер.) : 308.45 р.
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
алгебра логики -- алгебра высказываний -- исчисление высказываний -- логика предикатов -- исчисление предикатов -- теория алгоритмов

Экземпляры всего: 15
ч.з. (3), аб. (12)
Свободны: ч.з. (3), аб. (12)
Найти похожие
7.
   22.1
   Л 77

    Лопатин, Павел Борисович.
    Математика для юристов [Текст] : подготовка к Федеральному экзамену в сфере высшего профессионального образования : учеб. пособие : рек. УМО / П. Б. Лопатин. - Ростов н/Д : Феникс, 2008. - 150 с. : рис. - (Высшее образование). - Библиогр. : с. 147 . - ISBN 978-5-222-14077-2 (в пер.) : 162.00 р.
ББК 22.1я73
Рубрики: Математика
Кл.слова (ненормированные):
аксиоматический метод -- алгебра высказываний -- логические операции -- теории множеств -- комбинаторика -- случайные величины -- математическая статистика -- недесятичная арифметика

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

    Глухов, Михаил Михайлович.
    Математическая логика. Дискретные функции. Теория алгоритмов [Текст] : учеб. пособие: рек. УМО / М. М. Глухов, А. Б. Шишков. - СПб. ; М. ; Краснодар : Лань, 2012. - 406 с. - (Учебники для вузов. Спец. лит.). - Библиогр. : с. 398 . - ISBN 978-5-8114-1344-7 (в пер.) : 766.92 р.
Прил. : с. 389
ББК 22.176я73
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
математическая логика -- множества -- исчисление высказываний -- алгебра высказываний -- алгебра предикатов -- исчисление предикатов -- дискретные функции -- булевы функции -- вероятностная функция -- теория алгоритмов


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