Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем"

?

Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем"

Улан-Удэ : Издательство Бурятского госуниверситета, 2017.

Под общей редакцией: Н. А. Перязев, С. Ф. Винокуров, В. И. Пантелеев, И. К. Шаранхаев

Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании;

Об одном фрагменте решётки замкнутых классов функций многозначной логики

Михайлович А. В., В кн.: Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем".: Улан-Удэ: Издательство Бурятского госуниверситета, 2017. С. 91–95.

В работе описана решётка всех замкнутых классов, содержащихся в замыкании всех функций из примеров Ю. И. Янова и А. А. Мучника. ...

Добавлено: 22 сентября 2017 г.

Оценки немонотонной сложности логических схем

Михайлович А. В., Кочергин В. В., В кн.: Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем".: Улан-Удэ: Издательство Бурятского госуниверситета, 2017. С. 48–52.

Исследуется задача о сложности реализации систем функций k-значной логики схемами из функциональных элементов (логическими схемами) в базисах, состоящих из элементов двух сортов. Элементами первого сорта являются произвольные монотонные функции, таким элементам приписан нулевой вес. Конечное число немонотонных функций образует непустое множество элементов второго сорта, каждой такой функции приписан единичный вес. ...

Добавлено: 22 сентября 2017 г.

Научное направление: Компьютерные науки Математика

Приоритетные направления: компьютерно-математическое математика

Язык: русский

Полный текст

Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем"

О подходе к построению последовательности псевдослучайных чисел, основанном на разложениях 𝐸-функций с периодическими коэффициентами

Нестеренко А. Ю., Чирский В. Г., Матвеев В. Ю., Чебышевский сборник 2026 Т. 27 № 2 С. 118–127

В статье приводятся результаты практического исследования статистических свойств некоторых последовательностей, являющихся значениями функций специального вида. ...

Добавлено: 26 августа 2026 г.

Characterizing the Scheduling Performance of 5G NR Base Stations Under Signaling and Data Traffic Constraints

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 г.

Balanced sets and homotopy invariants of covers

Блудов М. В., Journal of Fixed Point Theory and Applications 2026 No. 28 Article 73

Добавлено: 25 августа 2026 г.

An adaptive image watermarking scheme using cooperation of HBA and RSA metaheuristics

Мельман А. С., Евсютин О. О., Journal of the Franklin Institute 2026 Vol. 363 No. 15 Article 109005

Добавлено: 25 августа 2026 г.

Exact solutions for transport of distributed colloids in porous media

L.I. Kuzmina, Osipov , Y. V., Kolokoltseva, T. N., Advances in Water Resources 2026 Vol. 213 Article 105335

Добавлено: 25 августа 2026 г.

MODEL OF DEEP BED FILTRATION IN A POROUS MEDIUM WITH HETEROGENEOUS POROSITY

Liudmila I. Kuzmina, Osipov, Y. V., International Journal for Computational Civil and Structural Engineering 2026 Vol. 22 No. 2 P. 138–148

Добавлено: 25 августа 2026 г.

Exact Solutions to One-Dimensional Problem of Oil Displacement by Chemical

L.I.Kuzmina, Osipov Y. V., Mathematical notes, ISSN 0001-4346 2025 Vol. 116 No. 6 P. 1251–1261

Добавлено: 25 августа 2026 г.

Proceedings of the 2026 12th International Conference on Control, Decision and Information Technologies (CoDIT) (Italy, Bari, July 13–16, 2026)

IEEE, 2026.

Добавлено: 24 августа 2026 г.

On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands

Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.

Добавлено: 21 августа 2026 г.

From data to knowledge: artificial intelligence methods for studying comorbidity in electronic health records

Лукьяненко Д. В., Рагимова А. А., Мухорина А. и др., European Physical Journal: Special Topics 2026 P. 1–24

Добавлено: 20 августа 2026 г.

Proceedings of the Generative Code Intelligence Workshop (GeCoIn 2026), co-located with the 35th International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2026)

CEUR-WS.org, 2026.

Добавлено: 20 августа 2026 г.

MM-PSYCHE: Multimodal Multitask Psychological Characteristic Estimation Through Cross-Domain Semi-Supervised Learning

Рюмина Е. В., Аксёнов А. А., Коряковская Д. О. и др., IEEE Access 2026 Vol. 14 P. 124759–124778

Добавлено: 20 августа 2026 г.

Monomial algebras and G_a^n-equivariant embeddings into toric varieties

Чернов А. Е., European Journal of Mathematics 2026 Vol. 12 Article 48

Добавлено: 19 августа 2026 г.

Proceedings of the 1st Workshop on Linguistic Analysis for Health (HeaLing 2026)

Association for Computational Linguistics, 2026.

Добавлено: 19 августа 2026 г.

Dynamics of Systems, Mechanisms and Machines (Dynamics). International scientific and technical conference

IEEE Advancing Technology for Humanity, 2025.

Добавлено: 19 августа 2026 г.

Hypergraphs from multivariate connectivity: caCOH-based EEG/MEG representation

Власенко Д. В., Саранская И. М., Захаров Д. Г., European Physical Journal: Special Topics 2026 P. 1–16

Гиперграфы предоставляют естественную систему для представления нейрофизиологических взаимодействий, распределённых по наборам датчиков. Ключевой методический вопрос заключается в том, каким образом следует определять гиперрёбра на основе частотно-разрешающих данных электроэнцефалографии и магнитоэнцефалографии (ЭЭГ/МЭГ). Мы предлагаем стратегию построения гиперграфа, в которой гиперрёбра получаются из канонической когерентности (caCOH) — расширения когерентности, которое оценивает степень связи между многомерными пространствами сигналов. Насколько ...

Добавлено: 18 августа 2026 г.

Global shifted potentials for moduli stacks of sheaves on Calabi-Yau four-folds

Borisov D., Katzarkov Ludmil, Sheshmani A. и др., American Journal of Mathematics 2026 Vol. 148 No. 4 P. 1075–1101

Добавлено: 18 августа 2026 г.

Localization in Medical Imaging: A Unified AI Approach for Ovaries, Follicles, and Vertebral Arteries

Мошкин А. С., Fedorov M., Arlazarov V. и др., Algorithms 2026 Vol. 19 No. 7 Article 523

Технологии искусственного интеллекта (ИИ), активно развивающиеся в современной медицине, повышают скорость и качество оказания медицинской помощи. Данная статья преимущественно направлена на демонстрацию применения различных вариантов компьютерного анализа клинических изображений для решения практических задач повышения эффективности рутинной диагностики с использованием ретроспективного анализа, а также на показ потенциала его широкого внедрения (благодаря масштабируемости архитектуры) в практическое здравоохранение ...

Добавлено: 17 августа 2026 г.

Innovation in Medicine and Healthcare

CHEN Y., Howlett R. J., Tanaka S. и др., Springer, 2026.

Добавлено: 16 августа 2026 г.

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.

Добавлено: 30 июля 2026 г.

New bound on S1× S2-setting Bell locality of a nonseparable Werner state

Лубенец Е. Р., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.

Добавлено: 21 июля 2026 г.

On functional equations for Chow polylogarithms

Болбачан В. С., / Series math "arxiv.org". 2024.

Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...

Добавлено: 16 июля 2026 г.

On Goncharov’s conjecture in next to Milnor degree

Болбачан В. С., / Series math "arxiv.org". 2024.

Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...

Добавлено: 16 июля 2026 г.