Автор знакомит читателя с логикой высказываний и логикой предикатов. Разобраны примеры задач, предлагаются упражнения для самостоятельной работы.

В данной статье речь идет о разработке и внедрении в Университете ИТМО новой образовательной практико-ориентированной магистерской программы «Системы голосового самообслуживания». Программа направлена на подготовку специалистов по инновационным продуктам для контакт-центров. Уникальность условий реализации программы состоит в том, что обучающиеся смогут получить реальный практический опыт по всей цепочке разработки, внедрения, сопровождения и эксплуатации инновационных продуктов, разрабатываемых ООО «Центр речевых технологий» – одним из ведущих мировых разработчиков систем в сфере высококачественной записи, обработки и анализа аудио-видео информации, синтеза и распознавания речи. С. 54-60.

В статье представлено описание развития методов синтеза интонационной речи от истоков до настоящего времени. Рассмотрены основные подходы, сыгравшие важную роль в становлении научного направления синтеза речи, а также современные перспективные методы. Приведена объемная библиография по данному вопросу. С. 5-28.

The article describes the development of the speech synthesis methods from the beginnings to the present. The main approaches that have played an important role in the development of the speech synthesis, as well as modern advanced methods are considered. The extensive bibliography on this issue is also given.

В области медицинской диагностики произошел значительный прогресс благодаря внедрению методов машинного обучения. В данной статье представлен комплексный обзор исследований по разработке экспертных системы для диагностики патологий беременности с использованием различных методов машинного обучения. Подчеркивая решающую роль данных для обучения и их предварительной обработки, в рассмотренных в статье публикациях сравнивается точность различных алгоритмов машинного обучения в этой области. Анализируемые исследования в первую очередь были сосредоточены на построении экспертных систем для диагностики патологий и осложнений, связанных с беременностью, с целью улучшения результатов лечения будущих матерей и их будущих детей. Используя широкий спектр подходов к машинному обучению, включая деревья решений, машины опорных векторов, случайный лес, искусственные нейронные сети и другие, была исследована эффективность каждого рассмотренного в статье алгоритма в точном прогнозировании проблем, связанных с беременностью.
Одним из ключевых моментов этого обзора является акцент на качестве и разнообразии обучающих данных. Особое внимание при анализе публикаций уделялось надежности и полноте наборов данных, позволяющих алгоритмам машинного обучения достигать более высокой диагностической точности.
Для обзора были отобраны исследования, в которых для обучения были использованы параметры, признанные медицинским сообществом индикаторами различных патологий.
Важным критерием для выбора публикаций обзора было наличие в них предварительной обработки данных для коррекции пропущенных значений, шума и дисбаланса классов. Решение этих задач играет существенную роль в повышении производительности экспертных систем. В статье проводится оценка методологии и алгоритмов, используемых в рассмотренных публикациях, что дает ценную информацию для будущих исследований и разработок в этой области. С. 50-64.

The field of medical diagnosis has made significant progress with the introduction of machine learning techniques. This article presents a comprehensive review of studies in which researchers have developed expert systems for diagnosing pregnancy abnormalities using various machine learning techniques. Emphasizing the crucial role of data for learning and its preprocessing, the publications reviewed in the article compare the accuracy of different machine learning algorithms in this area. The analyzed research has primarily focused on building expert systems to diagnose pregnancy-related pathologies and complications in order to improve outcomes for expectant mothers and their future children. Using a wide range of machine learning approaches, including decision trees, support vector machines, random forest, artificial neural networks, and others, the effectiveness of each algorithm reviewed in this article in accurately predicting pregnancy-related problems was investigated.
One of the key points of this review is the emphasis on the quality and variety of training data. Particular attention was paid to the reliability and completeness of the datasets in analyzing the publications to allow machine learning algorithms to achieve higher diagnostic accuracy. Studies were selected for the review that used parameters recognized by the medical community as indicators of various pathologies for training.
An important criterion for selecting the review publications was the availability of data preprocessing in them to correct missing values, noise and class imbalance. These tasks play an essential role in improving the performance of the developed expert systems. By critically evaluating the methodologies and algorithms used in the reviewed publications, this paper provides valuable information for future research and development in this area.

В издательстве «Академия» готовится к изданию книга «Дискретная математика» (авторы С.Н. Поздняков, С.В. Рыбин). На основе одного из разделов этой книги С.В. Рыбин написал статью, цель которой подготовить читателя к эффективному использованию програм- много продукта, описанного в следующей статье (авторы В.И. Шульженко, П.А. Эмман).

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

В данной статье рассматривается подход к синтезу речи, основанный на конкатенации звуковых элементов, как наиболее распространённый и широко применяемый в современных системах для получения естественного речевого сигнала. Описаны проблемы, возникающие при реализации данного подхода и пути их решения, основанные на модификации сигнала. Представлены три метода модификации основного тона: TD-PSOLA, SPECINT и LP-PSOLA. Рассмотрены недостатки и достоинства каждого из алгоритмов, и на основании экспериментальных данных рекомендован лучший.

The paper deals with the approach to speech synthesis based on speech elements concatenation. This approach is the most popular and widely used in the latest systems to generate natural speech. We describe the problems of realizing these methods and present a solution. We present three pitch modification methods: TD-PSOLA, SPECINT and LP-PSOLA. We examine the positive and negative aspects of these methods and choose LP-PSOLA as the most effective of them on the basis of experiments.

Автор данной статьи рассказывает о популярной свободно распространяемой системе управления обучением (Learning Management System, LMS) под названием Moodle, ее преимуществах, а также о основных элементах дистанционного курса, на создание которых и рассчитана данная система.

В работе рассматривается Music Information Retrieval — область вычислительного музыковедения, которая активно развивается в современном мире. В рамках статьи описаны некоторые основные задачи и технологии данного направления, такие как генерация музыки, автоматическая музыкальная транскрипция, синтез звуков музыкальных инструментов, поиск музыки.
Особое внимание уделяется одной из интереснейших задач на стыке речевых и музыкальных технологий — синтезу поющего голоса. Рассматриваются различные подходы к этой задаче, существующие проблемы и методы их решения. С. 74-95.

This paper discusses Music Information Retrieval — a field of computational musicology that is actively developing in the modern world. The paper describes some of the main tasks and technologies of this area, such as music generation, automatic music transcription, synthesis of musical instrument sounds, and music retrieval. Special attention is paid to one of the most interesting tasks at the junction of speech and music technologies —singing voice synthesis. Different approaches to this task, existing problems and methods of their solution are discussed.

Важнейшая цель математической подготовки будущих инженеров – научить таким математическим методам, которые составляют основы специальных дисциплин, сформировать умения применять эти методы при изучении конкретных технических процессов. Изучение дискретной математики должно способствовать выработке у студентов навыков разработки и реализации алгоритмов решения задач, доведения исследований до конечного результата. В «непрерывной» математике, как правило, имеются вполне понятные ответы на вопрос, для чего нужны те или иные понятия (вычисляются площади и объемы, решаются системы уравнений и т.п.) В дискретной математике иной уровень абстракции, и во многих случаях нет опоры на привычные интуитивные образы. Таки образом, возникает задача формирования у студентов ощущения «полезности» предмета. В статье рассматривается методика преподавания дискретной математики для студентов инженерных специальностей на примере соответствующих курсов СПб ГЭТУ «ЛЭТИ». Даются рекомендации по улучшению практического восприятия студентами объектов дискретной математики. С. 39-44.

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