logo
Служба
поддержки
Войти
Корзина
Обогреватели Распродажа с большими скидками в OZ! Зонты
Все товары
Дискретная математика. Формально-логические системы и языки — фото, картинка — 1
Дискретная математика. Формально-логические системы и языки — фото, картинка

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

№ 10779538
Сергей Авдошин, Алексей Набебин, 2017
Оставить отзыв
Дискретная математика. Формально-логические системы и языки — фото, картинка
Нет в продаже
Заявка принята

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

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

Фотографии покупателей
Мобильное приложение OZ

Мобильное приложение OZ работает как бонусная карта. Получайте бонусные баллы и повышайте свой кешбэк, совершая покупки в приложении и в розничных магазинах. При оформлении заказа в приложении доставка в выбранный вами магазин бесплатная.

Google PlayСкачать в Google Play App StoreСкачать в App Store AppGalleryСкачать в AppGallery

Преимущества приложения

  • Покупайте товары через приложение, копите бонусные баллы и оплачивайте ими до 20% стоимости покупки.
  • При покупке в магазинах OZ просто покажите продавцу экран "Мой кешбэк" с QR-кодом для списания или начисления бонусных баллов.
  • Узнавайте о скидках, уникальных акциях и распродажах.
  • Публикуйте отзывы на товары с фотографиями.
  • Покупки в магазинах, сделанные через приложение, участвуют в бонусной программе, общей с интернет-магазином OZ.by.

Бонусная программа действует на сайте OZ.by, в приложении и магазинах OZ.

Для установки и корректной работы приложения требуется Android 5 и выше или iOS 14 и выше.

Условия бонусной программы
Издательство ДМК
Год издания 2017
Страниц 390
Переплет Мягкая обложка
Формат 165х230 мм, увеличенный
ISBN 978-5-97060-622-3
Вес 570 г
Возрастные ограничения 16+
Изготовитель ООО "Издательство ДМК Пресс". 105094, РФ, г. Москва, Семеновская наб., д. 3/1-4-113
Импортер ООО «Приносим радость», 220073, г. Минск, ул. Скрыганова, д. 14, каб. 36.
Доставка Самовывоз — бесплатно.
Курьером по Минску — 3,99 р., бесплатно при заказе от 100,00 р.
Срок доставки устанавливается после оформления заказа.
Подробнее о видах доставки, доступных в вашем населенном пункте,  — в разделе «Виды доставки».
Все параметры

Содержание

  • Предисловие
  • Введение
  • ЧАСТЬ 1. Алгебра логики и предикаты
    • Глава 1. Алгебра логики
    • Глава 2. Функции k-значной логики
    • Глава 3. Производные булевой функции в синтезе логических схем
    • Глава 4. Синтез схем из функциональных элементов
    • Глава 5. Аксиоматическое исчисление высказываний
    • Глава 6. Логика предикатов
    • Глава 7. Аксиоматическое исчисление предикатов
    • Глава 8. Исчисление секвенций
    • Глава 9. Метод резолюций в логике предикатов
  • Пролог
  • ЧАСТЬ 2. Монадическая логика и конечные автоматы
    • Глава 10. Конечные автоматы
    • Глава 11. Автоматы и сверхъязыки
    • Глава 12. Проблема униформизации
    • Глава 13. Монадическая логика натуральных чисел
    • Глава 14. Темпоральная логика
    • Глава 15. Аксиоматический язык программирования OBJ3
  • Приложения
  • Литература
  • Обозначения
В. А. Захаров В. Захаров Редактор
Отзывов нет
Сначала полезные Сначала новые
Cреди ваших покупок нет этого товара. Вы можете оставлять отзывы только к товарам, которые покупали на OZ.by
Напишите отзыв о книге или задайте вопрос
  • Оставить отзыв
  • Задать вопрос
Ваша оценка
ужасно
плохо
нормально
хорошо
отлично
—
Вам запрещено оставлять комментарии
C этим товаром покупают
Дискретная математика
-18% 0,32
32,25 р. 39,33

Дискретная математика

О. Иванов, Г. Фридман, 2020
Наверх
Скачайте мобильное приложение Скачать в Google Play Скачать в App Store Скачать в AppGallery
OZ.by™, ООО «Приносим радость», 1999—2024
В торговом реестре Республики Беларусь с 17 августа 2022 года
Дизайн — SKDO

Вход

Не помню
В течение нескольких секунд вам придёт SMS с одноразовым кодом для входа. Если ничего не пришло — отправьте код ещё раз.
Изменить
Я заказываю на OZ.by впервые
Получите доступ к персональным скидкам и акциям, ускорьте оформление заказов.
Войдите с помощью своего профиля

Регистрация

Введите номер вашего мобильного телефона:
Войдите с помощью электронной почты или номера телефона
Войдите с помощью своего профиля

Восстановление пароля

Укажите адрес электронной почты, который вы использовали при регистрации
Нужна помощь? Звоните 695-25-25 (МТС, A1, life:) или напишите нам
Вход с помощью электронной почты или номера телефона

Восстановление пароля

Инструкции по восстановлению пароля высланы на 
Нужна помощь? Звоните 695-25-25 (МТС, A1, life:) или напишите нам
Вход с помощью электронной почты или номера телефона

Согласие на обработку персональных данных

Подтверждаю ознакомление с целями обработки персональных данных, разъяснением прав, связанных с обработкой и порядком их реализации, и даю согласие на обработку персональных данных, в соответствии с  Политикой в отношении обработки персональных данных

Отказываюсь
Для обеспечения удобства пользователей сайта используются cookies.