Логико-математическая обработка геологической информации