Sisällysluettelo:
Määritelmä - mitä tautologia tarkoittaa?
Tautologia on tietyn tyyppinen looginen rakenne, jota voidaan soveltaa tietotekniikassa. Se viittaa redundanssiin logiikkaan, jossa periaate on toistettu tai ilmeinen sen ilmaisussa.Techopedia selittää tautologiaa
Joissakin tapauksissa tautologiaa voidaan soveltaa tietyntyyppisiin tietotekniikan tai ohjelmoinnin periaatteisiin. Esimerkiksi tietokonesuunnittelu voidaan rakentaa tarkistamaan "tautologian tarkistus". Koodimoduulit on kirjoitettu sen testaamiseksi, ovatko kaikki tautologian kriteerit läsnä, sen määrittämiseksi, muodostaako esine tautologian.
Tautologian ja tautologian tarkistuksen käyttö on esimerkki tietokoneohjelmoinnin ja korkeamman matematiikan leikkauksesta. Koska tietokoneohjelmointi on rakennettu jäykkään syntaksiin kommunikoidaksesi koneen kielen kovan logiikan kanssa, ohjelmoijat ja insinöörit keskustelevat usein käsitteistä korkeampien matemaattisten periaatteiden ja yhtälöiden muodossa. Tavoitteiden, kuten tautologian, käyttäminen osoittaa, kuinka nykypäivän tekniikoiden algoritmit muistuttavat monimutkaisia yhtälöitä, joita matemaatikot ovat aina tehneet kognitiivisesti ihmisen aivoissa.
