Аннотация к книге "МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ 5-е изд. Учебник и практикум для вузов"
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
Книга представляет собой практическое руководство по интеграции фреймворка Bootstrap 5 с шаблонами Django для разработки на языке Python современных и динамичных веб-приложений. Рассматриваются основы макетирования HTML-страниц, создание статичных элементов (кнопки, панели, модальные окна, аккордеоны) и разработка динамичных компонентов, управляемых через административную панель Django или интерфейс личного...
Поэма "Божественная комедия" на протяжении семи веков олицетворяет духовное возрождение. Однако в момент ее создания Данте Алигьери был изгнан из Флоренции. Не получив поддержки, бывший политик и философ создал свой шедевр, сочетающий в себе черты как античной, так и христианской культуры, навсегда прославивший итальянскую литературу. В своем сновидении Данте вместе с величайшим драматургом...
Большие языковые модели (LLM) кардинально меняют мир, обещая автоматизацию различных задач и решение сложных проблем. Программные приложения последнего поколения используют эти модели в качестве строительных блоков для создания новых возможностей практически во всех областях, но, чтобы пользоваться этими возможностями, нужны навыки. Книга расскажет о науке и искусстве промт-инжиниринга, и эти знания...
Машинное обучение давно уже стало синонимом искусственного интеллекта. Оно проникло во многие аспекты нашей жизни и стало одной из важнейших областей современной науки. Эта книга — путеводитель по ключевым идеям машинного обучения. Вы узнаете, как методы машинного обучения получаются из основных принципов теории вероятностей, пройдёте путь от теоремы Байеса до обобщённых линейных моделей и узнаете в...
- Книга известного киноведа о влиянии творчества Тарковского как на кино и искусство, так и на жизнь человека — неважно, публичного или «обычного». - Автор исследует самые разные сферы культуры, политики, соприкоснувшиеся с феноменом Тарковского. От скандинавского, итальянского и даже мексиканского кино — до философии «конца истории» и постмодерна. От финансовых кулис Каннского кинофестиваля — до...
Йоав Блум, автор бестселлера «Творцы совпадений», — один из самых оригинальных писателей современности. В основе каждой его книги лежит необыкновенная идея, новый взгляд на мир и на возможности человеческого сознания. Главный герой романа «Руководство к действию на ближайшие дни» — молодой неудачник Бен Шварцман, бывший библиотекарь на три четверти ставки, который к тому же совсем не пьет. Однажды он...
Оставить комментарий