Горячая линия где-дешево.рф 8 (800) 505-97-89

поделитесь этой страницей!

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

519.00 ₽
В наличии

КРАТКИЙ ОБЗОР

Производитель: ЛитРес
О книге
Автор: С. М. Авдошин
Издательство: ДМК Пресс
Год выпуска: 2018
Поставщик: ЛитРес
Нужны деньги на покупку? Подберите займ онлайн на карту в нашем каталоге МФО!
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.
Отзыв
Производитель: 
ЛитРес
О книге
Автор: С. М. Авдошин
Издательство: ДМК Пресс
Год выпуска: 2018

О продавце
Поставщик: ЛитРес
Телефон: 8 (800) 333-27-37
Город: Москва
Адрес: ул. 2-я Звенигородская, д. 13, стр. 41
Задать вопрос поставщику
Зарегистрируйтесь, чтобы задать вопрос

Способы оплаты

Стоимость покупки: 519.00 ₽
Продавец: ЛитРес

Вы можете оплатить покупку следующими способами:

  • Наличными
  • Банковский перевод
  • Яндекс.Деньги
  • Qiwi
  • Оплата картой
  • VISA
  • MasterCard
  • Maestro
  • Халва
  • МИР
  • WebMoney
  • PayPal

Способы доставки товара в Нижнем Новгороде

Доставка товаров осуществляется следующими способами:

  • Самовывоз
  • Доставка курьером
  • Почта России
  • Доставка транспортной компанией

Другие предложения в этом разделе

 

Защита прав

Любое использование информации, размещенной на ресурсе, допускается только при указании источника и наличии активной гиперссылки на портал.

Контакты в Нижнем Новгороде

По вопросам работы портала в вашем регионе обращайтесь на n-novgorod@где-дешево.рф

все контакты