?
Логическое программирование
Петренко А. А., Суворов А. О.
В учебнике рассмотрены вопросы, которые касаются языков логического программирования: особенности применения, синтаксис, функции. Приведено большое количество содержательных примеров решения задач, демонстрирующих возможности языков логического программирования. Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения. Для студентов высших учебных заведений, обучающихся по направлениям подготовки «Информационные технологии автоматизированных систем», «Программная инженерия», «Прикладная информатика, а также лиц, самостоятельно изучающих логическое программирование.
Фирсанова В. И., Journal of Mathematical Sciences 2024 Vol. 285 No. 1 P. 112–125
Добавлено: 9 сентября 2026 г.
Фирсанова В. И., Человек: образ и сущность. Гуманитарные аспекты 2025 Vol. 2 No. 62 P. 203–214
Статья посвящена промпт-инжинирингу для снижения плагиата и повышения заинтересованности студентов. Было проведено интервью преподавателей, разработана первая коллекция пресетов для промпт-инжиниринга в академической среде, создан интерфейс виртуального ассистента. Качественный анализ результатов интервью показал, что сотрудники сферы образования скорее заинтересованы в применении больших языковых моделей при разработке форм контроля, адаптации учебного материала с целью предоставления доступности и ...
Добавлено: 9 сентября 2026 г.
Вохминцев И. В., Вестник международных организаций: образование, наука, новая экономика 2026 Т. 21 № 2
ЕАЭС и ОДКБ – главные региональные международные организации для России. Понимание, оценка и анализ внешнеполитических позиций стран, которые туда входят — это вопрос национальных интересов страны. Из этого вытекает цель работы: выявление уровня и формы согласованности голосования стран ЕАЭС и ОДКБ в ГА ООН. Уровень согласованности – оценка уровня близости стран при голосовании. Форма согласованности ...
Добавлено: 7 сентября 2026 г.
Добавлено: 7 сентября 2026 г.
Добавлено: 7 сентября 2026 г.
Неверов В. Д., Красавин А. В., Вагов А. В. и др., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 P. 1–6
Добавлено: 5 сентября 2026 г.
Добавлено: 4 сентября 2026 г.
Proceedings of Machine Learning Research , 2026.
Добавлено: 4 сентября 2026 г.
Khodadoust J., Куликова С. П., Khodadoust F., Biomedical Signal Processing and Control 2027 Vol. 129 P. 111284–111284
Анализ острого ишемического инсульта (ОИИ) по двухмерным (2D) клиническим изображениям затруднен из-за неконтролируемого наклона срезов и геометрических несоответствий, нарушающих предположения моделей глубокого обучения (ГБО), не зависящих от положения. В данной статье предлагается унифицированная, учитывающая геометрию, частотно-доменная структура для локализации наклонных срезов и сегментации ишемического инсульта, которая явно разделяет оценку положения и анализ поражения. Метод сначала ...
Добавлено: 2 сентября 2026 г.
IEEE, 2026.
Добавлено: 2 сентября 2026 г.
S.M. Avdoshin, Patrushev K. A., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 4-2 P. 245–256
Добавлено: 27 августа 2026 г.
Добавлено: 27 августа 2026 г.
Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2025.
Сборник содержит материалы, представленные на XXIV Международной конференции «Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории», посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова. Материалы конференции будут полезны научным работникам, ...
Добавлено: 27 августа 2026 г.
Eduard Sopin, Назарьин А. И., Бегишев В. О. и др., IEEE Transactions on Vehicular Technology 2026 Vol. 75 No. 6 P. 10995–11007
Добавлено: 26 августа 2026 г.
Джонов А. Т., Авдошин С. М., Информационные технологии 2026 Т. 32 № 8 С. 421–427
В данном систематическом обзоре представлен анализ методологии Вайб-кодинг (Vibe Coding) — современно-го подхода к итеративному процессу разработки программного обеспечения с помощью больших языковых моделей (БЯМ). Инструменты генерации кода транформируют написание ПО, позволяя программисту формулировать задачи и описывать желаемое поведение кода на естественном языке, в то время как БЯМ генерирует соответ-ствующий запросам исходный код. Обзор систематиматизирует ...
Добавлено: 25 августа 2026 г.
Мельман А. С., Евсютин О. О., Journal of the Franklin Institute 2026 Vol. 363 No. 15 Article 109005
Добавлено: 25 августа 2026 г.
IEEE, 2026.
Добавлено: 24 августа 2026 г.
Петренко А. А., Суворов А. О., Шаякбаров Н. Ф., Пермь: Издательство Пермского национального исследовательского политехнического университета, 2022.
Рассмотрены вопросы, касающиеся языков функционального программирования: особенности применения, синтаксис, функции. Приведено большое количество содержательных примеров решения задач, демонстрирующих возможности языков функционального программирования.
Предназначено студентам образовательных учреждений высшего образования, обучающимся по специальностям направлений «Информатика и вычислительная техника», «Программная инженерия», а также лицам, самостоятельно изучающим функциональное программирование. ...
Добавлено: 25 октября 2022 г.
Гаман-Голутвина О. В., В кн.: Политическая компаративистика.: М.: Аспект Пресс, 2020. С. 340–382.
Добавлено: 12 апреля 2021 г.
В учебнике излагаются основы высшей математики, входящие в базовые программы средних специальных учебных заведений. Последовательно изложены теория пределов, основы дифференциального и интегрального исчисления одной и нескольких переменных, теория рядов, элементы теории дифференциальных уравнений, а также основы линейной алгебры и аналитической геометрии – матрицы и их определители, векторы и системы линейных уравнений, прямые и плоскости в пространстве ...
Добавлено: 7 февраля 2019 г.
Широков Н. А., Записки научных семинаров ПОМИ РАН 2018 Т. 467 С. 244–254
Пусть $\mathbb B^n$ -- единичный шар, $S^n$ -- единичная сфера в $\mathbb C^n$, $n\geq 2$. Возьмем $\alpha$, $0<\alpha<1$, и определим функцию $f$ на $\overline{\mathbb B^n}$ следующим образом: $$ f(z)= (z_1-1)^{\alpha} e^{\frac{z_1+1}{z_1-1}}, \quad z=(z_1,\dots,z_n)\in \overline{\mathbb B^n}. $$ Основной результат следующий. \begin{proclaim}{Теорема} На сфере $S^n$ функция $\zeta\mapsto |f(\zeta)|$ принадлежит классу Гёльдера $H^{\alpha}(S^n)$, функция $f$ не лежит в ...
Добавлено: 26 ноября 2018 г.
Кронгауз М. А., Российский журнал когнитивной науки 2018 Т. 5 № 1 С. 14–21
Анализируется сходство научных биографий Б. Уорфа, одного из авторов гипотезы лингвистической относительности, и Д. Эверетта, описавшего язык пираха. Речь идет об их научно-социальной роли в современных им научных сообществах и обществе в целом и об их взглядах и достижениях. Анализ позволяет объяснить сходство их научной судьбы, огромный успех их теоретических построений, выходящий за пределы лингвистики, ...
Добавлено: 7 октября 2018 г.
Ефанов А. А., Вестник Сургутского государственного педагогического университета 2017 № 3 (48) С. 71–75
В статье проводится социологическое обоснование амбивалентности социальных изменений в результате влияния моральных паник на общество. Доказывается, что моральные паники могут приводить не только к деструктивным, но и конструктивным социальным последствиям. Выделяется ряд функций моральных паник. По итогам проведенного исследования делается вывод, что моральные паники выступают в качестве фактора социальных изменений. ...
Добавлено: 16 сентября 2018 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2018.
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания ...
Добавлено: 2 декабря 2017 г.