إسهامات علماء المنطق في بنية الحاسوب الآلة المنطقية عند "وليم ستانلي جيفونز" نموذجا

Abstract EN

A logical machine is a tool that is designed to perform logical operations It means that it is the machine we enter premises, then it elicits conclusions from these premises.

Perhaps the first logical machines that were designed was the "Stanhope" machine, then the "Jevons" logical machine, which was the culmination of a series of inventions and auxiliary tools, namely the logical board and the logical abacus.

The logical machine, according to "Jevons", is an analytical engine of a simple nature that can perform logical inference processes, which has been subsequently reduced to a purely mechanical form without any mental effort.

Jevons has used this machine effectively in classrooms where it is deemed as an efficient means of explanation.

It presents to a group of students a clear visual analysis of logical problems of varying degrees of complexity.

Furthermore, it clearly demonstrates each step of the solution.

Jevons' logical machine is the first successful mechanical digital computer, but Jevons did not believe that his machine has any practical use apart from educational use, and therefore its main importance to him was theoretical as it demonstrated the process of logical inference.