Чи можна довести та обгрунтувати логічну структуру комп'ютера? Чи можна визначити, які пристрої обов'язково мають входити до комп'ютера? Так, можна, не зважаючи на те, що функції та можливості сучасних комп'ю­терів дуже широкі, а сфери їх використання практично не обмежені.

Логічну структуру комп'ютера можна обгрунтувати лише в тому випадку, коли визначимо загальні закономірності його функціонування, в основі яких лежить принцип програмного управління.

Не зупиняючись детально на цьому принципі, спробуємо взяти від нього лише те, що дозволило б нам отримати спрощену логічну схему комп'ютера.

Так, дійсно, можливості комп'ютера дуже великі. Однак, з принципової точки зору, будь-яка його робота, що зовнішньо проявляється по-різному, фактично зводиться до обробки інформації, тобто до виконання чотирьох арифметичних та деяких логічних операцій.

Щоб зробити наступний шаховий хід або зобразити на екрані якусь гео­метричну фігуру, комп'ютер і в тому, і в іншому випадку виконує масу арифметичних та логічних операцій з даними.

Дані в комп'ютері подаються двійковими кодами, тобто сукупністю нулів та одиниць. Наприклад, число 34 матиме такий вигляд: 100010.

Чому інформація подається такими кодами? Це пояснюється головним чином тим, що їх запам'ятовування та зберігання дуже легко реалізувати технічно (наприклад, намагнічену ділянку поверхні ототожнимо з одиницею, а ненамагнічену — з нулем).