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

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

Пн-Пт: 10:00-19:00, Сб: до 17:00

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

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

С 24 Ноября все заказы будут обрабатываться дольше обычного !!!

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

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

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

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

Издание: Черно-белое
Автор: Авдошин С.М., Набебин А.А.
Дата выхода: декабрь 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

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

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

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

Электроника шаг за шагом
БумагаPDF
1499 руб
1499 руб
Подробное руководство по DAX

Феррари А., Руссо М..

БумагаPDF
2049 руб
2049 руб
Электричество шаг за шагом
БумагаPDF
1399 руб
1399 руб
Цифровой синтез: практический курс

Романов А. Ю. , Панчул Ю. В.

БумагаPDF
1399 руб
1399 руб
Приручи данные с помощью Power Query в Excel и Power BI
БумагаPDF
2099 руб
2099 руб

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

Наглядная и дифференциальная геометрия и формы
Бумага
1999 руб 1599.2 руб
1999 руб 1599.2 руб
Космические миссии на Марс
Бумага
1999 руб 1599.2 руб
1999 руб 1599.2 руб
Методы верификации программ
Бумага
999 руб 799.2 руб
999 руб 799.2 руб
Рендеринг на основе законов физики

Фарр М., Джейкоб В., Хамфрис Г.

Бумага
3499 руб 2799.2 руб
3499 руб 2799.2 руб
Streamlit для Data Science
Бумага
1599 руб 1279.2 руб
1599 руб 1279.2 руб
Настольная книга визуальных эффектов
Бумага
3499 руб 2799.2 руб
3499 руб 2799.2 руб
Введение в статистическое обучение с примерами на Python

Джеймс Г., Уиттон Д., Хасти Т., Тибширани Р.

Бумага
2499 руб 1999.2 руб
2499 руб 1999.2 руб
ASP.NET Core в действии. Третье изд.
Бумага
2499 руб 1999.2 руб
2499 руб 1999.2 руб

Наши новинки

Цифровые манипуляции с лицами и их обнаружение

Ратгеб К., Толосана Р., Вера-Родригес Р., Буш К.

БумагаPDF
2499 руб
2499 руб
Apache Pulsar в действии

Хьеррумгор Д.

БумагаPDF
1999 руб
1999 руб
Статистика без подвоха

Мескита И. Б., Фаулер Э.

БумагаPDF
1499 руб
1499 руб
99 вариантов доказательства
БумагаPDF
999 руб
999 руб
Запускаем Prometheus

Пивотто Ж., Бразил Б.

БумагаPDF
1799 руб
1799 руб
8 книжных новинок нашего издательства
Рассказываем в рассылке каждый месяц
Закрыть
Закрыть
Ваш товар в корзине.
Перейти в корзину или продолжить покупки?
В корзину
Закрыть