Taula de continguts:
Definició: què significa Tautologia?
La tautologia és un tipus de construcció lògica que es pot aplicar en informàtica. Fa referència a una lògica redundant en la qual un principi es reafirma o és evident en la seva expressió.Techopedia explica la tautologia
En alguns casos, la tautologia es pot aplicar a determinats tipus d'informàtica o principis de programació. Per exemple, es pot crear un disseny informàtic per revisar la "comprovació de la tautologia". Els mòduls de codi s’escriuen per comprovar si hi ha tots els criteris per a la tautologia, per tal de determinar si un objecte constitueix una tautologia.
L'ús de la tautologia i la comprovació de la tautologia és un exemple de la intersecció entre la programació informàtica i les matemàtiques superiors. Com que la programació de l'ordinador es basa en una rígida sintaxi per comunicar-se amb la lògica dura del llenguatge d'una màquina, els programadors i enginyers sovint discuteixen conceptes en termes de principis i equacions matemàtiques superiors. L'ús de convencions com la tautologia mostra com els algorismes de les tecnologies actuals recorden les complexes equacions que els matemàtics sempre han fet de manera cognitiva en el cervell humà.
