Купить книгу Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013

Данная книга представляет собой всестороннее введение в основы математической логики и теории алгоритмов, предназначенное для студентов, аспирантов и специалистов, стремящихся углубить свои знания в области теоретической информатики. В ней подробно рассматриваются основные понятия и методы математической логики, такие как логические системы, исчисление высказываний и предикатов, а также их применение в формализации математических доказательств и автоматизации рассуждений.

Особое внимание уделяется теории алгоритмов, их конструкции, сложности и эффективности. В книге представлены классические и современные подходы к анализу алгоритмов, а также методы их оптимизации и оценки. Читатель познакомится с основами теории вычислимости, автоматами и формальными языками, что позволяет понять принципы построения и анализа программных систем.

Авторский коллектив тщательно структурировал материал, делая его доступным как для начинающих, так и для опытных специалистов. Практические примеры, задачи и упражнения помогают закрепить теоретические знания и развить навыки аналитического мышления. Эта книга станет ценным ресурсом для тех, кто хочет овладеть современными методами формализации и анализа вычислительных процессов.

• В бумажном виде в Москве с доставкой по России, СНГ и Европе;
• В электронном формате (PDF, EPUB) с моментальной загрузкой по всему миру.

Доставка доступна в страны:

• Москва;
• Россия;
• страны СНГ;
• все страны мира.

Мы собираем лучшие предложения из Яндекс.Маркет, My-Shop, Читай-Город, Литрес и других магазинов.
Выбирайте, где дешевле — и заказывайте напрямую!

• Оригинальное издание;
• Быструю доставку;
• Гарантию подлинности.
• Самый дешевый вариант по самой низкой цене.