geodezja górnicza,
dziedzina geodezji, której głównym zadaniem jest przygotowanie i bieżące uzupełnianie dokumentacji (w postaci danych liczbowych i map), koniecznej do prowadzenia eksploatacji górniczej złóż minerałów (podziemnej, otworowej lub odkrywkowej).