10. Основные понятия логики. Простые и сложные высказывания.

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

Простое суждение.

Мы имеем суждение о некоторой вещи, если можем выразить словесно её отношение к другой вещи или к себе самой.

Основная языковая форма суждения – повествовательное предложение.

Суждение может быть истинным, ложным или неопределённым.

Суждение истинно, если в нём утверждается связь между объектом и признаком имеющая место в действительности, или отрицается связь, не имеющая места в действительности.

Суждение ложно, если

Истина обозначается True, T, 1, И

Ложь – False, F, 0, Л.

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

11. Основы формальной логики. Основные логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция. Таблицы истинности.

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

Таблица истинности

А	В	не А	не В	не А Ú В	А Ù не В	(не А Ú В) ® (А Ù не В)
1	1	0	0	1	0	0
1	0	0	1	0	1	1
0	1	1	0	1	0	0
0	0	1	1	1	0	0

Отрицание в логике — операция над суждениями, результатом которой является суждение «противоположное» исходному.

Конъюнкция — логическая операция, по своему применению максимально приближённая к союзу "и".

Дизъюнкция — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу».

Импликация — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».

Эквиваленция – это логическая связка, которая выражается словами «А тогда и только тогда, когда В », «для А необходимо и достаточно В».

12. Принцип работы RS-триггера.

Триггер – электронное устройство, с помощью которого можно записывать, хранить и считывать двоичные коды. Триггер имеет два устойчивых состояния: одно принимается за ноль (0), другое за единицу (1).

недопустимая комбинация: R=1 и S=1

R	S	Q	не Q
1	0	0	1
0	1	1	0
0	0	сох	сохр

13. История развития вычислительной техники. Вклад Цузе в развитие вычислительной техники.

Абак. Известен с 3 тыс. до н. э. Начиная с IV в. до Р.Х абак использовался для выполнения арифметических вычислений.

Известен эскиз суммирующей машины, сделанный Леонардо да Винчи

Первую суммирующую 8 – ми разрядную машину построил Блез Паскаль

Лейбниц создал первый арифмометр (выполнял все 4-е действия

Чарльз Бэббидж в начале XIX века создал машину, структура которой аналогична современным ЭВМ

Конрада Цузе. Он считается создателем первой работающей программируемой ЭВМ и первого языка программирования высокого уровня. В 1934 г. Цузе придумал модель автоматического калькулятора (Z1), которая состояла из УУ, ВУ, памяти и полностью совпадала с архитектурой современных компьютеров.

Вклад Цузе в развитие ВТ

сформулировал шесть принципов работы компьютеров:

• должна использоваться двоичная система счисления;

• должны использоваться устройства, работающие по принципу да/нет;

• должен быть полностью автоматизирован процесс работы ВУ;

• процесс вычислений должен управляться программно;

• необходима поддержка арифметики с плавающей запятой, а не только с фиксированной;

• следует использовать память большой ёмкости.

• В сентябре 1950 года Цузе сконструировал машину Z4. Это был единственный работающий компьютер в Европе и первым компьютером в мире, который был продан.

• Цузе первым разработал язык программирования, не привязанный к архитектуре ЭВМ.

В СССР первая ЭВМ была запущена в регулярную эксплуатацию в 1951 г. под руководством С.М. Лебедева.

Эта машина известна под названием МЭСМ – малая электронно счётная машина.

В 1953 г. С.М. Лебедевым была запущена самая производительная на тот момент в Европе ЭВМ – БЭСМ (большая электронно счётная машина).