Z Encyklopedii: Geodezja górnicza
Geodezja górnicza zaliczana jest do geodezji gospodarczej i jest nauką zajmującą się zagadnieniami związanymi z projektowaniem, obsługą: górnictwa podziemnego, górnictwa otworowego, górnictwa odkrywkowego, a także budownictwa podziemnego. W zakresie działań geodezji górniczej dla kopalń podziemnych mieszczą się następujące zagadnienia: orientacja sytuacyjna i wysokościowa kopalń, pomiary realizacyjne (w tym zagadnienia przebitkowe), inwentaryzacje urządzeń szybowych oraz innych obiektów i urządzeń związanych z bezpieczeństwem ruchu zakładu górniczego, pomiary deformacji terenu górniczego teren górniczy, aktualizacja dokumentacji mierniczo-geologicznej.
Źródło: https://pl.wikipedia.org/wiki/Geodezja_górnicza
Mapki,a le i coś jeszcze...
Geodezja to nie tylko mapki i prezentacje graficzne pomiarów terenowych- jak mogłoby się wydawać. Geodeci wykonują również sporo tzw. papierkowej roboty. Głównie chodzi tutaj o dokumenty dotyczące rozgraniczania działek, czy inwentaryzacje różnego typu.
Zadania geodety nie ograniczają się więc jedynie do interpretacji i nanoszenia poprawek na mapki. Co wyjaśnia powód dla którego geodeci są dobrze obeznani w prawie dot. działek i inwentarza. Bez tej wiedzy nie mogliby sprawować swojej funkcji w należyty sposób.
Geodezja a miernictwo
Co ciekawe jedynie w Polsce geodezja służy do określenia zarówno działu zajmującego się pomiarem dużych powierzchni oraz z technikami pomiarów małych powierzchni. W innych krajach używa się pojęcia mierniczy, które lepiej oddaje ogół wykonywanych prac, które u nas wykonuje geodeta, nie ważne czy jest on geodetą odpowiedzialnym za badanie dużych powierzchni czy jedynie mierniczym.
Geodezja miernicza ma zastosowanie przy realizacji zleceń indywidualnych, czyli wszelkie budowy czy inwestycje wymagają pełnej obsługi mierniczych zarówno przed, w trakcie jak i po.