Сортировать по:
Выпуск | Название | |
Том 20, № 3 (2022) | Автоматизированная система контроля формирования индикаторов достижения компетенций при изучении основ алгебры логики | Аннотация PDF (Rus) похожие документы |
Е. А. Сидорова, А. В. Долгова, С. П. Железняк | ||
"... technology. Boolean algebra is one of the most fundamental sections of computer science. There is a list ..." | ||
Том 17, № 3 (2019) | Разработка методов интеграции автоматических средств логического вывода для порождения знаний в онтологической модели | Аннотация PDF (Rus) похожие документы |
А. И. Капустина, Д. Е. Пальчунов | ||
"... новых знаний реализуется при помощи автоматических средств логического вывода с использованием заранее ..." | ||
Том 16, № 4 (2018) | ПРОГРАММНАЯ СИСТЕМА ДЛЯ ОПРЕДЕЛЕНИЯ РЕЧЕВЫХ ДЕЙСТВИЙ В ТЕКСТАХ ЕСТЕСТВЕННОГО ЯЗЫКА | Аннотация PDF (Rus) похожие документы |
Е. Д. Махина, Д. Е. Пальчунов | ||
"... методы, алгебра Линденбаума – Тарского, фрагменты атомарных диаграмм, онтология, естественно-языковые ..." | ||
Том 19, № 2 (2021) | Автоматизированная система синтеза структурированного учебного контента | Аннотация PDF (Rus) похожие документы |
Е. А. Сидорова, А. В. Долгова, С. П. Железняк | ||
"... логически завершенных раздела, каждый из которых включает в себя несколько подразделов. В качестве разделов ..." | ||
Том 16, № 2 (2018) | СЕМАНТИЧЕСКИЙ ПОДХОД К МОДЕЛИРОВАНИЮ ФОНДА ОЦЕНОЧНЫХ СРЕДСТВ | Аннотация PDF (Rus) похожие документы |
Г. Э. Яхъяева, А. Р. Абсайдульева | ||
"... имеем .t tt A Значениями истинности предложений (понятий) в ..." | ||
Том 17, № 1 (2019) | Разработка ядра онтологической модели, настраиваемой под предметную область | Аннотация PDF (Rus) похожие документы |
Ч. А. Найданов | ||
"... время много работ публикуется на тему совместного применения логическо- го вывода и онтологий. В работе ..." | ||
Том 22, № 1 (2024) | Построение комплекса автоматизированной отладки фрагментированных программ | Аннотация PDF (Rus) похожие документы |
А. Ю. Власенко, М. А. Мичуров, В. Д. Царёв, М. А. Курбатов | ||
Том 16, № 4 (2018) | РАЗРАБОТКА ПРЕЦЕДЕНТНО-ОРИЕНТИРОВАННОГО ПОДХОДА ОБРАТНОГО РЕИНЖИНИРИНГА WEB-ИНТЕРФЕЙСОВ | Аннотация PDF (Rus) похожие документы |
П. В. Мызников | ||
"... моделей // Алгебра и логика. 2015. Т. 54, № 1. С. 109–118. 11. Schank R., Abelson R. Scripts, Plans ..." | ||
Том 16, № 4 (2018) | МОДЕЛИРОВАНИЕ УПРУГИХ ВОЛН В СРЕДАХ СО СЛОЖНОЙ ТОПОГРАФИЕЙ СВОБОДНОЙ ПОВЕРХНОСТИ | Аннотация PDF (Rus) похожие документы |
П. А. Титов | ||
"... . Фадеев Д. К., Фадеева В. Н. Вычислительные методы линейной алгебры. M.: Физмат- гиз, 1960. 17 ..." | ||
Том 17, № 1 (2019) | Обобщенный алгоритм защищенного информационного обмена для беспроводных систем безопасности с усложненной имитовставкой | Аннотация PDF (Rus) похожие документы |
А. А. Гавришев, А. П. Жук | ||
"... запоминающее устройство уникальных идентификационных данных (ППЗУ УИД), НКХП, генератор ПСП-1, блок логической ..." | ||
Том 16, № 3 (2018) | ИНТЕЛЛЕКТУАЛЬНАЯ СИСТЕМА ОБРАБОТКИ И ИНТЕГРАЦИИ ЗНАНИЙ НА ОСНОВЕ ТЕХНОЛОГИЙ СЕМАНТИЧЕСКОЙ ПАУТИНЫ | Аннотация PDF (Rus) похожие документы |
И. А. Корсун, Д. Е. Пальчунов | ||
"... ,K A если ,PA то на модели A истинность формул и P равносильна ..." | ||
Том 17, № 3 (2019) | Обзор объектно-ориентированной парадигмы в приложении к разработке баз данных | Аннотация PDF (Rus) похожие документы |
Е. А. Яценко | ||
"... метода данного подхода: алгебра select-project-join (SPJ) и многосортное исчисление предикатов высшего ..." | ||
Том 17, № 3 (2019) | Разработка автоматизированных методов представления знаний о действиях и ситуациях | Аннотация PDF (Rus) похожие документы |
Е. О. Ненашева, Д. Е. Пальчунов | ||
"... – это знания, истинность которых не является точной, это приближенные, нечеткие, гипотетические или ..." | ||
Том 16, № 4 (2018) | ПРИМЕНЕНИЕ МОДЕЛЬНО-ОРИЕНТИРОВАННОГО ПРОЕКТИРОВАНИЯ К СОЗДАНИЮ АСУ ТП ОПАСНЫХ ПРОМЫШЛЕННЫХ ОБЪЕКТОВ | Аннотация PDF (Rus) похожие документы |
С. С. Журавлев, С. В. Рудометов, В. В. Окольнишников, С. Р. Шакиров | ||
"... сигналов, блок дублирования физических сигналов и программируемые логические контроллеры АСУ ТП ..." | ||
Том 17, № 2 (2019) | Автоматический рефакторинг Java-кода с использованием Stream API | Аннотация PDF (Rus) похожие документы |
Р. А. Иванов, Т. Ф. Валеев | ||
"... (boolean, short
и т. д.) назовем неподдерживаемыми типами. Также для простоты под Stream | ||
Том 16, № 1 (2018) | ПРОГРАММИРОВАНИЕ МОБИЛЬНЫХ ВЕБ-СИСТЕМ ДЛЯ АДАПТИВНОГО ТЕСТИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
А. В. Альтахер | ||
"... answers to questions of a light level of complexity, a Boolean model is used . In this case, the truth of ..." | ||
Том 16, № 4 (2018) | АВТОМАТИЧЕСКОЕ ИЗВЛЕЧЕНИЕ РЕШЕТОК ПОНЯТИЙ ИЗ МЕДИЦИНСКИХ ТЕКСТОВ НА ОСНОВЕ КОМБИНАЦИИ АНАЛИЗА ФОРМАЛЬНЫХ ПОНЯТИЙ И ТЕХНОЛОГИЙ БУТСТРАППИНГА | Аннотация PDF (Rus) похожие документы |
А. Б. Нугуманова, Е. М. Байбурин, М. Е. Мансурова, В. Б. Барахнин | ||
"... анализа формальных понятий – метода, который, как отмечается в работе [1], использует язык алгебры для ..." | ||
Том 18, № 4 (2020) | Некоторые аспекты визуализации трехмерных сферического и эллиптического пространств | Аннотация PDF (Rus) похожие документы |
Д. И. Мигранов | ||
"... , необходимо изменить ось поворота, применяя известную формулу из линейной алгебры. Таким образом, получаем ..." | ||
Том 16, № 3 (2018) | РАЗРАБОТКА АВТОМАТИЗИРОВАННОГО МОДУЛЯ МИНЕРАЛИЗАЦИИ ПОЛИВНОЙ ВОДЫ | Аннотация PDF (Rus) похожие документы |
Р. М. Бандишоева | ||
"... . Рис. 4. Визуализация нечеткого логического вывода для управления pH В подмодуле EC значения ..." | ||
Том 16, № 4 (2018) | ПРИМЕНЕНИЕ FPGA ДЛЯ УСКОРЕНИЯ РАСЧЕТА ВОЛНОВОГО ФРОНТА ЦУНАМИ | Аннотация PDF (Rus) похожие документы |
К. Ф. Лысаков, К. К. Облаухов, М. Ю. Шадрин | ||
"... 1990-х гг. При этом вначале наибольшее применение нашли вариации про- граммируемых логических матриц ..." | ||
1 - 20 из 48 результатов | 1 2 3 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)