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

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

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

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

Пн - Пт: 10:00 - 19:00
Сб: 10:00 - 17:00
Моя корзина
В корзине нет ни одного товара

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

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

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

649RUB
649 руб
  • Самовывоз м. Коломенская - завтра - Бесплатно
  • Доставка почтой по РФ - 7-28 дней - от 300 р.
    Доставка почтой за пределы РФ - 14-28 дней - от 1400 р.
  • Курьером по Москве - в течение 3 дней - 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 рублей.
Для добавление комментария необходимо Войти или Зарегистрироваться.

Смотрите также

События

07 октября 2020 года

"ДМК Пресс" информационный партнёр Golang Live 2020

Приглашаем на Golang Live 2020, которая пройдёт онлайн с 14 по 17 октября.


05 октября 2020 года

Поздравляем победителей чемпионата Rucode!

819 команд (а это более 2000 человек) приняли участие в чемпионате RuCode.

02 октября 2020 года

Кульминация RuCode

Открытый онлайн-чемпионат по алгоритмическому программированию пройдёт 4 октября, старт в 10:00 (Мск).

Архив новостей

Хотите получать информацию о новинках нашего издательства? Оставьте свой Email в форме ниже

Нажимая на кнопку «Подписаться», я даю согласие на обработку персональных данных