Сортировать по:
| Выпуск | Название | |
| Том 18, № 3 (2021) | Применение логики первого порядка для выявления организаторов и исполнителей противоправных действий в преступных группах | Аннотация PDF (Rus) похожие документы |
| А. М. Соболь, Е. И. Козлова, Ю. А. Чернявский | ||
| "... Известны три основных семейства алгоритмов вывода в логике первого порядка: прямой логический ..." | ||
| Том 20, № 4 (2023) | Онтологический анализ в задачах моделирования угроз системам на основе контейнерных приложений | Аннотация PDF (Rus) похожие документы |
| А. И. Бражук, Е. В. Олизарович | ||
| "... – функции автоматического логического вывода на основе дескрипционных (описательных) логик. Результаты ..." | ||
| Том 20, № 2 (2023) | Применение диаграмм решений не полностью определенных функций k-значной логики при синтезе логических схем | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило | ||
| "... логики, заданных табличными представлениями. Изучается этап технологически независимой оптимизации. Целью ..." | ||
| Том 18, № 1 (2021) | Логическая минимизация при синтезе комбинационных структур в FPGA | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. Ю. Ланкевич, В. И. Романов | ||
| "... описаний блоков комбинационной логики, входящих в проекты цифровых устройств, реализуемых в FPGA (Field ..." | ||
| Том 22, № 4 (2025) | Распознавание подсхем трехстабильных элементов в КМОП СБИС | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... Цели. Рассматривается проблема экстракции высокоуровневой структуры на уровне логических элементов ..." | ||
| Том 17, № 2 (2020) | Схема коррекции сигналов для комбинационных устройств автоматики на основе логического дополнения с контролем вычислений по паритету | Аннотация PDF (Rus) похожие документы |
| В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
| "... логикой. При синтезе отказоустойчивой структуры применяется метод паритета для установления факта ..." | ||
| Том 15, № 4 (2018) | Логическая характеризация класса сложности задач, разрешимых вероятностными алгоритмами за полиномиальное время | Аннотация PDF (Rus) похожие документы |
| В. Г. Найденко | ||
| "... , в работе впервые получена логическая характеризация класса BPP в виде разрешимого фрагмента логики второго ..." | ||
| Том 15, № 4 (2018) | Синтез самопроверяемых схем встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефанов, В. В. Сапожников, В. В. Сапожников, Д. В. Пивоваров | ||
| "... Исследуются особенности синтеза самопроверяемых схем встроенного контроля по методу логического ..." | ||
| Том 19, № 2 (2022) | Информационная система для онтологического моделирования предметных областей | Аннотация PDF (Rus) похожие документы |
| М. Н. Бухаров | ||
| "... логики, методы разработки информационных систем, сравнительный анализ информационных систем, неформальный ..." | ||
| 1 - 9 из 9 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
