ábaco lógica - Logical abacus

Um ábaco lógico é um mecânico digitais computador .

Jevons' Piano Logic no Museu Sydney Powerhouse em 2006

Também conhecido como uma "máquina de lógica", o ábaco lógica é análogo ao do comum (matemático) ábaco . É baseado no princípio de tabelas de verdade .

Ele é construído para mostrar todas as possíveis combinações de um conjunto de termos lógicos com seus negativos, e, além disso, a maneira na qual estas combinações são afectadas pela adição de atributos ou outras palavras que limitam, por exemplo, para simplificar a mecânica da solução de lógica problemas. Estes instrumentos são todos os desenvolvimentos mais ou menos elaborada do "slate lógica", em que foram escritos em colunas verticais todas as combinações de símbolos ou letras que podem, logicamente, ser feitas de um número definido de termos. Estes foram comparados com quaisquer premissas dadas, e os incompatíveis atravessado fora. No ábaco as combinações são inscritos em cada um único pedaço de madeira ou material semelhante, que é movido por uma chave; combinações incompatíveis podem, assim, ser removido mecanicamente à vontade, de acordo com qualquer dada série de instalações.

Os principais exemplos de tais máquinas são os de William Stanley Jevons ( do piano lógica ), John Venn , e Allan Marquand .

Referências


 Este artigo incorpora o texto de uma publicação agora em domínio públicoChisholm, Hugh, ed. (1911). " Abacus ". Encyclopædia Britannica . 1 (11th ed.). Cambridge University Press. pp. 5-6.