Математическая логика и теория алгоритмов
Спецпредложение на покупку товара! Для этого воспользуйтесь промо-акцией интернет-магазина. Используйте ссылку ниже!
получить купон на скидку читай город
Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов - корректный выбор для покупки в онлайн гипермаркете! Изготовитель хвалится своим особым свойством изделий, закрепленным массовыми хорошими откликами специалистов. Товар отвечает полным актуальным требованиям и создается исключительно из качественных материалов. Математическая логика и теория алгоритмов по низкой цене в представленном онлайн магазине. В целях полноценного подбора товара просмотрите снимки, свойства, мнения покупателей.
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Еще более подробно о данной продукции возможно узнать в официальной онлайн-документации, предоставляющейся в комплекте, а также на интернет-сайте оналайн магазина. Вы имеете возможность ознакомиться с разными однотипными моделями категории «Книги по математике» и сопоставить их в спецразделе «Похожие товары». Не забудьте применить уникальные акции, выставленные у нас на сайте ОлшопПлюс
Allshopplus – полезный сайт по выбору и сравнению вариантов товаров в интернет маркетах Москвы. Сайт не занимается реализацией, но рекомендует каталог «Книги по математике», где реально приобрести «Математическая логика и теория алгоритмов» по хорошим ценам. Мы предлагаем каталог купонов и акций для поиска наилучшего предложения. Совершить верный заказ посодействуют: детальное описание, точные характеристики, поиск продукции по стоимости, качественные снимки, отзывы пользователей, рейтинг модификаций товаров, сравнение стоимости и многое другое. Использование размещённых материалов онлайн сервиса, разрешено лишь с оговоренного согласия редакции.