Элементы математической логики.

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

Логические системы, предназначены для описания и получения правильных суждений, представляющих собой совокупность связанных меду собой понятий. Различают простые суждения (простые логические высказывания) связывающие два понятия и сложные суждения (составные логические высказывания) связывающие несколько понятий. Часто вместо термина суждение используется термин логическое высказывание, логическое рассуждение. На основе суждений можно строить специальные логические конструкции, получившие название логических выводов (фигура силлогизма, умозаключение). Элементарные объекты, участвующие в логических построениях – простые суждения (далее суждения или логические высказывания) это суждение в отношении которых можно фиксировать один из двух символов («0» или «1»).

Математическая дисциплина, обеспечивающая строго математическое описание логических высказываний с использованием алгебраических обозначений и методов получила название математической логики.

Логическим высказыванием называется утверждение, в отношении которого всегда можно однозначно сказать, истинно оно или ложно (то есть принимает значение «истина» или «ложь»). Вопросительные и восклицательные предложения не могут быть логическими высказываниями, так как они ничего не утверждают.

Элементарные логические высказывания, обозначенные буквами, которые не зависят друг от друга и могут принимать значения «истина» или «ложь», называют логическими переменными.

7. Этапы развития вычислительной техники. Поколение ЭВМ. Многопроцессорные вычислительные системы. Супер ЭВМ.

История развития ЭВМ условно подразделяется на шесть поколений, определяемых сменой элементной базы, конструктивно-технологической базой, программно алгоритмическими и архитектурными принципами.

1 поколение ЭВМ 1950-1960 г. Это электронные лампы в качестве элементной базы, в качестве внешних запоминающих устройств магнитные ленты, перфокарты и штекерные переключатели, языки машинных кодов. Примеры машин UNIVAC и БЭСМ-2. Производительность 10 000 операций в секунду

2 поколение ЭВМ 1960-1970 г. Это дискретные полупроводниковые и магнитные элементы, печатный монтаж, электронно-лучевые мониторы, программы для управления ЭВМ в виде операционных систем, языки высокого уровня (Фортран, Алгол, Кобол, Бейсик). Примеры машин UNIVAC 3, IBM 7090, БЭСМ-6. Производительность 10⁶ операций в секунду

3 поколение ЭВМ 1970-1980 г. Это интегральные схемы, телеобработка, коллективное пользование, вычислительные сети, многозадачные режимы, коды исправляющие ошибки. Примеры машин IBM -360-370, PDP11, ЕС 1060, СМ-4, VAX9000. Производительность 8∙10⁵ операций в секунду. Появление супер ЭВМ с новыми архитектурами –ILIAC 4. От 100 до 1000 миллионов операций в секунду (от100 до 1000 MIPS).

4 поколение ЭВМ 1980-1990г. Это появление сверх больших интегральных схем (СБИС, VLSI), микропроцессора и персональных ЭВМ и больших компьютеров-мэйнфреймов, супер ЭВМ (Cray 1-4), глобальных сетей, распределенных вычислительных систем, экспертных систем. Производительность 10⁶ -10⁹ операций в секунду.

5 поколение ЭВМ 1990-2008 г. Это микропроцессоры с параллельно-векторной архитектурой, кластерные суперкомпьютеры (Blue Gene /L), поисковые системы в глобальных сетях, системы обработки знаний и искусственного интеллекта, мульти-агентные системы, нейронные сети, мульти-медийные технологии, OLAP и ERP –технологии. Производительность 10¹² -10¹⁵ операций в секунду для конвейерных, векторных и матричных вычислительных систем.

6 поколение ЭВМ. Это квантовые и оптические компьютеры.