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

Заглянуть

-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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

-20%

Маяк на Хийумаа бумажная книга

Леонид Юзефович

10.39 USD 8.32 USD

На складе

В корзину

-3%

Как тебя зовут бумажная книга

Александра Шалашова

13.41 USD 13.01 USD

В корзину

-10%

Человеческий фактор. Успешные проекты и команды, 3-е издание

Человеческий фактор. Успешные проекты и... бумажная книга

Том Демарко

36.18 USD 32.56 USD

3 На складе

В корзину

Ресторанчик «Улитка» бумажная книга

Ито Огава

17.83 USD

В корзину

Защита систем: чему "Звездные войны" учат инженера ПО

Защита систем: чему "Звездные войны" учат... бумажная книга

Адам Шостак

28.9 USD

В корзину

-12%

Редактор: Закулисье успеха и революция в книжном мире

Редактор: Закулисье успеха и революция в... бумажная книга

16.26 USD 14.3 USD

В корзину

20%

Маяк на Хийумаа

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

Леонид Юзефович

Леонид Юзефович — писатель, историк, лауреат премий “Большая книга” и “Национальный бестселлер”. Автор романов “Казароза” и “Журавли и карлики”, историко-документальных книг “Самодержец пустыни” о бароне Унгерне и “Зимняя дорога. Генерал А.Н.Пепеляев и анархист И.Я.Строд в Якутии”. В книге “Маяк на Хийумаа” собраны рассказы разных лет, в том числе связанные с многолетними историческими...

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

10.39 USD 8.32 USD

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

3%

Как тебя зовут

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

Александра Шалашова

Он забывает слова, путает имена дочери и внучки. Может быть, это не так важно, а важно другое имя — имя девочки, которую он встретил в Германии в 1941 году, а потом безвозвратно утратил. Блуждая в лабиринтах памяти, он пытается снова найти ее — и себя. Он всматривается в старые фотографии, на которых его родной Великий Новгород, небо и деревья. Однажды он уходит из дома, продолжая фотографировать,...

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

13.41 USD 13.01 USD

В корзину

10%

Человеческий фактор. Успешные проекты и команды, 3-е издание

бумажная книга лучший выбор

Том Демарко Тимоти Листер

Немногие книги о компьютерах оказали такое заметное влияние на управление разработкой программного обеспечения, как "Человеческий фактор". Уникальное озарение этой книги, долгие годы сохранявшей свое положение в списке бестселлеров: "Самые сложные проблемы разработки программного обеспечения носят не технический, но социальный характер. Эти человеческие проблемы решать не просто, однако, решив их, вы...

Издательство: Символ-Плюс
Дата выхода: май 2014

36.18 USD 32.56 USD

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

Ресторанчик «Улитка»

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

Ито Огава

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

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

17.83 USD

В корзину

Защита систем: чему "Звездные войны" учат инженера ПО

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

Адам Шостак

Практическое руководство по написанию безопасных приложений с помощью опыта мастеров-джедаев из «Звездных войн». Чему могут научить R2-D2, Дарт Вейдер, Хан Соло или даже Йода в плане безопасности программного обеспечения? В книге «Защита систем: чему "Звездные войны" учат инженеров ПО» дан целый арсенал стратегий и методов защиты, которые применимы не только в фантастическом мире, но и в реальных...

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

28.9 USD

В корзину

12%

Редактор: Закулисье успеха и революция в книжном мире

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

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

Издательство: Махаон
Дата выхода: август 2025

16.26 USD 14.3 USD

В корзину

Просмотренные товары

Бриллиантовая пыль бумажная книга

Светлана Марзинова

1

Нет в продаже