?
Информатика: Логика и алгоритмы. Эффективные методы решения задач: Пособие для самостоятельной подготовки
Авторы пособия – преподаватели отделения программной инженерии Национального исследовательского университета «Высшая школа экономики» - рассматривают теоретические основы логики и алгоритмизации и их практическое применение для решения задач различной сложности (в том числе олимпиадных) по информатике и ИКТ.
В книге предлагаются традиционные и оригинальные методы и подходы к решению задач по логике и алгоритмизации. Описаны способы решения заданий ЕГЭ различных видов и сложностей, предлагаются задания для самостоятельной работы.
Материал подходит для самостоятельного освоения учениками средних учебных заведений, для использования преподавателями при организации работы в классе и для подготовки к ЕГЭ и олимпиадам.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Долгоруков В. В., Попова Е. Л., Философия. Журнал Высшей школы экономики 2026 Т. 10 № 1 С. 404–409
Рецензия на: Hoffmann D. Limits of Mathematics. A Journey Through the Key Areas of Mathematical Logic. — Berlin : Springer, 2025. ...
Добавлено: 30 марта 2026 г.
Дзардини Э., , in: Paradoxes Between Truth and Proof.: Springer, 2024. P. 279–299.
Добавлено: 5 февраля 2026 г.
Тульчинский Г. Л., СПб.: Политех-Пресс, 2025.
Монография посвящена анализу реальности, одного из самых сложных и многозначных понятий в современной философии. Представлены различные подходы и разные способы аналитики реальности, - методологические исследования, историко-философский анализ, социально-критическая аналитика. В монографии соединились исследования из разных областей философского знания, – из философии науки, онтологии, логики, теории познания, эпистемологии, социальной философии, эстетики. Книга предназначена как для специалистов, ...
Добавлено: 29 января 2026 г.
Долгоруков В. В., Попова Е. Л., В кн.: Материалы докладов V Конференции математических центров России.: Красноярск: ИВМ СО РАН, 2025. С. 216–218.
Моделирование осведомленности (awareness) является одним из направлений теории многоагентных систем и восходит к работам классиков теоретической информатики Р. Фейгина, Дж. Халперна, Й. Мозеса, М. Варди. Согласно им, моделирование осведомленности позволяет решить проблему логического всеведения, которая представляет собой одно из ключевых затруднений стандартной эпистемической логики. В настоящей работе представим расширение подхода Р. Фейгина и соавторов, а ...
Добавлено: 16 января 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Гулов А. П., Бакулев А. В., В кн.: Шатиловские чтения. Интеграция науки и практики в иноязычном образовании.: СПб.: Политех-Пресс, 2025. С. 302–308.
При всей значимости английского языка как ключевого посредника международного общения многие задания в языковых олимпиадах сохраняют социокультурную англоцентричность, проверяя при этом, как правило, знаниевый компонент соответствующей компетенции. Предпринята попытка зафиксировать указанные противоречия и сформулировать рекомендации, позволяющие их преодолеть. ...
Добавлено: 11 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Долгоруков В. В., Попова Е. Л., Логические исследования 2025 Т. 31 № 2 С. 31–51
Статья посвящена исследованию структурных параллелей между нормативными стандартами в логике и теории игр. С одной стороны, стандартная точка зрения утверждает, что и логика, и теория игр являются нормативными дисциплинами. С другой стороны, их нормативный статус является предметом дискуссий. Демонстрируется, что внутри логики и теории игр возникают параллельные исследовательские программы, связанные с различными стратегиями ответа на ...
Добавлено: 15 сентября 2025 г.
Хестанов Р. З., Сувалко А. С., Социологическое обозрение 2025 Т. 24 № 2 С. 164–189
В статье исследуется генезис концепта новизны и утверждается, что современные трудности с определением и идентификацией нового являются симптомом семантического кризиса, в основе которого лежит утрата стратегической нормативности новизны в современной культуре. Выделяются и анализируются три историко-семантические модели новизны: циклическая (характерная для доисторических обществ), изобретенная (свойственная эпохе модерна) и рутинная (отражающая современные тенденции). В рамках циклической ...
Добавлено: 29 июня 2025 г.
Долгоруков В. В., Попова Е. Л., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 78–79.
Доклад посвящен анализу эвиденциалов в DEL. ...
Добавлено: 19 июня 2025 г.
М.: Издатель Александр Воробьев, 2025.
В книге представлены материалы конференции "Четырнадцатые Смирновские чтения по логике". ...
Добавлено: 19 июня 2025 г.
Ермоленко Г. А., Кожевников С. Б., М.: Экзамен, 2024.
Содержание пособия охватывает все разделы курса и темы Кодификатора ЕГЭ. Оно включает схемы и таблицы, облегчающие восприятие и запоминание учебного материала, а также все ключевые термины и понятия курса, необходимые для сдачи ЕГЭ по обществознанию. В приложении подробно излагается конституционное устройство Российской Федерации с учетом поправок, знание которых предусмотрено при
выполнении многих заданий ЕГЭ. Пособие адресовано ...
Добавлено: 19 февраля 2025 г.
Ермоленко Г. А., Кожевников С. Б., М.: Экзамен, 2023.
Содержание пособия охватывает все разделы курса и темы Кодификатора ЕГЭ. Оно включает схемы и таблицы, облегчающие восприятие и запоминание учебного материала, а также все ключевые термины и понятия курса, необходимые для сдачи ЕГЭ по обществознанию. В приложении подробно излагается конституционное устройство Российской Федерации с учетом поправок 2020 г., знание которых предусмотрено при выполнении многих заданий ...
Добавлено: 19 февраля 2025 г.
Ермоленко Г. А., Кожевников С. Б., М.: Экзамен, 2025.
Содержание пособия охватывает все разделы курса и темы Кодификатора ЕГЭ. Оно включает схемы и таблицы, облегчающие восприятие и запоминание учебного материала, а также все ключевые термины и понятия курса, необходимые для сдачи ЕГЭ по обществознанию. В приложении подробно излагается конституционное устройство Российской Федерации с учетом поправок, знание которых предусмотрено при
выполнении многих заданий ЕГЭ. Пособие адресовано ...
Добавлено: 3 февраля 2025 г.
Васюков В. Л., Вестник Ивановского государственного университета. Серия: Гуманитарные науки 2023 № 4 С. 132–139
Дискуссии о природе сознания в основном ведутся в рамках трех гипотез: (1) сознание — самостоятельная реальность, не связанная с материей при- чинно-следственными связями — дуализм, (2) сознание — нечто производное от материальной субстанции – физикализм, и (3) материя и сознание являются модусами чего-то третьего — нейтральный монизм. Взаимодействие же материальной субстанции и сознания с точки ...
Добавлено: 27 декабря 2024 г.
Васюков В. Л., Вестник Ивановского государственного университета. Серия: Гуманитарные науки 2024 № 4 С. 134–142
Применяя метод комбинирования логических систем, можно описать работу сознания с помощью логических систем — комбинаций различных видов связей ментальных состояний и каузальных связей состояний нейронов (психофизическая про- блема). Для пары таких «логик» всегда можно найти «объединенную» логическую си- стему, чьи свойства детерминируемы отношениями следования обеих систем. Однако та- кая «логика сознания» может сама рассматриваться как ...
Добавлено: 26 декабря 2024 г.