Читатель знакомится с важным понятием современной алгебры - базисом Гребнера идеала в кольце многочленов от многих переменных и приложениями этого понятия к решению систем нелинейных алгебраических уравнений, в частности, с эффективным алгоритмом, позволяющим для произвольной системы выяснить конечно или бесконечно число ее решений. В обоснованиях полученных результатов ключевую роль играет теорема Гильберта о нулях.