Tikslieji mokslai, dar vadinami sunkiaisiais, grynaisiais ar pagrindiniais mokslais, visiškai remiasi stebėjimu ir eksperimentais, kaip praktika kuriant žinias, pagrįstas matematine kalba. Tai yra didelio tikslumo ir griežtumo mokslas, nes mokslinis metodas yra naudojamas gryniausiu pavidalu, siekiant patikrinti hipotezes, naudojant matematiką kaip priemonę tai padaryti.
Tikslumas ir griežtumas yra dvi pagrindinės tiksliųjų mokslų savybės - šaka, kurioje hipotezėms patikrinti naudojamas griežčiausias mokslinis metodas. Šie mokslai siekia savo postulatų nepaneigiamumo, naudodami kiekybiškai įvertinamas ir objektyvias prognozes.
Tiksliųjų mokslų atveju siekiama, kad hipotezės ir postulatai būtų nepaneigiami taikant lygtis ir kiekybiškai įvertinamas bei objektyvias matematines operacijas. Šie pagrindiniai principai yra žinomi kaip aksiomos.
Šiuo metu, kaip nustatė Rudolfas Carnapas, tikslieji mokslai skirstomi į formaliuosius (ne eksperimentinius) ir gamtos (eksperimentinius) mokslus. Tarp formaliųjų mokslų randame matematiką, logiką ir formaliąją logiką. Gamtos moksluose tai astronomija, biologija ir fizika.
Tikslieji mokslai padėjo mokslo žinių pagrindus nuo pat jų atsiradimo. Nors dabar aišku, kad ne visas žinias galima kiekybiškai įvertinti, iš šios prielaidos galima rasti daugelį pagrindinių dėsnių, principų ir teorijų, kurios valdo šimtmečiais prisiimtus pagrindinius principus, pavyzdžiui, sunkumą.
Kiekvienas mokslas turi savo dimensiją. Todėl yra socialiniai mokslai, sveikatos mokslai, tie, kurie remiasi tikimybe (pavyzdžiui, meteorologija) arba tie, kurie nagrinėja kokį nors gamtos aspektą (biologija, zoologija ir kt.). Vienas iš aktualiausių mokslų yra matematika, kuri dar vadinama tiksliaisiais mokslais. Šis terminas vartojamas daugiskaita, nes matematika susideda iš diferencijuotų šakų, tokių kaip algebra, aritmetika, geometrija ar tikimybė. Kita vertus, žodis tikslus vartojamas todėl, kad skirtingos matematikos sritys turi kažką bendro: jų įrodymai yra nedviprasmiški ir neginčijami, tai yra tikslūs.
