Корзина
0
Корзина
0
Добавьте в корзину товаров ещё на 600 гривен, чтобы БЕСПЛАТНО получить товар по Украине до отделения Новой почты.

Ваша корзина пустая

Меню
Главная>Каталог книг>Учебная литература>Естественные науки для ВУЗов>Дискретная математика. Формально-логические системы и языки

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

650 грн
Доступно: 4
650 грн
Доступно: 4


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

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

Артикул : 73250
Издательство : ДМК
Автор : Авдошин С.М., Набебин А.А.
Язык : Русский
ISBN13 : 978-5-97060-622-3
Формат : 70*100/16
EAN13 : 9785970606223
Страниц : 390
Год издания : 2018
Тип переплета : Мягкий

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

Цитаты пользователей

Всего цитат
0

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.

Отзывы

Отзывы
0 рецензий

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.

Параметры

Артикул : 73250
Издательство : ДМК
Автор : Авдошин С.М., Набебин А.А.
Язык : Русский
ISBN13 : 978-5-97060-622-3
Формат : 70*100/16
EAN13 : 9785970606223
Страниц : 390
Год издания : 2018
Тип переплета : Мягкий
Все права защищены © 2003-2018 Bookzone.com.ua              Условия использования | Политика конфиденциальности