Купить книгу Теория дедуктивных систем и ее применения, Маслов Ю.С., 1986

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

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

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

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

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

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

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

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