Add to ORKGОбсуждаются некоторые эффективные варианты теорем о дедукции для нормальных модальных логик. Доказана внешняя теорема о дедукции для минимальной нормальной модальной логики К: формула фи выводима в К из пси в точности тогда, когда формула *фи -> пси принадлежит динамической логике
В статье отмечаются потенциальные преимущества цифровых технологий в обучении иностранным языкам ...
Объектом разработки является искусственная нейронная сеть прямого распространения, назначение которо...
Рассмотрены математические методы и модели, которые можно использовать для решения практических зада...
yesБелГУРезультаты разработки высокоэффективной жидкостной хроматографии. Приведена подробная методи...
Решение проблем эффективного обучения и воспитания будущих офицеров неразрывно связано с поиском н...
Проанализированы недостатки существующих методик определения уровня пожароопасности в лесах, изучен...
Обсуждаются некоторые эффективные варианты теорем о дедукции для нормальных модальных логик. Доказан...
Применение адаптивных алгоритмов обработки является одним из важнейших направлений в радиотехнике. С...
Объектом исследования является хроматическая аберрация оптической системы, включающей дифракционный ...
В современных системах радиолокации широко применяются спиральные антенны. Они характеризую...
Тема работы актуальна. В ВКР представлено применение информационных технологий в организационно-мето...
Проведены исследования рабочего процесса дизеля при применении смесей дизельного топлива с бутанолом...
Оценка результатов учебной деятельности студентов является одним из важнейших факторов в организации...
Разработаны и реализованы алгоритмы, моделирующие стратегиюдействия злоумышленника как IPP, имеющий ...
Объектом исследования является прогнозирование уровня трудоустройства населения. Предметом исследова...
В статье отмечаются потенциальные преимущества цифровых технологий в обучении иностранным языкам ...
Объектом разработки является искусственная нейронная сеть прямого распространения, назначение которо...
Рассмотрены математические методы и модели, которые можно использовать для решения практических зада...
yesБелГУРезультаты разработки высокоэффективной жидкостной хроматографии. Приведена подробная методи...
Решение проблем эффективного обучения и воспитания будущих офицеров неразрывно связано с поиском н...
Проанализированы недостатки существующих методик определения уровня пожароопасности в лесах, изучен...
Обсуждаются некоторые эффективные варианты теорем о дедукции для нормальных модальных логик. Доказан...
Применение адаптивных алгоритмов обработки является одним из важнейших направлений в радиотехнике. С...
Объектом исследования является хроматическая аберрация оптической системы, включающей дифракционный ...
В современных системах радиолокации широко применяются спиральные антенны. Они характеризую...
Тема работы актуальна. В ВКР представлено применение информационных технологий в организационно-мето...
Проведены исследования рабочего процесса дизеля при применении смесей дизельного топлива с бутанолом...
Оценка результатов учебной деятельности студентов является одним из важнейших факторов в организации...
Разработаны и реализованы алгоритмы, моделирующие стратегиюдействия злоумышленника как IPP, имеющий ...
Объектом исследования является прогнозирование уровня трудоустройства населения. Предметом исследова...
В статье отмечаются потенциальные преимущества цифровых технологий в обучении иностранным языкам ...
Объектом разработки является искусственная нейронная сеть прямого распространения, назначение которо...
Рассмотрены математические методы и модели, которые можно использовать для решения практических зада...