Редактирование: История математики, теоретический минимум
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 151 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 569: | Строка 569: | ||
=Основоположники теоретических основ программирования и современных ЭВМ= | =Основоположники теоретических основ программирования и современных ЭВМ= | ||
- | |||
- | В 1946 году группа учёных во главе с Джоном фон Нейманом (Герман Голдстайн, Артур Беркс) опубликовали статью «Предварительное рассмотрение логической конструкции Электронно-вычислительного устройства». В статье обосновывалось использование двоичной системы для представления данных в ЭВМ (преимущественно для технической реализации, простота выполнения арифметических и логических операций. До этого машины хранили данные в десятеричном виде), выдвигалась идея использования программами общей памяти. Имя фон Неймана было достаточно широко известно в науке того времени, что отодвинуло на второй план его соавторов, и данные идеи получили название «Принципы фон Неймана». | ||
- | |||
- | # '''Принцип использования двоичной системы счисления для представления данных и команд'''. | ||
- | # '''Принцип программного управления'''. | ||
- | #* Программа состоит из набора команд, которые выполняются процессором друг за другом в определенной последовательности. | ||
- | # '''Принцип однородности памяти'''. | ||
- | #* Как программы (команды), так и данные хранятся в одной и той же памяти (и кодируются в одной и той же системе счисления — чаще всего двоичной). Над командами можно выполнять такие же действия, как и над данными. | ||
- | # '''Принцип адресуемости памяти'''. | ||
- | #* Структурно основная память состоит из пронумерованных ячеек; процессору в произвольный момент времени доступна любая ячейка. | ||
- | # '''Принцип последовательного программного управления''' | ||
- | #* Все команды располагаются в памяти и выполняются последовательно, одна после завершения другой. | ||
- | # '''Принцип условного перехода'''. | ||
- | #* Сам принцип был сформулирован задолго до фон Неймана Адой Лавлейз и Чарльзом Бэббиджем, однако он добавлен в общую архитектуру. | ||
- | |||
- | Компьютеры, построенные на этих принципах, относят к типу фоннеймановских. | ||
- | |||
- | У нас были академики Андрей Ершов, Лебедев. Они строили БЭСМ. Лев Королёв писал для неё ОС. | ||
=Философские направления в математике. Интуиционизм= | =Философские направления в математике. Интуиционизм= |