Детальная информация

Рыбин, С. В. Математическая логика и теория алгоритмов [Электронный ресурс]: учебное пособие для вузов / Рыбин С. В. — Санкт-Петербург: Лань, 2024. — 276 с. — Книга из коллекции Лань - Математика. — <URL:https://e.lanbook.com/book/405527>. — <URL:https://e.lanbook.com/img/cover/book/405527.jpg>.

Дата создания записи: 27.04.2024

Тематика: графы; логика высказываний; булевы функции; нечеткая логика; теория алгоритмов; бинарные отношения; базисы Гребнера; теория множеств; алгоритм Евклида; арифметика многочленов

УДК: 510.6

ББК: 22.12я73

Разрешенные действия: Посмотреть

Аннотация

Материал пособия скомпонован так, чтобы, с одной стороны, дать темы для практических занятий, познакомить студентов с важными идеями на несложных примерах, дать им возможность в совершенстве освоить необходимую технику вычислений, обсуждаемые алгоритмы, а с другой — последовательно и доказательно изложить теоретический материал, который может быть осмыслен на разных уровнях формализма и не обязательно при первом прочтении книги. Учебное пособие строится на базе известных из курса средней школы математических идей. Идеи эти достаточно разноплановы, чтобы заинтересовать людей с различными интересами и разной математической подготовкой. Учебное пособие будет полезно студентам технических университетов, специализирующимся в направлении «Информатика».

Статистика использования

stat Количество обращений: 2
За последние 30 дней: 0
Подробная статистика