Как аксиоматический метод влияет на развитие компьютерных технологий?

Аксиоматический метод повлиял на развитие компьютерных технологий, в частности, способствовал созданию различных языков программирования и баз данных. spravochnick.ru postnauka.org

Некоторые аспекты влияния аксиоматического метода на компьютерные технологии:

• Формальное и точное описание процессов. sitito.cs.msu.ru Аксиоматический метод позволяет формализовать объекты обработки данных и операции преобразования объектов. sitito.cs.msu.ru
• Доказательство корректности программ. cyberleninka.ru Аксиоматический подход к описанию функционирования программ на алгебраическом языке позволяет строго доказывать их корректность. cyberleninka.ru
• Решение задач в разработке программного обеспечения. sitito.cs.msu.ru Аксиоматический подход позволил решить ряд задач в области разработки программного обеспечения для различных системных и прикладных областей. sitito.cs.msu.ru
• Обработка больших потоков данных. sitito.cs.msu.ru Некоторые работы в программировании были ориентированы на обработку больших потоков данных — файлов, и в них рассматривались алгоритмы, частичная правильность которых доказывалась на основе аксиом. sitito.cs.msu.ru

Таким образом, аксиоматический метод стал связующим звеном между математикой, логикой рассуждений и различными компьютерными технологиями. spravochnick.ru