
- •Нижегородский государственный университет им. Н.И. Лобачевского
- •1.Предисловие
- •2.Замечания по терминологии
- •3.Кибернетика и информатика
- •4.Предпосылки информатики
- •4.1.Мечта человека об искусственном человеке
- •4.2.Усилители физической и умственной деятельности человека
- •4.3.Ключевые проблемы информатики
- •5.Формализация естественного языка как средства общения.
- •6.Формализация физических характеристик среды обитания
- •6.1.Дискретные и непрерывные множества
- •6.2. Понятия измерительной шкалы, числа и измерения
- •6.3.Натуральное число
- •6.4.Позиционная система счисления
- •6.5.Натуральная числовая прямая
- •6.6.Целые числа (положительные и отрицательные)
- •6.7.Вещественные числа
- •7.Формализация физических зависимостей
- •7.1.Функции
- •7.2.Элементарные функции
- •7.3.Элементарная алгебра, аналитические и численные вычисления
- •8.Аналоговые и цифровые вычислители
- •9.Простейшие вычислители
- •9.1.Аналоговые вычислительные линейки
- •9.2.Цифровой абак и русские счеты
- •9.3.Цифровые механические арифмометры
- •9.4.Хронология событий.
- •10.Аналитические машины Чарльза Беббиджа.
- •11.Формализация рассуждений
- •11.1.Логика рассуждений
- •11.2.Логические функции и алгебра логики
- •11.3.Алгебра логики и алгебра релейно - контактных схем
- •12.Накануне компьютерной эры
- •12.1. Зарождение цифровых систем управления
- •12.2.Перфокарточные сортировальные машины
- •12.3.Методология моделирования
- •13.Теоретические модели вычислений
- •13.1.Алгоритм и его свойства
- •13.2.Проблема слов в ассоциативном исчислении
- •13.3.Нормальный алгоритм Маркова
- •13.4.Рекурсивные функции
- •13.5.Машина Тьюринга
- •13.6.Равнодоступная адресная машина
- •14.Пионеры зарубежной компьютеризации
- •15.Становление информатики в России. Борьба за признание
- •16.Два типа электронных вычислительных машин
- •16.1.Аналоговая вычислительная машина (авм)
- •16.2.Цифровая электронная вычислительная машина (компьютер, эвм)
- •16.3.Аналог или цифра
- •17.Пионеры отечественной компьютеризации
- •18.Становление информатики в России. Начальный период
- •19.Оригинальные отечественные серийные эвм (компьютеры)
- •19.1.Эвм Стрела
- •Элементная база
- •Программное обеспечение
- •Описание машины
- •Технико-эксплуатационные характеристики
- •Особенности эвм
- •19.2.Семейство эвм "м-20"
- •Структура эвм
- •Элементная база
- •Программное обеспечение
- •Технико-эксплуатационные характеристики
- •Особенности машины
- •Об использовании эвм м-20
- •Описание машины
- •Элементная база
- •Программное обеспечение
- •Технико-эксплуатационные характеристики
- •Особенности эвм
- •19.3.Семейство эвм "бэсм"
- •19.3.1.Бэсм-1
- •Структура эвм
- •19.3.2.Бэсм-2
- •Структура эвм
- •19.3.3.Бэсм-4
- •Структура эвм
- •Элементная база
- •Программное обеспечение
- •Технико-эксплуатационные характеристики
- •19.4.Семейство эвм "Минск"
- •19.4.1.Минск-1
- •19.4.2.Минск-2
- •19.4.3.Минск -22
- •19.4.4.Минск-23
- •19.4.5.Минск-32
- •Описание машины
- •Программное обеспечение
- •Технико-эксплуатационные характеристики
- •Особенности эвм
- •19.5.Семейство эвм "Урал"
- •19.5.1.Урал-1, Урал-2, Урал-3, Урал-4
- •Описание машины
- •Элементная база
- •Программное обеспечение
- •Основные эксплуатационно-технические данные
- •Особенности эвм
- •19.5.2.Урал-11, Урал-14, Урал-16
- •Описание машины
- •Элементная база
- •Программное обеспечение.
- •Основные эксплуатационно-технические данные машины “Урал-11”
- •Особенности эвм
- •19.6.Эвм "Весна" и "Снег"
- •19.7.Эвм бэсм-6
- •Описание машины
- •Элементная база
- •Программное обеспечение
- •Технико-эксплуатационные характеристики
- •Особенности машины
- •19.8.Многопроцессорные вычислительные комплексы "Эльбрус"
- •Описание машины.
- •Элементная база
- •Программное обеспечение
- •Типовые комплектации
- •Производительность
- •19.9.Управляющие эвм
- •20.Эволюция элементарной базы и поколения эвм
- •20.1.Базисные логические элементы
- •20.2.Элементы регистровой памяти
- •20.3.Элементы памяти на магнитных сердечниках.
- •20.4.Интегральные схемы
- •20.5.Поколения эвм
- •21.Американская система ibm-360
- •22.Семейство Ряд "ес эвм"
- •22.1.Хронология создания
- •22.2.Ес эвм. Крупнейший промах или всеобщее счастье?
- •23.Автоматизация программирования
- •23.1.От двоичных кодов к ассемблерам - языкам символьного кодирования
- •Ассемблеры
- •Программы - загрузчики
- •23.2.Языки программирования высокого уровня
- •23.3.Трансляция программ
- •24.Первые компьютеры Сарова
- •25.Начало компьютеризации Нижегородского госуниверситета
- •26.Они были первыми
- •26.1.Конрад Цузе
- •26.2.А лан Тьюринг
- •26.3.Джон Маулчи и Джон Эккерт
- •26.4.Джон фон Нейман
- •26.5.А ксель Берг
- •26.6.В иктор Глушков
- •26.7.Сергей Лебедев
- •26.8.Исаак Брук
- •26.9.Николай Матюхин
- •26.10.Михаил Карцев
- •26.11.Юрий Базилевский
- •26.12. Башир Рамеев
- •26.13.Георгий Лопато
- •26.14. Всеволод Бурцев
- •27.Приложения
- •27.1.Основные черты кибернетики
- •27.1.1.Общенаучное значение кибернетики
- •27.1.2.Электронные счетные машины и нервная система
- •27.1.3.Прикладное значение кибернетики
- •27.2."Сигнал" Игоря Полетаева
- •27.3.Хронология компьютеростроения
- •Литература
- •Оглавление
6.Формализация физических характеристик среды обитания
6.1.Дискретные и непрерывные множества
Среда обитания ЧЕЛОВЕКА включает в себя три основных составляющих, тесно связанных между собой: природная среда, техногенная среда, социальная среда.
ЧЕЛОВЕК постоянно взаимодействует со своей средой обитания, анализируя и изменяя ее (далеко не всегда лучшим образом). Информатика (сначала интуитивная, затем превратившаяся в науку) помогает решать проблемы, которые возникают у ЧЕЛОВЕКА в процессе его взаимодействия со средой обитания.
Уже на первых шагах становления сознания у ЧЕЛОВЕКА возникает необходимость решать множество информационно-вычислительных задач: определить суммарное количество предметов в нескольких множествах однородных предметов; сравнить количество предметов в нескольких однородных множествах; определить, насколько длина копья у одного воина больше длины копья у его противника, определить пройденное за определенное время расстояние при известной скорости движения и т.д. и т.п.
Разнообразие реальных сущностей, для которых требуется решение подобных задач, приводит к пониманию необходимости абстрагировать количественные характеристики разнородных реальных сущностей в понятии "число" и "запись числа". Способы конструктивного представления значений количественных характеристик реальных сущностей в виде символьных записей числа воплощаются в различных системах счисления. Говоря современным языком, записи чисел являют собой данные, обозначающие присущую явлениям, объектам и процессам реального мира информацию.
Революционным шагом в развитии вычислительной информатики явилось изобретение алгоритмов выполнения четырех арифметических операций над записями чисел, представленных в позиционной системе счисления. Благодаря этому появилась возможность вычислять априори неизвестные характеристики сущностей (представленных в численном виде) на основании априори известных характеристик этих сущностей (также представленных в численном виде). Еще раз подчеркнем, что вычисления выполняются вне зависимости от физической сущности артефактов.
В основе абстрагирования артефактов лежит понятие множества. Вообще говоря, различаются два типа множеств: реальное множество и абстрактное множество.
Реальное множество – совокупность сущностей одинаковых с некоторой точки зрения. Например, множество яблок в корзине, множество студентов в группе и т.д. Единственное требование – каждая сущность, входящая в множество, уникальна, т.е. отличается от остальных сущностей, образующих множество. Основная характеристика множества – количество сущностей, его образующих.
Абстрактное множество определяется как совокупность абстрактных элементов вне зависимости от их реального воплощения. Например, корзина, содержащая 25 яблок, и группа из 25 студентов абстрагируются одинаковым абстрактным множеством, состоящим из 25 различных элементов. Количество элементов в абстрактном множестве – мощность множества. Таким образом, абстрактное множество имеет всего одну характеристику – мощность, которая отражает такую общность различных реальных множеств как количество образующих эти множества элементов.
Линейно-упорядоченное абстрактное множество – такое множество M на котором определено отношение < следования элементов. Более подробно, если mM и m'M, и m m' то либо m' следует за m, т.е. (m<m'), либо m следует за m', т.е. (m'<m).
Дискретное множество - линейно-упорядоченное абстрактное множество M, в котором для каждого элемента mM существует "непосредственно следующий элемент". Элемент m' непосредственно следует за элементом m, если в множестве M нет элемента m'' для которого справедливо: m<m''<m'. Образно говоря, между элементами mM и m'M нет третьего элемента m''M. Дискретное множество либо конечно, либо счетно.
Примером дискретного множества является натуральное семейство абстрактных множеств, которое конструируется следующим образом.
Мощность множества – количество элементов, образующих это множество.
Введем в рассмотрение два специфичных абстрактных множества: пустое множество и одноэлементное множество. Линейно – упорядоченное семейство A абстрактных множеств выводится из пустого множества следующим образом. Начало вывода – пустое множество. Добавив к пустому множеству один элемент, получим одноэлементное множество. Пусть в результате вывода получено k- элементное множество. В результате объединения k- элементного множества и одноэлементного множества получается k+1 элементное множество.
В результате такого вывода получается дискретное (счетное) линейно-упорядоченное семейство абстрактных множеств – натуральный ряд абстрактных множеств (Рис.1), котором мощность каждого следующего множества отличается от мощности предыдущего множества на один элемент.
Рис. 1. Натуральный ряд абстрактных множеств
Примечание. Предполагается, что любые два абстрактных множества натурального ряда не содержат одинаковых элементов.
Непрерывное множество - линейно-упорядоченное абстрактное множество M, в котором для любого m'M непосредственно следующего элемента не существует. Более строго, в множестве M для любой пары элементов (m,m') всегда найдется элемент m'' для которого справедливом m<m''<m'. Образно говоря, между элементами mM и m'M всегда находится элемент m''M.
Примером непрерывного бесконечного множества является геометрическая прямая L. Применительно к геометрической прямой можно сформулировать специфическое свойство непрерывного множества: в любой, сколь угодно малой окрестности любой точки mL всегда найдется точка m'' L. Это равносильно отсутствию в непрерывном множестве непосредственно следующих элементов.
Дискретное множество можно спроектировать на геометрическую прямую, введя в рассмотрение единичный отрезок прямой и располагая точки проекции на расстоянии единичного отрезка друг от друга (Рис.2.a). Тогда, специфическая особенность дискретного множества M формулируется следующим образом: у проекции любого элемента дискретного множества M на геометрическую прямую L существует единичная окрестность, в которой нет ни одной проекции другого элемента множества M.
Натуральный ряд A абстрактных множеств является дискретным множеством и также может быть спроектирован на геометрическую прямую (Рис.2.b).
Отметим особо, что каждый элемент натурального ряда абстрактных множеств также является дискретным (конечным) множеством.
Рис. 2. Проекция дискретного множества на непрерывное множество L
С каждым абстрактным множеством из A связана его характеристика – мощность множества, т.е. количество элементов, образующих это множество.