Zvemukati
Iyosainzi yakarongeka ndeavo panotorwa zvirevo zvekuongorora masvomhu uye pfungwa. Nenzira iyi, nzvimbo yake yekufunda haisi iyo chaiyo nyika asi panzvimbo iyo inokodzera nyika, isina mafomu ezvinyorwa izvo muzviitiko zvakawanda hazvigone kunyatsoonekwa, asi izvo zviripo analytical zviridzwa kuti unzwisise chokwadi.
Iwo echikoro sainzi anozivikanwa nekusauya kunopesana neichoicho, nekuti ivo havana basa rekuve nechokwadi. Pane zvinopesana, sainzi sainzi inoda kushandisa zvirevo zvinonzwisisika kuratidza, uye kuti zvinogona kuitika: zvikasadaro, sainzi idzi dzinoshandisa 'axioms' izvo zvirevo zvinozviratidza izvo zvinogamuchirwa pasina kuda humbowo hwepamberi.
Iko kushandiswa kwemaaxi kunoenderana nenzira yakajairwa yerudzi urwu rwesainzi, inova iyo Inotora nzira: kutora maxioms sekutanga uye woenderera nenzira inotora, uchisvika pane zvirevo semhedzisiro inodiwa yezvakambotaurwa. Izvo zvinonzi, saka, kuti yakarongeka system inoumbwa neinotevera:
- Seti yekupedzisira ye zviratidzo izvo zvinoshandiswa pakuvaka mafomula.
- A girama zvepamutemo, senzira yekuvaka mafomura akaumbwa zvakanaka.
- Seti ye axioms
- Seti ye inference mitemo
- Seti ye dzidziso iyo inosanganisira zvese zvinogona kutorwa kubva kumaaxioms.
Ivo vanopokana neiyo Chaiyo Sayenzi
Kazhinji pfungwa yesainzi yakasarudzika inouya inopesana neiyo sainzi chaiyo, Ndivo vanoongorora chokwadi. Zvese zviri zviviri uye chimwe chakakosha kwazvo munyika yanhasi, sezvo vari mukwanisi pakati pezviviri: mipiro yemamwe masainzi akakosha mune iri tekinoroji kufambira mberi (senge kemesitiri kana sainzi yemakomputa) inotsigirwa nehurongwa hwepamutemo senge hwemathematics .
Mienzaniso yesainzi yakarongeka
- Dzidziso Computer Science: Kupatsanurwa mukati mekombuta sainzi, inotarisa pazvinhu zvisingawanikwe uye zvemasvomhu enharaunda. Inosanganisira kuongororwa kwemaalgorithms uye kunyanya ari epamutemo semantics epurogiramu mitauro.
- StatisticsSayenzi inoona nezve kuunganidza, kuronga, kugadzirisa, kuongorora uye kuturikira data kuitira kuti uwane hunhu hwehuwandu hwevanhu.
- Zvine musoro: Kuranga kunoongorora maitiro ehurongwa hwekufunga, kuyedza kuziva kuti ndedzipi nzira dzekushandisa dzinoshandiswa nehuropi hwemunhu kuburikidza nezvakarongwa.
- MathSayenzi inobvisa iyo yakatsaurirwa kufunda yezvinhu zvezvinhu zvisingawanikwe uye hukama hwazvo. Inoshanda nenhamba, zviratidzo, uye maumbirwo ejometri.
- Maitiro edzidziso: Interdisciplinary kudzidza kwehurongwa hwakawanda, kuitira kuti udzidze misimboti inoshandiswa kune masisitimu padanho ripi neripi munzvimbo dzese dzekutsvaga.
Mamwe marudzi esainzi:
- Mienzaniso yePure uye Yakashandiswa Sayenzi
- Mienzaniso yeakaomarara uye akapfava Sayenzi
- Mienzaniso yeSainzi Sayenzi
- Mienzaniso kubva kuSocial Sayenzi
- Mienzaniso kubva ku Natural Sayenzi
