В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к...
ISBN: 978-5-534-11631-1
Издательство:
Юрайт
Дата выхода: май 2019
Николай Михайлович Карамзин (1766—1826) — русский гений эпохи сентиментализма, создатель новых героев — чувственных, сострадающих и лишенных морализаторства. Будь то история трагической влюбленности ("Бедная Лиза", "Лиодор") или чистой взаимной любви ("Наталья, боярская дочь"), таинственного острова Борнгольм или усмирения непокорного Новгорода, в центре его сюжетов всегда люди, их переживания и непростые...
ISBN: 978-5-04-215907-7
Издательство:
Эксмо
Дата выхода: июнь 2025
Найденных опечаток пока нет
Добавить запись