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
Mierniczy i geodeta
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.
Definicja Tachimetru
Instrument ten był wykorzystywany w klasycznej tachimetrii, czyli ?masowym? pomiarze położenia punktów terenowych przy "mapowaniu" terenu w celu sporządzenia map w skalach od 1:10000 do 1:25000.
Tachimetria polega na pomiarze sytuacyjno-wysokościowym wykonywanym metodą biegunową, do określania położenia sytuacyjnego punktów szczegółowych, oraz niwelacji trygonometrycznej, do określania wysokości tych punktów.
Źródło: https://pl.wikipedia.org/wiki/Tachimetr