Суббота, 28 декабря 2024 — 23:50
USD: 101.68 р. EUR: 106.10 р.
29.12.2024
СкидкаГИД

Дискретная математика. Формально-логические системы и языки (Авдошин Сергей Михайлович, Набебин Алексей Александрович); ДМК Пресс, ДМК Пресс, 2018

Книга: Дискретная математика. Формально-логические системы и языки (Авдошин Сергей Михайлович, Набебин Алексей Александрович); ДМК Пресс, ДМК Пресс, 2018

от 415 до 2896 

  • Издатель: ДМК-Пресс

  • ISBN: 978-5-97060-622-3

  • EAN: 9785970606223

  • Книги: Прикладная математика. Вычислительная математика

  • ID: 2029257

  • Добавлено: 30.12.2017


Описание


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

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

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

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

Смотри также о книге.

СкидкаГИД инфо +

Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Дискретная математика. Формально-логические системы и языки (Авдошин Сергей Михайлович, Набебин Алексей Александрович); ДМК Пресс, ДМК Пресс, 2018»

По данным нашего сервиса товар предлагался к продаже в 9 магазинах. На сегодняшний день доступен в 6 магазинах: Читай-город, Буквоед, book24, ЛитРес, Яндекс.Маркет, Мегамаркет. По цене от 415 р. до 2896 р., средняя цена составляет 1890 р., а самая низкая цена в магазине ЛитРес. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.

Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: Читай-город, Буквоед, book24, ЛитРес, Яндекс.Маркет. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.

Чтобы сделать правильный выбор у нас есть подборка видео обзоров.

О книге

Основные характеристики товара
ПараметрЗначение
ISBN978-5-97-060622-3
Автор(ы)
АвторАвдошин Сергей Михайлович
Вес0.58кг
Возрастное ограничение18+
Возрастные ограничения12
Год издания2018
Жанрматематика
ИздательДМК Пресс, ДМК Пресс
ИздательствоДМК Пресс
Кол-во страниц390
Количество книг1
Количество страниц390
Обложкамягкая обложка
Оформление обложкилакировка
ПереплетМягкий переплёт
Переплётмягкий
РазделМатематические науки
Размеры16,00 см × 22,00 см × 2,10 см
Страниц390
ТематикаМатематика
Тип обложкимягкая
Тираж200
Формат160x220мм
Язык изданияrus

Видео обзоры

23. Дискретная математика. Формальные системы Свойства, интерпретация, моделирование

23. Дискретная математика. Формальные системы Свойства, интерпретация, моделированиезапуск видео

 

Алексеев В. Б. - Дискретная математика - Обобщение алгебры логики. k-значная логика

Алексеев В. Б. - Дискретная математика - Обобщение алгебры логики. k-значная логиказапуск видео

 

Лекция 2 | Дискретная математика | Александр Куликов | Лекториум

Лекция 2 | Дискретная математика | Александр Куликов | Лекториумзапуск видео

 

Условия использования YouTube / Конфиденциальность Google

Где купить (6)

Как купить или где мы находимся +

Цена от 415 руб до 2896 руб в 6 магазинах

Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.

Похожие предложения вы можете найти в нашей подборке:
Книги: Прикладная математика. Вычислительная математика - издательство "ДМК-Пресс"
Книги: Прикладная математика. Вычислительная математика с ценой 332-498 р.

сообщить о снижении цены
Книга: Дискретная математика. Формально-логические системы и языки (Авдошин Сергей Михайлович, Набебин Алексей Александрович); ДМК Пресс, ДМК Пресс, 2018
МагазинЦенаНаличие
Буквоед

5/5

2409 
Минимальная сумма заказа 100 рублей
Крупнейшая сеть книжных магазинов

Кэшбэк до 6.3%

Промокоды на скидку


обновлено 28.12.2024
ЛитРес

5/5

415 
Электронная книга

Кэшбэк до 14%


обновлено 15.08.2024
book24

5/5

1686 
Минимальные сроки доставки.

Кэшбэк до 6.3%


обновлено 29.11.2024
Читай-город

5/5

2409 

Кэшбэк до 6.3%


обновлено 14.11.2024
Мегамаркет

5/5

2896 
Повышенный кешбэк до 40%

Промокоды на скидку


обновлено 03.09.2024
Яндекс.Маркет

5/5

1527 

Кэшбэк до 3.8%

Промокоды на скидку


обновлено 27.06.2024
Avito

5/5

Avito доставка позволит получить любой товар, не выходя из дома

Кэшбэк 57 

История цены

МагазинПоследняя известная ценаОбновлено
Лабиринт
2428 
21.11.2024
МАЙШОП
1474 
23.06.2024
OZON
913 
24.06.2024

Кэшбэк сервис СкидкаГИД

На сегодняшний день товар «Книга: Дискретная математика. Формально-логические системы и языки (Авдошин Сергей Михайлович, Набебин Алексей Александрович); ДМК Пресс, ДМК Пресс, 2018» можно купить с кешбеком в 5 магазинах: Буквоед, ЛитРес, book24, Читай-город, Яндекс.Маркет

Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.

Заказывайте он-лайн и получайте часть денег обратно, подробнее..


Пункты выдачи СДЭК г. Химки

Вы можете получить свои товары в ближайшем пункте выдачи СДЭК


Цены в соседних городах

Отзывы (0)

    Добавить отзыв



     

    Книги: Прикладная математика. Вычислительная математика - издательство "ДМК-Пресс"

    Категория 332 р. - 498 р.

    Прикладная математика. Вычислительная математика - издательство "ДМК-Пресс" »

    Книги: Прикладная математика. Вычислительная математика в Химках

    Категория 332 р. - 498 р.

    ADS
    закладки (0) сравнение (0)

     

    подписаться на новинки, скидки
    preloader