Логико-семантический комплекс АИПС.

Логико-семантический комплекс (ЛСК) - комплекс языковых, логических, и математических средств формализованного представления семантической информации с целью ее автоматизированной обработки и поиска. ЛСК представляет собой теоретическую и практическую базу создания и функционирования как каждой составляющей всех ранее рассмотренных декомпозиций.

Структура программного обеспечения, средства и алгоритмы представления, хранения и обработки текстовой и числовой информации

Немного истории

Проект одной из первых механических суммирующих машин был разработан немецким ученым Вильгельмом Шиккардом. Эта 6-разрядная машина была построена предположительно в 1623 году. Однако это изобретение оставалось неизвестным до середины двадцатого столетия, поэтому никакого влияния на развитие вычислительной техники не имело.

Более 300 лет считалось, что первую суммирующую (8-разрядную) машину сконструировал в 1641 году, а построил в 1645-м Блез Паскаль, который наладил „серийное" производство своих машин. Эта машина представляла собой комбинацию взаимосвязанных колесиков и приводов. На колесиках были нанесены цифры от 0 до 9. Когда первое колесико делало полный оборот от 0 до 9, в действие автоматически приводилось второе колесико. Когда и оно достигало цифры 9, начинало вращаться третье и так далее. Машина Паскаля могла складывать и вычитать, умножать (делить) лишь путем многократного сложения (вычитания).

Готфрид Вильгельм фон Лейбниц в 1674 году сконструировал машину „четырех действий", которая выполняла основные математические действия (сложение, вычитание, умножение и деление, извлечение квадратного корня). В отличие от Паскаля Лейбниц использовал в своей машине цилиндры, а не колесики и приводы. На цилиндры были нанесены цифры. Каждый цилиндр имел девять рядов выступов или зубцов. При этом первый ряд содержал один выступ, второй ряд — два выступа и так вплоть до девятого ряда, который содержал соответственно девять выступов. Цилиндры с выступами были подвижными и приводились в определенные положения оператором.

Специально для нее Лейбниц применил систему исчисления, использующую вместо обычных для человека десяти цифр две: 0 и 1. Принципы этой двоичной системы исчисления Лейбниц изложил в своем трехстраничном исследовании. В коробочке должно было быть два отверстия: открытое отверстие означало 1, закрытое - 0. 1 обозначалось выпавшим шаром, 0 - отсутствием выпавшего шара. На такой машине можно было производить умножение путем открытия и закрытия соответствующих отверстий.

Двоичная система является самой удобной для выполнения арифметических операций на ЭВМ.

В 1805 году Жозеф-Мари Жаккар сконструировал ткацкий станок, который управлялся перфорированными картами, со счетным механизмом, умеющим автоматически переносить десятки. Дело в том, что для контроля ткацких операций Жаккар применил отверстия, пробитые в карточках. Карточки с разным расположением отверстий давали различные узоры на плетении ткани. Жаккар даже не мог предположить, что его идея будет впоследствии использована для обработки информации с помощью компьютеров.

После создания в 1822 году разностной машины (которая предназначалась для табулирования многочленов) английский ученый Чарльз Беббидж в 1830 году разработал проект аналитической машины для выполнения разнообразных научных и технических расчетов. В этом проекте предугаданы все основные устройства современной ЭВМ, а также задачи, которые могут быть решены с ее помощью. В качестве носителей информации при вводе и выводе Беббидж предлагал использовать перфокарты. Управление такой машиной должно было осуществляться программным путем.

Для этой программно-управляемой вычислительной машины были составлены первые в мире программы. Первым программистом была Августа Ада Лавлейс — дочь английского поэта Дж. Байрона. Она разработала принципы программирования, предусматривающие повторение одной и той же последовательности команд и выполнение этих команд при определенных условиях. Эти принципы используются и в современной вычислительной технике.

В середине XIX века математик Джордж Буль ввел новую математическую логику. Логические операторы И, ИЛИ и НЕ осуществляют связи в логическом высказывании и благодаря этому дают возможность развиться новым высказываниям. Эта формальная логика высказывания известна теперь как алгебра Буля и составляет основу электронной обработки данных.