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