7) Логические функции

Логическая функция - это функция, которая устанавливает соответствие между одним или несколькими высказываниями, которые называются аргументами функции, и высказыванием которое называется значением функции.

Это определение почти не отличается от определения числовой функции. Разница лишь та, что аргументом и значением числовой функции являются числа, а аргументом логической функции - высказывания.

Как можно составить логическую функцию? Очень просто.

Приведем пример: Пусть дано высказывание А. Оно может быть либо истинно, либо ложно. Определим высказывание В следующим образом: пусть В истинно, когда А ложно, и ложно когда А истинно.

Мы только что установили соответствие между высказыванием А и высказыванием В. Другими словами мы составили логическую функцию, аргументом которой является высказывание А и результатом высказывание В.

Функция, определённая таким образом, называется отрицанием и записывается так: ¬A . Читается так: не А.

Определим логические функции:

Инверсия (отрицание) — это логическое не. Говорят, что имея суждение А, можно образовать новое суждение, которое читается как «не А» или «неверно, что А». Для обозначения отрицания суждения употребляется символ ¬ или – над переменной. Запись ¬А читается как «не А».

Коньюкция - это логическое умножение. Обозначение: А & В ( АВ, А ∧ В ) . Читается так “ А и В “.

Дизьюкция - это логическое сложение. Обозначение: А ∨ В , ( А + В ). Читается так: “ А или В ”.

Эквиваленция - это функция тождества. Она обозначается символами = , ~ , или <=>. Выбираем обозначение

А = В. («тогда и только тогда»). Запись А = В читается как «А эквивалентно В».

Импликация - это логическое следование. Импликация двух высказываний А и В соответствует союзу «ЕСЛИ…ТО». Она обозначается символом →. Читается как «из А следует В». Обозначение: A→B.

8) Поколения эвм

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

Кроме того, они имели две отличительные особенности, которыми предыдущие машины не обладали:

I. Одна из них состояла в том, что они могли выполнять определенную последовательность операций по заранее заданной программе или последовательно решать задачи разных типов.

II. Способность хранить информацию в специальной памяти.

ПЕРВОЕ ПОКОЛЕНИЕ

Эл. база: Электронно-вакуумные лампы

Быстродействие: 8 - 20 тыс. оп/с

Програмное обеспечение: язык "Ассемблер

Названия: "МЭСМ", "БЭСМ", "Эниак"

ВТОРОЕ ПОКОЛЕНИЕ

Эл. база: Полупровогдники (транзисторы, диоды)

Быстродействие: 0,1 - 1 млн. оп/с

Програмное обеспечение: транслятор и компилятор

Названия: "БЭСМ-6", "Днепр-1"

ТРЕТЬЕ ПОКОЛЕНИЕ

Эл. база: Интегральные схемы (МИС, СИС)

Быстродействие: 1 млн. оп/с

Програмное обеспечение: языки высокого уровня ("Pascal", "Basic"); отладчики

Названия: IBM 360/370, ЕСЭВМ

Четвёртое

Эл. база: Интегральные схемы (БИС, СБИС)

Быстродействие: более 1 млн. оп/с

Програмное обеспечение: объектно-ориентированные языки програмирования, програмные оболочки, различные редакторы.

Названия: "МЭСМ", "БЭСМ", "Эниак"

Пятое

Программа разработки была принята в Японии в 1982 г. Предполагалось, что к 1991 г. будут созданы принципиально новые компьютеры, ориентированные на решение задач искусственного интеллекта. С помощью языка Пролог и новшеств в конструкции компьютеров планировалось вплотную подойти к решению одной из основных задач этой ветви компьютерной науки - задачи хранения и обработки знаний. Коротко говоря, для компьютеров "пятого поколения" не пришлось бы писать программ, а достаточно было бы объяснить на "почти естественном" языке, что от них требуется.