# data[].attributes.headline
Первое и второе поколения компьютеров

# data[].attributes.subject
Первое и второе поколения компьютеров

# data[].attributes.body
В 1941 году Конрад Цузе разработал первый в мире функциональный программно-управляемый Тьюринг-полный компьютер, Z3. Цузе отметил, что вычислительная машина Z2 считается первым компьютером с контролируемым процессом. В 1941 году он основал одно из первых компьютерных предприятий по производству Z4, который стал первым коммерческим компьютером в мире. В 1946 году он разработал первый язык программирования высокого уровня, Планкалкюль. В 1969 году Цузе предложил концепцию цифровой физики в своей книге Rechnender Raum (Calculating Space)

В 1944 году запущен Марк I — первый американский программируемый компьютер. А в 1948 году был построен «Манчестерский ребёнок» — первый основанный на модели машины Тьюринга практический компьютер, способный запускать хранимые программы.

# data[].attributes.attachment_link.title
Назначение операционных систем и история их развития

# data[].attributes.headline
Бинарная логика

# data[].attributes.subject
Бинарная логика

# data[].attributes.body
В 1703 году Готфрид Вильгельм Лейбниц разработал формальную логику, математический смысл которой описан в его трудах и заключается в сведении логики к бинарной системе счисления. В ней единицы и нули формально представляют истинное и ложное значения или включённое и выключенное состояние некоторого элемента, могущего быть в двух состояниях. Эти работы намного опередили работы Джорджа Буля, опубликовавшего свои результаты в 1854 г. Сейчас алгебра высказываний Буля называется булевой — математически полная алгебраическая система. Новый импульс развитию булевой алгебры дал Клод Шеннон в работах 1933 г., где показал, что состояния и переходы между состояниями релейных переключающих схем могут быть формально описаны в терминах булевой алгебры и для их анализа и синтеза пригоден математический аппарат булевой алгебры, к тому времени хорошо развитый. И сейчас булева алгебра — основа для логического проектирования процессоров, видеокарт и многих других систем и устройств бинарной логики[16].

К этому времени было изобретено первое механическое устройство, управляемое бинарной схемой. Промышленная революция дала толчок механизации многих задач, включая ткачество. Перфокарты контролировали работу ткацких станков Жозефа Мари Жаккара, где перфорированное отверстие на карте означало бинарную единицу, а неперфорированное место означало бинарный ноль. Благодаря перфокартам станки имели возможность воспроизводить сложнейшие узоры. Ткацкий станок Жаккара был далек от того, чтобы называться компьютером, но он показывает, что бинарная система могла быть использована для управления механизмами[17].

# data[].attributes.headline
Пионеры вычислительной техники

# data[].attributes.subject
Пионеры вычислительной техники

# data[].attributes.body
Чарльз Бэббидж считается пионером вычислительной техники. Бэббидж имел чёткое представление о механических вычислениях чисел и таблиц. С 1810-х годов он начал воплощать свои идеи в реальность, разработав калькулятор для вычисления чисел до 8 знаков после запятой. Продолжая успех этой идеи, Бэббидж работал над созданием машины, которая могла вычислять числа до 20 знаков после запятой. К 1830 году Бэббидж придумал план, как разработать машину, которая могла использовать перфокарты для выполнения арифметических операций. Предполагалось, что машина должна хранить числа в блоках памяти и содержать форму последовательного управления. Это означает, что операции должны проводиться последовательно таким образом, чтобы машина возвращала ответ в виде удачи или неудачи. Эта машина стала известной как «аналитическая машина», которая стала первым прототипом современного компьютера[18]. Гораздо позже, 21 января 1888, прошло частичное испытание «Аналитической машины Бэббиджа», которую построил его сын. На этом устройстве было успешно вычислено число Пи с точностью до 29 знаков[19].

Пионером компьютерного программирования является Ада Лавлейс. Лавлейс начала работать у Чарльза Бэббиджа в качестве помощницы, в то время как Бэббидж работал над «Аналитической машиной». За время работы с Бэббиджем Ада Лавлейс стала разработчиком первого компьютерного алгоритма, который мог вычислить числа Бернулли. Кроме того, результатом её работы с Бэббиджем было предсказание того, что компьютеры будут не только выполнять математические расчёты, но и манипулировать различными символами, не только математическими. Она не могла видеть результаты своей работы, так как «аналитическая машина» не была создана при её жизни, но начиная с 1940-х годов, её усилия не остались незамеченными[⇨][20].

До 1920-х годов компьютерами (что-то вроде вычислительной машины) были клерки, выполнявшие вычисления. Много тысяч таких компьютеров было занято в коммерции, работали в правительстве и научно-исследовательских учреждениях. «Компьютерами», в большинстве своём, являлись женщины, которые имели специальное образование. Некоторые выполняли астрономические вычисления для календарей[20].

Математические основы современной информатики были заложены Куртом Гёделем в его теореме о неполноте (1931). В этой теореме, он показал, что существуют пределы того, что может быть доказано и опровергнуто с помощью формальной системы. Это привело к определению и описанию Гёделем и другими формальных систем, в том числе были определены такие понятия, как μ-рекурсивная функция и λ-определимые функции.

1936 был ключевым годом для информатики. Алан Тьюринг и Алонзо Чёрч параллельно друг с другом представили формализацию алгоритмов с определением пределов того, что может быть вычислено, и «чисто механическую» модель для вычисления.