Зыков Г.А., Математическая логика. Учебник и практикум для академического бакалавриата
серия: Бакалавр. Академический курс
ЮРАЙТ, 2016 г., 9785991677110
Описание книги
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Приведенные в учебнике упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. В приложении к учебнику приводится именной обзор известных математиков, внесших вклад в формирование логики как математической науки.
Скачать, но не бесплатно эту книгу можно в интернет-магазинах
- 839 руб.
Читать онлайн
Доступен для чтения фрагмент книги
Поделиться ссылкой на книгу
Об авторе
Последние поступления в рубрике "Электронные книги, аудиокниги"
 |
Tod eines Soldaten Klinkhammer ". |
 |
Seltene Hunderassen aus aller Welt Frey F. |
 |
Vulpes Lupus Canis Gajaze K. |
Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Зыков Г.А., Математическая логика. Учебник и практикум для академического бакалавриата в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.
