Основные логические операции и базовые логические элементы построения компьютера

Тема 2.5

Основные логические операции и базовые логические элементы построения компьютера

Логика (от древнегреческогоlogos–слово,мысль) –совокупность правил,которым под-чиняется процесс мышления.

Основные формы мышления:

1. Понятие–форма мышления,которая выделяет существенные признаки предмета,от-личающие его от других (компьютер, квадрат, ураганный ветер).

2. Суждение–это мысль,в которой что-то утверждается или отрицается.Суждения рас-сматриваются не с точки зрения их смысла, а только с точки зрения их истинности или ложности («семью пять=тридцать пять» - истинное, «процессор предназначен для печа-ти» - ложное).

3. Умозаключение–прием мышления,позволяющий на основе суждений-посылок по-лучить новое суждение - знание или вывод (доказательства теорем в геометрии).

1.Первые учения о рассуждениях возникли в странах Древнего Востока (Индия, Китай).

2.Но в основе современной логики лежат учения, созданные древнегреческими мысли-телями еще в VI-V вв. до н.э. Установившаяся в Греции демократическая жизнь потребо-вала развития искусства убеждения риторики, ораторского искусства. Появились учителя риторики – софисты, учившие не только доказывать истинные утверждения, но и искус-но их опровергать.

3.Научную систему логики впервые разработал греческий ученый Аристотель (IV в. до н.э.), ученик Платона, воспитатель Александра Македонского. Он заложил основы фор-мальной логики (силлогистики)–науки о законах и формах мышления.

4.Нем. ученый Готфрид Вильгельм Лейбниц, англ. математик Джордж Буль, нем. мате-

матик Готлоб Фреге разработали математическую логику(алгебру логики) – науку,

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

Высказывание –повествовательное предложение,о котором можно сказать,истинно оноили ложно (вопросительные и повелительные предложения высказываниями не являют-ся).

«Каждый ромб – параллелограмм» - истинно «Каждый параллелограмм - ромб» - ложно

Составное (сложное) высказывание получается из простых с использованием союзов-связок.

Логическая переменная –простое высказывание,значение которого равно0,если оноложно, или равно 1, если оно истинно.

Логическая функция -составное высказывание,значение которого также0или1.

12 Следующая ⇒