- Алгебра. Математический анализ
- Популярная математика
- Теория вероятностей и математическая статистика
- Геометрия
Дискретная математика. Формально-логические системы и языки (Авдошин Сергей Михайлович, Набебин Алексей Александрович); ДМК Пресс, ДМК Пресс, 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 "Программная инженерия", а также для ИТ-специалистов и разработчиков программных продуктов.
- Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу
- Изложение основ математической логики и связанных с ней формальных языков
- Основные теоретические и практические положения
- Изложение и анализ практических алгоритмов
- Большое количество примеров для формирования прочной теоретической базы для дальнейшей работы практикующих программистов и ИТ-специалистов
- Предложенные задачи могут быть использованы как для проведения практических занятий, так и для самостоятельной работы
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Дискретная математика. Формально-логические системы и языки (Авдошин Сергей Михайлович, Набебин Алексей Александрович); ДМК Пресс, ДМК Пресс, 2018»
По данным нашего сервиса товар предлагался к продаже в 9 магазинах. На сегодняшний день доступен в 6 магазинах: Читай-город, Буквоед, book24, ЛитРес, Яндекс.Маркет, Мегамаркет. По цене от 415 р. до 2896 р., средняя цена составляет 1890 р., а самая низкая цена в магазине ЛитРес. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: Читай-город, Буквоед, book24, ЛитРес, Яндекс.Маркет. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.
Чтобы сделать правильный выбор у нас есть подборка видео обзоров.
О книге
| Параметр | Значение |
|---|---|
| ISBN | 978-5-97-060622-3 |
| Автор(ы) | Авдошин Сергей Михайлович, Набебин Алексей Александрович |
| Автор | Авдошин Сергей Михайлович |
| Вес | 0.58кг |
| Возрастное ограничение | 18+ |
| Возрастные ограничения | 12 |
| Год издания | 2018 |
| Жанр | математика |
| Издатель | ДМК Пресс, ДМК Пресс |
| Издательство | ДМК Пресс |
| Кол-во страниц | 390 |
| Количество книг | 1 |
| Количество страниц | 390 |
| Обложка | мягкая обложка |
| Оформление обложки | лакировка |
| Переплет | Мягкий переплёт |
| Переплёт | мягкий |
| Раздел | Математические науки |
| Размеры | 16,00 см × 22,00 см × 2,10 см |
| Страниц | 390 |
| Тематика | Математика |
| Тип обложки | мягкая |
| Тираж | 200 |
| Формат | 160x220мм |
| Язык издания | rus |
Видео обзоры
Где купить (6)
Цена от 415 руб до 2896 руб в 6 магазинах
Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.
Похожие предложения вы можете найти в нашей подборке:
Книги: Прикладная математика. Вычислительная математика - издательство "ДМК-Пресс"
Книги: Прикладная математика. Вычислительная математика с ценой 332-498 р.
| Магазин | Цена | Наличие |
|---|---|---|
| Буквоед 5/5 | Промокоды на скидку | обновлено 29.12.2024 |
| ЛитРес 5/5 | обновлено 15.08.2024 | |
| book24 5/5 |
| обновлено 29.11.2024 |
| Читай-город 5/5 | 2409
| обновлено 14.11.2024 |
| Мегамаркет 5/5 | 2896 Повышенный кешбэк до 40% Промокоды на скидку | обновлено 03.09.2024 |
| Яндекс.Маркет 5/5 | 1527 Промокоды на скидку | обновлено 27.06.2024 |
| Avito 5/5 | Avito доставка позволит получить любой товар, не выходя из дома
| |
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| Лабиринт | 2428 | 21.11.2024 |
| МАЙШОП | 1474 | 23.06.2024 |
| OZON | 913 | 24.06.2024 |
Кэшбэк сервис СкидкаГИД
На сегодняшний день товар «Книга: Дискретная математика. Формально-логические системы и языки (Авдошин Сергей Михайлович, Набебин Алексей Александрович); ДМК Пресс, ДМК Пресс, 2018» можно купить с кешбеком в 5 магазинах: Буквоед, ЛитРес, book24, Читай-город, Яндекс.Маркет
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
Пункты выдачи СДЭК г. Одинцово
Вы можете получить свои товары в ближайшем пункте выдачи СДЭК
Цены в соседних городах
Книги: Прикладная математика. Вычислительная математика - издательство "ДМК-Пресс"
Категория 332 р. - 498 р.
Прикладная математика. Вычислительная математика - издательство "ДМК-Пресс" »
Книги: Прикладная математика. Вычислительная математика в Одинцове
Категория 332 р. - 498 р.
