мне кажется --> похоже (не надо "переходить на личности")

Идею предложил Хоор, пытавшийся...

... вид, согласующийся с математическими абстракциями.

Ключевая идея была в  том, чтобы рассматривать биты машинного слова как множество целых чисел -- номеров отдельных битов.
В Паскале объявление типа множество явно указывало тип элементов множества.

малых --> небольших

n — размер машинного слова --> где n — размер машинного слова

Нужно осознавать, --> Следует понимать,

Однако понятие множества все-таки на практике возникает, хотя обычно и не выражается на языке множеств.

Общеизвестным примером являются --> Общеизвестный пример —

особое, независимое друг от друга значение. --> особый смысл, свой для каждого бита.

а и --> но и

Так же присутствуют --> Еще имеются

Простой пример должен показать очевидность эффективной реализации. --> Простой пример покажет, насколько легко обеспечить здесь эффективную реализацию.

<Здесь вставить примечание переводчика: Фактически речь идет об известном математическом факте эквивалентности булевых алгебр алгебрам подмножеств. См. любой приличный учебник дискретной математики для программистов.>

Видно, что операции с множествами подлежат выражению через --> Очевидно, что такие операции с множествами можно непосредственно выразить через

сам приведённый --> приводимый ниже

Имейте ввиду, что здесь мы используем --> Заметим, что здесь используется

Генерация --> Создание <?>

ARM отличает --> ARM предоставляет

короткому для показанных ниже операторов коду --> короткому коду для показанных ниже операторов