?
Информатика: Логика и алгоритмы. Эффективные методы решения задач: Пособие для самостоятельной подготовки
Авторы пособия – преподаватели отделения программной инженерии Национального исследовательского университета «Высшая школа экономики» - рассматривают теоретические основы логики и алгоритмизации и их практическое применение для решения задач различной сложности (в том числе олимпиадных) по информатике и ИКТ.
В книге предлагаются традиционные и оригинальные методы и подходы к решению задач по логике и алгоритмизации. Описаны способы решения заданий ЕГЭ различных видов и сложностей, предлагаются задания для самостоятельной работы.
Материал подходит для самостоятельного освоения учениками средних учебных заведений, для использования преподавателями при организации работы в классе и для подготовки к ЕГЭ и олимпиадам.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 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 г.
Добавлено: 21 ноября 2025 г.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Мещанинов В. П., Strashnov, P., Shevtsov A. и др., / Cornell University. Серия CoRR, arXiv:2403.03726 "Computing Research Repository,". 2025.
Дизайн белков требует глубокого понимания присущей сложности «белкового вселенной». Хотя многие работы ориентируются на условную генерацию или сосредоточены на отдельных семействах белков, базовая задача безусловной генерации остаётся недостаточно изученной и недооценённой. В этой работе мы исследуем именно этот ключевой аспект и представляем DiMA — модель, которая использует непрерывную диффузию по эмбеддингам, полученным из языковой модели для белков ESM-2, ...
Добавлено: 5 октября 2025 г.
Шабалин А. М., Мещанинов В. П., Vetrov D., / Series cs.CL, arXiv:2505.18853 "Computation and Language". 2025.
Диффузионные модели достигли передовых результатов в генерации изображений, аудио и видео, однако их адаптация к тексту остаётся сложной из-за его дискретной природы. Ранее подходы либо применяют гауссовскую диффузию в непрерывных латентных пространствах, что наследует семантическую структуру, но затрудняет декодирование токенов, либо работают в пространстве категориального симплекса, что учитывает дискретность, но игнорирует семантические связи между токенами. ...
Добавлено: 5 октября 2025 г.
Абрамов А. С., Чернышев В. Л., Михайлец Е. В. и др., / Series Social Science Research Network "Social Science Research Network". 2025.
Добавлено: 23 сентября 2025 г.
Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 07600.
Добавлено: 17 сентября 2025 г.
Долгоруков В. В., Попова Е. Л., Логические исследования 2025 Т. 31 № 2 С. 31–51
Статья посвящена исследованию структурных параллелей между нормативными стандартами в логике и теории игр. С одной стороны, стандартная точка зрения утверждает, что и логика, и теория игр являются нормативными дисциплинами. С другой стороны, их нормативный статус является предметом дискуссий. Демонстрируется, что внутри логики и теории игр возникают параллельные исследовательские программы, связанные с различными стратегиями ответа на ...
Добавлено: 15 сентября 2025 г.
Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 20584.
Добавлено: 9 сентября 2025 г.
Хестанов Р. З., Сувалко А. С., Социологическое обозрение 2025 Т. 24 № 2 С. 164–189
В статье исследуется генезис концепта новизны и утверждается, что современные трудности с определением и идентификацией нового являются симптомом семантического кризиса, в основе которого лежит утрата стратегической нормативности новизны в современной культуре. Выделяются и анализируются три историко-семантические модели новизны: циклическая (характерная для доисторических обществ), изобретенная (свойственная эпохе модерна) и рутинная (отражающая современные тенденции). В рамках циклической ...
Добавлено: 29 июня 2025 г.
Долгоруков В. В., Попова Е. Л., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 78–79.
Доклад посвящен анализу эвиденциалов в DEL. ...
Добавлено: 19 июня 2025 г.
М.: Издатель Александр Воробьев, 2025.
В книге представлены материалы конференции "Четырнадцатые Смирновские чтения по логике". ...
Добавлено: 19 июня 2025 г.
Ермоленко Г. А., Кожевников С. Б., М.: Экзамен, 2024.
Содержание пособия охватывает все разделы курса и темы Кодификатора ЕГЭ. Оно включает схемы и таблицы, облегчающие восприятие и запоминание учебного материала, а также все ключевые термины и понятия курса, необходимые для сдачи ЕГЭ по обществознанию. В приложении подробно излагается конституционное устройство Российской Федерации с учетом поправок, знание которых предусмотрено при
выполнении многих заданий ЕГЭ. Пособие адресовано ...
Добавлено: 19 февраля 2025 г.