|
|||
Основные логические операции и базовые логические элементы построения компьютераСтр 1 из 2Следующая ⇒ Тема 2.5
Основные логические операции и базовые логические элементы построения компьютера
Логика (от древнегреческого logos – слово, мысль) – совокупность правил, которым под-чиняется процесс мышления.
Основные формы мышления:
1. Понятие–форма мышления,которая выделяет существенные признаки предмета,от-личающие его от других (компьютер, квадрат, ураганный ветер).
2. Суждение–это мысль,в которой что-то утверждается или отрицается.Суждения рас-сматриваются не с точки зрения их смысла, а только с точки зрения их истинности или ложности («семью пять=тридцать пять» - истинное, «процессор предназначен для печа-ти» - ложное).
3. Умозаключение–прием мышления,позволяющий на основе суждений-посылок по-лучить новое суждение - знание или вывод (доказательства теорем в геометрии).
1.Первые учения о рассуждениях возникли в странах Древнего Востока (Индия, Китай). 2.Но в основе современной логики лежат учения, созданные древнегреческими мысли-телями еще в VI-V вв. до н.э. Установившаяся в Греции демократическая жизнь потребо-вала развития искусства убеждения риторики, ораторского искусства. Появились учителя риторики – софисты, учившие не только доказывать истинные утверждения, но и искус-но их опровергать. 3.Научную систему логики впервые разработал греческий ученый Аристотель (IV в. до н.э.), ученик Платона, воспитатель Александра Македонского. Он заложил основы фор-мальной логики (силлогистики) – науки о законах и формах мышления. 4.Нем. ученый Готфрид Вильгельм Лейбниц, англ. математик Джордж Буль, нем. мате- матик Готлоб Фреге разработали математическую логику(алгебру логики) – науку, изучающую математические методы решения логических задач и построения логических схем, которые лежат в основе работы любого компьютера.
Высказывание – повествовательное предложение, о котором можно сказать, истинно оно или ложно (вопросительные и повелительные предложения высказываниями не являют-ся).
«Каждый ромб – параллелограмм» - истинно «Каждый параллелограмм - ромб» - ложно
Составное (сложное) высказывание получается из простых с использованием союзов-связок.
Логическая переменная – простое высказывание, значение которого равно 0, если оно ложно, или равно 1, если оно истинно.
Логическая функция - составное высказывание, значение которого также 0 или 1.
|
|||
|