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