книги

Заглянуть

-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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

-3%

Мириады языков бумажная книга

Калеб Эверетт

13.41 USD 13.01 USD

В корзину

ДАО Алибаба. Как байт за байтом строилась империя бумажная книга

23.15 USD

В корзину

Сорока на виселице бумажная книга

Эдуард Веркин

18.67 USD

В корзину

-20%

PRO казан. Непромокаемая книга бумажная книга

Сталик Ханкишиев

9.32 USD 7.46 USD

2 На складе

В корзину

-11%

Илон Маск бумажная книга

Уолтер Айзексон

25.02 USD 22.26 USD

В корзину

-19%

Почтовая служба друзей по переписке бумажная книга

12.96 USD 10.5 USD

В корзину

3%

Мириады языков

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

Калеб Эверетт

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

Издательство: Альпина Паблишер
Дата выхода: апрель 2025

13.41 USD 13.01 USD

В корзину

ДАО Алибаба. Как байт за байтом строилась империя

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

Как отсутствие плана, денег и технологий привели Alibaba к успеху? Что сделало малоизвестный китайский интернет-стартап с «диснеевским» названием мировым гигантом? Почему простая B2B-платформа электронной коммерции превратилась в глобальную экосистему? Ответ в философии. Эта книга раскрывает Дао компании — тот самый «секретный соус» из идеалов, ценностей и особого корпоративного духа. Автор —...

Издательство: Эксмо
Дата выхода: декабрь 2024

23.15 USD

В корзину

Сорока на виселице

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

Эдуард Веркин

Добро пожаловать в мир будущего! Мир, в котором побеждены болезни, войны, голод и старость, открыты более двухсот экзопланет и экспансия продолжается. Прекрасный новый мир, мир для всех. Кроме Яна. Но именно он, простой смотритель заповедника, волей случая попадает в состав Большого Жюри, которое определит дальнейший вектор развития земной цивилизации. Ждут ли нас в космосе? Ждет ли нас космос? По плечу ли...

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

18.67 USD

В корзину

20%

PRO казан. Непромокаемая книга

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

Сталик Ханкишиев

Уникальная непромокаемая книга: не горит, не пачкается, не мокнет! Удобно готовить как на кухне, так и на даче на природе. Книга на веревочке - можно повесить куда угодно. Сокращенные варианты рецептов кулинарного бестселлера Сталика "Казан. Кулинарный самоучитель" Сложные рецепты написаны просто, со списком ингредиентов и пошаговыми фото. Казан – универсальный инструмент, позволяющий приготовить...

Издательство: АСТ
Дата выхода: декабрь 2018

9.32 USD 7.46 USD

2 На складе В корзину

11%

Илон Маск

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

Уолтер Айзексон

Порой великими новаторами становятся сознательно идущие на риск великовозрастные дети. Они бывают безрассудными, неприятными и даже деструктивными. Они также бывают безумными. Безумными настолько, чтобы счесть, что им под силу изменить весь мир. Илон Маск – несомненно один из таких людей. Богатейший бизнесмен планеты, человек года по версии журнала Time, провокатор, визионер, превративший Tesla в самую...

Издательство: АСТ
Дата выхода: август 2024

25.02 USD 22.26 USD

В корзину

19%

Почтовая служба друзей по переписке

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

Хилинг-роман, основанный на реальных письмах из настоящего магазина в Сеуле! Теплая и жизнеутверждающая современная проза в жанре feel good, которую запоем читают и взрослые, и подростки. В лучших традициях бестселлеров «Книжная кухня» и «Прачечная, стирающая печали»! Когда одиночество грозит захлестнуть с головой и вокруг нет никого, кто понял бы и поддержал, остается лишь одна надежда – рассказать свою...

Издательство: Росмэн
Дата выхода: май 2025

12.96 USD 10.5 USD

В корзину