Официальный сайт издательства ДМК Пресс

Интернет-магазинdmkpress.help@gmail.com
+7 (499) 322-19-38

Пн - Пт: 10:00 - 19:00
Сб: 10:00 - 17:00

Москва, просп. Андропова, 38

Издание книгdmkpress@gmail.com  Пишите на email

Оптовая продажаbooks@alians-kniga.ru+7 (499) 782-38-89+7 (499) 782-38-89

В корзине нет ни одного товара
0 00

Дискретная математика. Формально-логические системы и языки

Дискретная математика. Формально-логические системы и языки
649RUB
649 руб

Бумажное издание

Оглавление и отрывки из глав

Издание: Черно-белое
Автор: Авдошин С.М., Набебин А.А.
Дата выхода: декабрь 2017 года
Объем, стр: 390
ISBN: 978-5-97060-622-3
Формат: 165 * 235 мм
Бумага: офсетная
Обложка: Мягкая обложка
  • Самовывоз м. Коломенская - завтра - Бесплатно
  • Доставка почтой по РФ - 7-28 дней - от 300 р.
    Доставка почтой за пределы РФ - 14-28 дней - от 1400 р.
  • Курьером по Москве - в течение 7 дней - 300 р.

Аннотация

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.
В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники
Национального исследовательского университета Московский энергетический институт.

Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.

Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу

Книга является продолжением уже вышедшей книги "Дискретная математика. Модулярная алгебра, криптография и кодирование".

Оплата

Наш интернет-магазин работает только по предоплате!
Мы принимаем следующие виды оплаты:

  • Банковские карты
  • Яндекс.Деньги
  • Наличными через кассы и терминалы
  • WebMoney
  • Сбербанк Онлайн
  • Сбербанк смс-оплата
  • Альфа-клик
  • Интернет-банк Промсвязьбанк
  • QIWI Wallet
  • Доверительный платеж («Куппи.ру»)

Вы так же можете выбрать оплату по платежной квитанции и оплатить по ней покупку в отделении любого банка.
Юридические лица могут выбрать счёт на оплату.
Возврат денежных средств возможен в случаях:

  • Отсутствие книг на складе издательства более 14 дней с момента поступления оплаты;

Возврат не проводится в случаях:

  • Отказа покупателя от оплаченного заказа; по договоренности с покупателем возможна замена книг;

Для оформления возврата обращайтесь по электронной почте dmkpress.help@gmail.com.

Доставка:

Курьерская доставка по Москве в течение 7 дней после оплаты заказа.
Стоимость доставки:

  • При заказе до 3000 рублей – 300 рублей.
  • При заказе свыше 3000 рублей – бесплатно.

Самовывоз возможен в течение суток после оплаты.
Адрес для самовывоза:
115487, г. Москва, проспект Андропова, 38
Доставка почтой России: от 7 до 28 дней с момента оплаты заказа.
Стоимость доставки:

  • В пределах России – от 300 рублей
  • По миру – от 1400 рублей.
logo
logo
logo
Рейтинг
0 из 0 отзывов
5
0
4
0
3
0
2
0
1
0

Для добавления комментария необходимо Войти или Зарегистрироваться.

Ещё в этом разделе

Наши хиты и бестселлеры

Kafka в действии

Скотт Д., Гамов В., Клейн Д.

БумагаPDF
1499 руб
1499 руб
PostgreSQL 15 изнутри
Бумага
1749 руб
1749 руб
С++ 20 в деталях
БумагаPDF
1799 руб
1799 руб
Postgres. Первое знакомство. Версия 15

Лузанов П., Рогов Е., Лёвшин И.

Бумага
199 руб

Готовятся к выходу

Современный С++: безопасное использование

Лакос Дж., Ромео В., Хлебников Р., Мередит А.

Бумага
2699 руб 2159.2 руб
2699 руб 2159.2 руб
Прикладная линейная алгебра для исследователей данных
Бумага
1599 руб 1279.2 руб
1599 руб 1279.2 руб
Julia в качестве второго языка
Бумага
1899 руб 1519.2 руб
1899 руб 1519.2 руб
GPT-3: программирования на Python в примерах
Бумага
999 руб 799.2 руб
999 руб 799.2 руб

Наши новинки

Информационные технологии и преступления
Бумага
799 руб
799 руб
PostGIS в действии

Обе Р., Хсу Л.

Бумага
1999 руб
1999 руб
Метаобучение. Применение в AutoML и науке о данных

Браздил П., Рейн Я. В., Соарес К., Ваншорен Х.

БумагаPDF
1999 руб
1999 руб
OpenSSL 3: ключ к тайнам криптографии
БумагаPDF
1499 руб
1499 руб
Ruby для романтиков
БумагаPDF
1299 руб
1299 руб
Трехмерное глубокое обучение на Python
БумагаPDF
1299 руб
1299 руб
Закрыть
Ваш товар в корзине.
Перейти в корзину или продолжить покупки?
В корзину
Закрыть