Definicja: 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
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
Czynności geodezyjne
Geodeta wykonuje szereg prac obliczeniowo-pomiarowych, a efektem jego pracy jest zazwyczaj mapka przedstawiająca dany teren wraz z jego zabudowaniem. Większość geodetów wykonuje prace pomiarowe oraz tworzenia mapek, jednak raca ta wymaga zdania odpowiedniego egzaminu i posiadanie pewnych uprawnień.
Geodeci zajmują się również inwentaryzacją nieruchomości oraz tyczeniem budynków po zakończonej budowie, co jest konieczne do zakończenia procesu budowy oraz przyznania budynkowi odpowiedniego numeru oraz pozwolenia na użytkowanie. Bez geodetów nie można byłoby zbudować, przebudować, podzielić czy zniszczyć żadnej nieruchomości.