510.6Теория алгоритмов и вычисляемые функции. Математическая логика
← назад
Свободный доступ
Ограниченный доступ
Уточняется продление лицензии
Автор: Шмакова Марина Валентиновна
РИО БГУ
В статье приводится сравнительный анализ результатов расчета по восьми формулам общего расхода наносов по данным наблюдений на пятнадцати гидрометрических створах, расположенных на водотоках США. Лучший результат показала аналитическая формула расхода наносов, являющаяся следствием основного уравнения движения воды и твердого вещества в речном потоке.
Сравнительный анализ формул общего расхода наносов на примере рек США / М. В. <...> 29.07.2025)Научно-технический вестник Брянского государственного университета, 2015, №2 80 УДК 556+510.6 СРАВНИТЕЛЬНЫЙ <...> Шмакова Институт озероведения РАН В статье приводится сравнительный анализ результатов расчета по восьми <...> В настоящей работе проводится сравнительный анализ результатов расчетов по некоторым формулам общего
Автор: Судоплатов С. В.
Изд-во НГТУ
В книге излагаются классические исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей,
теории алгоритмов, а также неклассических логик.
На примере алгоритмов сортировки представлены сравнительные характеристики для различных алгоритмов решения
Предпросмотр: Математическая логика и теория алгоритмов.pdf (0,5 Мб)
Автор: Бубнов В. А.
М.: Лаборатория знаний
В основу данной работы положено представление о том, что информация - это содержание символа, изображенного различными графическими конструкциями. В монографии обсуждаются все аспекты измерения и переработки информации посредством анализа графических символьных конструкций.
Компьютерный анализ исторических явлений 265 методов в изучении исторических явлений, сравнительного <...> Компьютерный анализ исторических явлений 265 методов в изучении исторических явлений, сравнительного <...> Компьютерный анализ исторических явлений 265 методов в изучении исторических явлений, сравнительного
Предпросмотр: Информатика и информация знаково-символьный аспект (2).pdf (0,2 Мб)
Автор: Солтис Майкл
М.: ДМК Пресс
Книга представляет собой краткое, но математически строгое введение в анализ различных алгоритмов с точки зрения доказывания их правильности. Вы ознакомитесь с основными свойствами линейных, ветвящихся и циклических алгоритмов и способами их проверки. Книга содержит большое количество теоретических задач и практических примеров на языке Python.
Тем не менее он очень полезен для сравнительных исследований, то есть для состязательного анализа.
Предпросмотр: Введение в анализ алгоритмов.pdf (0,7 Мб)