Дискретная математика. Формально-логические системы и языки (Авдошин Сергей Михайлович, Набебин Алексей Александрович) ; ДМК-Пресс, 2018
от 415 р. до 2409 р.
Автор(ы): Авдошин Сергей Михайлович; Набебин Алексей Александрович;
Издатель: ДМК-Пресс
EAN: 978-5-97060-622-3
ISBN: 978-5-97060-622-3
ID: SKU61994
Сравнить цены
Цена от 415 р. до 2409 р. в 9 магазинах
Магазин | Цена | Наличие |
---|---|---|
Лабиринт 5/5 | 1700 р. 2428 р. | |
ЛитРес 5/5 | 415 р. 519 р. электронная книга | скачать фрагмент | |
Book24 5/5 | 2409 р. | |
Буквоед 5/5 | 2409 р. Минимальная сумма заказа 100 рублей | |
Яндекс.Маркет 5/5 | 1596 р. | |
МАЙШОП 5/5 | 1587 р. 2267 р. | |
Читай-город 5/5 | 1599 р. | наличие уточняйте 05.10.2023 |
Мегамаркет 5/5 | 1666 р. 2776 р. | наличие уточняйте 13.04.2024 |
OZON | 913 р. | наличие уточняйте 03.01.2024 |
AliExpress 5/5 | ||
Описание
В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.
Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 "Информатика и вычислительная техника", 09.03.02 "Информационные системы и технологии", 09.03.03 "Прикладная информатика", 09.03.04 "Программная инженерия", а также для ИТ-специалистов и разработчиков программных продуктов.
- Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу
- Изложение основ математической логики и связанных с ней формальных языков
- Основные теоретические и практические положения
- Изложение и анализ практических алгоритмов
- Большое количество примеров для формирования прочной теоретической базы для дальнейшей работы практикующих программистов и ИТ-специалистов
- Предложенные задачи могут быть использованы как для проведения практических занятий, так и для самостоятельной работы
Смотри также Характеристики.
Яндекс.Маркет
Содержание
Введение
ЧАСТЬ 1. Алгебра логики и предикаты
Глава 1. Алгебра логики
Глава 2. Функции k-значной логики
Глава 3. Производные булевой функции в синтезе
логических схем
Глава 4. Синтез схем из функциональных
элементов
Глава 5. Аксиоматическое исчисление
высказываний
Глава 6. Логика предикатов
Глава 7. Аксиоматическое исчисление предикатов
Глава 8. Исчисление секвенций
Глава 9. Метод резолюций в логике предикатов и
Пролог
ЧАСТЬ 2. Монадическая логика и конечные
автоматы
Глава 10. Конечные автоматы
Глава 11. Автоматы и сверхъязыки
Глава 12. Проблема униформизации
Глава 13. Монадическая логика натуральных чисел
Глава 14. Темпоральная логика
Глава 15. Аксиоматический язык программирования
OBJ3
Приложения
Литература
Обозначения
Видео обзоры (2)
О книге
Издатель | ДМК-Пресс |
Год издания | 2018 |
Страниц | 390 |
Переплёт | мягкий |
ISBN | 978-5-9706-0622-3 |
Размеры | 16,00 см × 22,00 см × 2,10 см |
Формат | 70х100/16 |
Тематика | Математика |
Тираж | 200 |
Автор(ы) | Авдошин Сергей Михайлович, Набебин Алексей Александрович |
Переплет | Мягкий переплёт |
Возрастные ограничения | 12 |
Кол-во страниц | 390 |
Количество книг | 1 |
Количество страниц | 390 |
Возрастное ограничение | 18+ |
Оформление обложки | лакировка |
Вес | 580 |
Автор | Авдошин Сергей Михайлович |
Тип обложки | мягкая |
Жанр | математика |
Издательство | ДМК Пресс |
Язык издания | Русский |
Обложка | мягкая обложка |
Отзывы (1)
-
Александр Панарад
- 22 января 20245/5
Отличная книга, очень сильно помогла при подготовке к экзамену по Формально логическим системам. Советую тем кто подготавливается к экзаменам.
0 0
Добавить отзыв
Книги где авторы: Авдошин Сергей Михайлович, Набебин Алексей Александрович
Математические науки - издательство "ДМК-Пресс"
Категория 332 р. - 498 р.
Прикладная математика. Вычислительная математика - издательство "ДМК-Пресс" »
Математические науки
Категория 332 р. - 498 р.