Основные понятия математической логики

Вся информация, предназначенная для обработки, сначала кодируется в битовое представление. Именно в этом представлении она хранится в компьютерах, обрабатывается и выдается. И только после этого происходит обратный переход от битового представления информации к понятному для пользователя представлению информации. Таким образом, компьютер можно представить в виде некоего устройства, на входе у которого последовательность нулей и единиц и выход которого – также некоторая последовательность нулей и единиц.

Обработку информации в компьютере можно представить в виде черного ящика следующим образом:

На вход компьютера (или любого другого устройства, предназначенного для совершения одного из информационных процессов) подаются сигналы x₁, x₂ … x_n. На выходе – сигналы y₁, y₂ … y_m. В этом случае зависимостями

y_i = f(x₁, x₂, … x_n), i=1..m, где

n – число входов,

m – число выходов,

x_j – j-й вход - определен на множестве {0,1},

y_i – i-й выход – принимает значения из множества {0,1}

можно описать алгоритм работы устройства по переработке битовой информации.