Чув
Регистраци Кӗрӳ

Тӗп сӑмах тӑрӑх публикацисен списокӗ: «естественный язык»

  • Лингвистическая уязвимость смарт-контрактов: английский язык как скрытый фактор риска в блокчейне

    Конференци статья
    Стратегии устойчивого развития: социальные, экономические и юридические аспекты
    Автор:
    Анисимов Михаил Александрович, Костюченко Фёдор Михайлович, Филипская Анастасия Вадимовна
    рубрика:
    Актуальные вопросы юриспруденции
    Аннотаци:
    В статье анализируются вопросы кибербезопасности блокчейн-технологий, которые традиционно фокусируются на криптографических и протокольных уязвимостях. Анализ крупных инцидентов показывает, что значительная часть финансовых потерь вызвана не математическими ошибками, а неверной интерпретацией семантики английского языка в коде. В статье вводится понятие «лингвистическая уязвимость смарт-контракта», предлагается классификация таких уязвимостей по трем уровням. На основе анализа реальных атак выделены наиболее опасные английские слова и паттерны. Методом контрастивного анализа показано, как стандартизация технического английского по модели ASD-STE100 (контролируемый естественный язык) может снизить количество ошибок. Результатом исследования является прототип правил SOL-Spec для ограниченного английского в смарт-контрактах, а также практические рекомендации для аудиторов и разработчиков.
    Тӗп сӑмахсем:
    Куҫ 

  • Лингвистические аспекты создания и использования эсперанто

    Конференци статья
    Актуальные вопросы гуманитарных и социальных наук
    Автор:
    Селезнева Ольга Николаевна
    рубрика:
    Современные гуманитарные науки и проблемы языкознания
    Аннотаци:
    Поиск универсального средства коммуникации является одной из наиболее важных лингвистических задач. Для этой цели создаются искусственные языки, один из самых популярных из них – «плановый» язык эсперанто. Лингвистический феномен эсперанто состоит в том, что этот язык был создан искусственно, однако с течением времени он приобрел некоторые характеристики, свойственные языкам естественным. Развитие и эволюционирование эсперанто продолжается и в настоящее время.
    Тӗп сӑмахсем:
    Куҫ 

  • Оптимизация обучения логике естественного языка как осознанному методу познания

    Кĕнеке сыпăкĕ
    Современные вопросы педагогики и психологии: теоретико-методологические подходы и практические результаты исследований
    Автор:
    Жалдак Николай Николаевич
    рубрика:
    Глава 6
    Аннотаци:
    Эффективность переработки человеком информации от цифровых устройств и других источников должна повышаться. Для этого необходимо дать научное представление изобразительной логики естественного языка как метода познания, и обучение ей надо сделать целенаправленным и оптимизировать. Эта логика включает его логические средства и правила оперирования ими и образными моделями обозначаемого ими. Диаграммные модели делают вывод чисто формальным. Автор обосновывает возможность такой оптимизации обзором основных результатов собственного многолетнего научно-педагогического эксперимента. Авторское научное представление этой логики охватывает любые экзистенциальные квантификаторы, представленные в диаграммных словарях форм атрибутивных суждений о предметах, местах, временах, случаях, точках зрения; союзы с релевантным определением союзов логического следования в диаграммном словаре суждений о случаях; систему логических форм вопросов. Для рассуждений о свойствах предложен наиболее эффективный метод линейно-табличных диаграмм. Для поэтапного обучения этому методу и логичному мышлению с дошкольного возраста предложена система изобразительных средств, методов, форм задач и технология профессиональной подготовки воспитателей и учителей. По этой технологии по предложенным формам они составляют и используют содержательные задачи, а для обучения каждому правилу служит специальная форма. Для детей предложен метод демонстрации значений логических форм суждений с квантификаторами «есть», «нет», «все», «не все», «только», «не только», «только все», «не только все», «все, кроме», «есть только» и т. п. на пальцах рук. Для незрячих запатентованы устройства для обучения решению логических задач построением тактильных линейно-табличных диаграмм.
    Тӗп сӑмахсем:
    Куҫ 

  • Обучение умозаключениям с логикой ментальных моделей

    Конференци статья
    Педагогика, психология, общество: от теории к практике
    Автор:
    Жалдак Николай Николаевич
    рубрика:
    Развитие психолого-педагогического сопровождения в современном образовании
    Аннотаци:
    Предмет исследования данной статьи – умозаключение посредством построения ментальных моделей. Правильность выводов в них означает, что сами модели строятся по правилам логики. Эти правила выявляются в логике линейно-табличных диаграмм существования. Для введения дошкольников в логику таблиц рекомендуется в таблицах и в этих диаграммах заменять символы изображением признаков. Это делает наглядным получение новых знаний путем соединения моделей посылок в модель основания.
    Тӗп сӑмахсем:
    Куҫ