o que é tautologia?

Um termo ou texto que expressa a mesma ideia de formas diferentes. Tautologia é dizer sempre a mesma coisa em termos diferentes.

A tautologia é um tipo de construção lógica que pode ser aplicada em TI. Refere-se a uma lógica redundante em que um princípio é reafirmado ou é evidente em sua expressão.

Em alguns casos, a tautologia pode ser aplicada a certos tipos de ciência da computação ou princípios de programação. Por exemplo, um design de computador pode ser construído para revisar a "verificação de tautologia". Módulos de código são escritos para testar se todos os critérios de tautologia estão presentes, para determinar se um objeto constitui uma tautologia. O uso de tautologia e verificação de tautologia é um exemplo da interseção entre programação de computadores e matemática superior.

Como a programação de computadores é construída sobre uma sintaxe rígida para se comunicar com a lógica rígida da linguagem de uma máquina, os programadores e engenheiros freqüentemente discutem conceitos em termos de princípios e equações matemáticas mais elevados. O uso de convenções como a tautologia mostra como os algoritmos das tecnologias atuais são reminiscentes das complexas equações que os matemáticos sempre fizeram cognitivamente no cérebro humano.