Перейти и оформить заказ в новом магазине Bookzone! new.bookzone.com.ua
Купить книги в Киеве - онлайн Интернет-магазин BookZone
Совершенный код. Мастер-класс
Совершенный код. Мастер-класс - Стив Макконнелл
Лучшее практическое руководство по программированию, не зависимо от применяемого в работе языка. Стив Макконнелл главный инженер-программист Construx Software, автор книг по програ...
Цена: 0 грн
+ от 2% до 12% на бонусный счет
О компании Доставка и оплата Помощь Контакты
Войти на сайт

  Логин (Регистрация)


  Пароль(Забыли?)

Закрыть [x]

BookZoneЕстественные наукиМатематика

Дискретная математика. Формально-логические системы и языки - Авдошин С.М., Набебин А.А.

Авдошин С.М., Набебин А.А.

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

Издательство: ДМК

Артикул: 73250

цена: 650 грн


есть в наличии
Доставка
бесплатно


Быстрый заказ

Зарегистрированные пользователи получают до 12% на бонусный счет от каждого 

заказа на Ваш бонусный счет 32.50 грн. (5%).
подробнее о бонусах (экономия до 12%)

Год издания: 2018
Номер издания: 0
В наличии: 4 шт.
ISBN: 978-5-97060-622-3
Количество страниц: 390
Формат: 170мм х 240мм
Обложка: Мягкий

Полистать книгу

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

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


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



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



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

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

Специальное предложение!

Нашли книгу в других интернет-магазинах дешевле? Отправьте нам ссылку и мы оплатим разницу! подробнее

Ссылка:     Цена:     Ваш email: 

С этой книгой хорошо покупать

          

           905 грн
Большой роман о математике

(Экономьте 45.25 грн на следующей покупке)


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

Ваше имя:
Комментарий:
Введите символы на картинке:





Подпишитесь на RSS каналы и узнавайте о новинках первыми!

rssЕстественные науки

rssМатематика

x
Вверх страницы ▲


 
О Букзоне

Как оплатить покупку
Как получить
Контакты и схема проезда
Скидки

Бонусная программа
Партнерская программа
Кабинет

Личный кабинет
Книга отзывов
Помощь


© 2003 — 2018 Интернет-магазин «Букзон»