?
Логическое программирование
Петренко А. А., Суворов А. О.
В учебнике рассмотрены вопросы, которые касаются языков логического программирования: особенности применения, синтаксис, функции. Приведено большое количество содержательных примеров решения задач, демонстрирующих возможности языков логического программирования. Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения. Для студентов высших учебных заведений, обучающихся по направлениям подготовки «Информационные технологии автоматизированных систем», «Программная инженерия», «Прикладная информатика, а также лиц, самостоятельно изучающих логическое программирование.
Попцова М. С., International Journal of Molecular Sciences 2025 Vol. 26 No. 6 P. 1–21
Добавлено: 22 июня 2026 г.
Калужский печатный двор, 2026.
Сборник трудов конференции "Математические идеи академика
П.Л. Чебышёва, их приложения в естественных науках и технологиях искусственного интеллекта» ...
Добавлено: 20 июня 2026 г.
Стогниева О. Н., Чеснокова Н. Е., Отечественная и зарубежная педагогика 2026 Т. 1 № 3 (115) С. 123–131
Внедрение генеративных инструментов искусственного интеллекта в образовательную практику актуализирует проблему педагогически обоснованного использования данных технологий при создании образовательного видеоконтента, который всё чаще применяется в языковом и профессионально-ориентированном обучении.
Цель статьи — провести сравнительный анализ образовательного видеоконтента, созданного с применением генеративных ИИ-инструментов, с позиций теории когнитивной нагрузки и принципов педагогического дизайна, а также выявить дидактические условия повышения ...
Добавлено: 20 июня 2026 г.
Cherednichenko O., Herbert A., Попцова М. С., Computational and Structural Biotechnology Journal 2025 Vol. 27 P. 992–1000
Добавлено: 19 июня 2026 г.
Анненков А. Н., Нестеров Р. А., Моделирование и анализ информационных систем 2026 Т. 33 № 2 С. 176–205
Декларативные модели процессов широко используются в process mining для гибкого описания поведения
процессов с помощью наборов ограничений. Однако модели, автоматически извлекаемые из журналов событий, могут содержать несогласованные ограничения, что затрудняет их интерпретацию и делает их непригодными для исполнения, проверки соответствия или дальнейшего анализа. Существующие методы анализа согласованности либо опираются на автоматные конструкции с высокой асимптотической сложностью ...
Добавлено: 18 июня 2026 г.
Cham: Springer Publishing Company, 2026.
Добавлено: 18 июня 2026 г.
Поддьяков А. Н., Троицкий вариант. Наука 2026 № 12 С. 24–25
В научно-популярной заметке представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. Обзор сделан в основном чат-ботом DeepSeek. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки. ...
Добавлено: 18 июня 2026 г.
Beznosikov A., Kormakov G., Grigorievskiy A. и др., Journal of Optimization Theory and Applications 2026 Vol. 209 Article 18
Добавлено: 17 июня 2026 г.
Chertenkov V. I., Щур Л. Н., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 2 P. 720–727
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Novopoltsev M., Tulenkov A., Murtazin R. и др., IEEE Access 2025 Vol. 13 P. 188170–188181
Добавлено: 16 июня 2026 г.
Stepin A., Mozikov M., Kabanov A. и др., IEEE Access 2026 Vol. 14 P. 48127–48144
Добавлено: 16 июня 2026 г.
Abdullaeva I., Karpukhin I., Filatov A. и др., IEEE Access 2026 Vol. 14 P. 59390–59408
Добавлено: 16 июня 2026 г.
Association for Computational Linguistics, 2026.
Добавлено: 14 июня 2026 г.
Strube M., Braud C., Hardmeier C. и др., Suzhou: Association for Computational Linguistics, 2025.
Добавлено: 11 июня 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 г.