книги Без категории

Заглянуть

-15%

Скорубский В. И., Поляков В. И., Зыков А. Г.

Математическая логика

Name: Математическая логика
Price: 2236.26 RUB
Availability: InStock
ISBN: 978-5-534-11631-1

Код 5022804

ISBN: 978-5-534-11631-1
211 страниц

май 2019
Юрайт
Профессиональное образование
377 г

Бумажная книга

27.18 USD

31.98 USD

Добавить в корзину

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 08.01.2026; планируемая отправка: 09.01.2026

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 11.01.2026; планируемая отправка: 12.01.2026

Аннотация к книге "Математическая логика"

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

В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и программировании для понимания необходимости использования логики в любого рода деятельности. Соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Для студентов широкого круга инженерных специальностей (проектирование вычислительных систем, программирование и др.) и гуманитарных направлений, где предполагается создание и использование экспертных систем (экономика, медицина, менеджмент и др).

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Текст комментария

Оцените книгу:

Издательство:	Юрайт
Серия:	Профессиональное образование
Дата выхода:	май 2019
ISBN:	978-5-534-11631-1
Объём:	211 страниц
Масса:	377 г

Вместе с этой книгой покупают

Секс с учеными бумажная книга

12.66 USD

В корзину

-20%

Песня жаворонка бумажная книга

Уилла Кэсер

22.8 USD 18.24 USD

В корзину

КГБ навсегда. Невидимые щупальца сверхдержавы бумажная книга

Д. Бэррон

32.97 USD

В корзину

Ты и твой мир. Подростковые проблемы, о которых не говорят вслух

Ты и твой мир. Подростковые проблемы, о которых... бумажная книга

21.26 USD

В корзину

Посох двуликого Януса бумажная книга

Александра Маринина

26.76 USD

В корзину

Земные дети. Рассказы. Новеллы. Легенды бумажная книга

Федор Кузьмич Сологуб

129.43 USD

В корзину

Секс с учеными

бумажная книга

Величайшие биологи прошлого пытались разобраться в том, для чего живым существам нужно половое размножение, как оно возникло, какую пользу принесло и почему не исчезло. В книге «Секс с учеными» рассказывается, как ученые попытались связать секс с мутационным процессом и в результате создали целую область науки — популяционную генетику. Речь заходит о разделении на два пола, в котором ничего...

Издательство: Альпина нон-фикшн
Дата выхода: ноябрь 2023

12.66 USD

В корзину

20%

Песня жаворонка

бумажная книга

Уилла Кэсер

Тея Кронборг обладает невероятным талантом и прекрасным голосом, но для того, чтобы девочке из бедного городка в Колорадо стать великой оперной певицей, голоса и таланта недостаточно. Цепочка случайных встреч — с сельским доктором, простым скитальцем, обедневшим учителем музыки — открывает для Теи дорогу к славе, но на этом пути ей придется пожертвовать многим, в том числе и частицей своей души. «Песня...

Издательство: Дом историй
Дата выхода: май 2025

22.8 USD 18.24 USD

В корзину

КГБ навсегда. Невидимые щупальца сверхдержавы

бумажная книга

Д. Бэррон

Загляните за кулисы холодной войны глазами опытного журналиста-расследователя Джона Бэррона (1930 – 2005) –экс-офицера военно-морской разведки США, свободно владеющего русским языком автора шести книг о противостоянии советских и американских спецслужб. Самая известная из которых «КГБ сегодня. Невидимые щупальца» (1983 год).В этой книге Джон Бэррон детально описывает методы вербовки агентов, разоблачает...

Издательство: Родина
Дата выхода: сентябрь 2025

32.97 USD

В корзину

Ты и твой мир. Подростковые проблемы, о которых не говорят вслух

бумажная книга

Тамерлан Заников (папа Тамерлан) — психолог, психотерапевт, который не боится говорить с подростками на сложные темы и помогает преодолевать кризисные ситуации им и их родителям. В своей психологической практике, а также в соцсетях папа Тамерлан разбирает проблемы буллинга и низкой самооценки, отношения с родителями, первую любовь и другие важные аспекты подростковой жизни. Эта книга подобна...

Издательство: АСТ
Дата выхода: июль 2025

21.26 USD

В корзину

Посох двуликого Януса

бумажная книга

Александра Маринина

В этом романе Александра Маринина остаётся верна себе — точная психология, острое социальное чутьё и цепкий детективный нерв. Однако автор впервые вплетает в повествование сюжетную линию из будущего. Благодаря этому можно взглянуть на преступление так, как его увидят через десятки лет, когда правда уже никому не нужна. *** 2024 год. Двойная трагедия в Москве: убита молодая женщина, автор популярного...

Издательство: Эксмо
Дата выхода: август 2025

26.76 USD

В корзину

Земные дети. Рассказы. Новеллы. Легенды

бумажная книга

Федор Кузьмич Сологуб

Иллюстрации: В. А. Мишин. Составление, статья: М. М. Павлова. Подготовка текста и комментарии: М. М. Павлова, В. В. Филичева. В том избранной прозы одного из крупнейших писателей Серебряного века Фёдора Сологуба (1863—1927) включены произведения 1890-х — начала 1910-х годов: рассказы, новеллы, легенды, аллегории, притчи, сказки. Центральное место здесь отведено рассказам о детях (не предназначенным для...

Издательство: Вита Нова
Дата выхода: февраль 2023

129.43 USD

В корзину