15.Основные понятия алгебры логики. Математическая логика: этапы развития, области применения.
Алгебра– раздел математики, предназначенный для описания действий над переменными величинами (которые принято обозначать строчными латинскими буквами, напримерa,b,x,yи т.д.).
Логика (др.греч.λογικοςозначает «мысль, понятие, рассуждение, закон») – наука о том, как правильно рассуждать, делать выводы, доказывать утверждения,наука о законах и формах мышления.
Алгебра логики изучает общие операции над логическими высказываниями.
ОСНОВНЫЕ ПОНЯТИЯ АЛГЕБРЫ ЛОГИКИ
Логическое высказывание – повествовательное предложение, относительно которого можно однозначно сказать,истиннооно илиложно.
Формальная логика – наука о законах и формах правильного мышления.
Математическая логика – изучает логические связи и отношения, лежащие в основе логического (дедуктивного) вывода.
Основными формами абстрактного мышления являются:
понятия,
суждения,
умозаключения.
Понятие- форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов. (Трапеция, дом).
Суждение- мысль, в которой что-либо утверждается или отрицается о предметах. (Весна наступила, и грачи прилетели).
Умозаключение- прием мышления, посредством которого из исходного знания получается новое знание. (Все металлы - простые вещества).
ЭТАПЫ РАЗВИТИЯ ЛОГИКИ
Классическая логика – силлогизмы (рассуждение, в котором из заданных двух суждений выводится третье: все млекопитающие имеют скелет. все киты - млекопитающие. следовательно, все киты имеют скелет; все квадраты - ромбы. все ромбы - параллелеграммы. следовательно, все квадраты - параллелограммы). Аристотель (384-322 гг. до н.э.) – древнегреческий философ, основоположник логики. Исследовал различные формы рассуждений, ввел понятие силлогизма. Аристотель выделил все правильные формы силлогизмов, которые можно составить из рассуждений вида:
«Все а суть в»
«Некоторые А суть В»
«Все А не суть В»
«Некоторые А не суть В»
Декарт Рене (1596-1650, французский философ, математик) – рекомендовал в логике использовать математические методы.
Лейбниц Готфрид Вильгельм (1646-1716, немецкий ученый и математик) – предложил использовать в логике математическую символику и впервые высказал мысль о возможности применения в ней двоичной системы счисления.Логика обретает символьный язык, конкретность законов, распространяется за рамки гуманитарных наук.Его идеи оказали влияние на последующие работы ученых в этой области.
Джордж Буль (1815-1864, английский математик-самоучка, основоположник математической логики).
В 1846 году Джордж Буль подхватил идею Лейбница о создании логического универсального языка, подчиняющегося строгим математическим законам. Буль изобрел своеобразную алгебру – систему обозначений и правил, применимую к всевозможным объектам, от чисел и букв до предложений. Его именем она теперь и называется: алгебра Буля илибулева алгебра.
Огастес де Морган (1806 – 1871, шотландский математик и логик) - изложил (1847) элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений.
Платон Сергеевич Порецкий (1846-1907) – русский астроном, математик. Автор первых в России трудов по математической логике, активно занимался популяризацией этой дисциплины, первый из русских учёных, кто читал лекции по математической логике. Занимался проблематикой алгебры высказываний. Его работы оказали влияние на последующие исследования в данной области.
Области применения:
Логика оказала влияние на развитие математики, прежде всего теории множеств, функциональных систем, алгоритмов, рекурсивных функций.
В гуманитарных науках (логика, криминалистика).
Математическая логика является средством для изучения деятельности мозга.
Идеи и аппарат логики используется в кибернетике, вычислительной технике и электротехнике (компьютеры построены на основе законов математической логики).
Идеи и аппарат логики используется в программировании, базах данных и экспертных системах (PROLOG– язык логического программирования).
1938 г. – американский инженер и математик и инженер КлодШеннон (1916 – 2001) связал Булеву алгебру (аппарат математической логики), двоичную систему кодирования и релейно-контактные переключательные схемы, заложив основы будущих ЭВМ.
- 7.Системы счисления, использующиеся в вычислительной технике. Перевод двоичных чисел в восьмеричную и шестнадцатеричную системы и обратно.
- 8 .Кодирование числовой информации. Формы представления чисел в памяти эвм. Представление целых чисел без знака и со знаком. Диапазоны представляемых чисел.
- 10.Кодирование числовой информации. Представление вещественных чисел в памяти эвм. Мантисса и порядок числа. Нормализованное представление числа с плавающей точкой.
- 11.Кодирование символьной информации. Международные и национальные стандарты кодирования символов. Кодовые таблицы. Особенности однобайтовых и двухбайтовых кодировок.
- 12.Кодирование графической информации. Дискретизация. Растровые и векторные изображения, их основные характеристики. Достоинства и недостатки растровой и векторной графики.
- 13.Кодирование звуковой информации. Оцифровка звука. Основные параметры, влияющие на качество звука. Особенности хранения цифрового звука.
- 14.Кодирование видео- и мультимедийной информации. Особенности кодирования видеоизображений. Понятие мультимедиа. Основные форматы мультимедийной информации.
- 15.Основные понятия алгебры логики. Математическая логика: этапы развития, области применения.
- 16.Алгебра логики. Понятие высказывания. Логические константы, переменные, функции. Логические выражения.
- 17.Операции алгебры логики. Таблицы истинности логических операций. Вычисление логических выражений.
- 18.Логические основы компьютеров. Связь алгебры логики и двоичного кодирования. Базовые логические элементы.
- 19.Комбинированные логические элементы. Типовые функциональные узлы эвм (примеры).
- 20.Основные этапы развития информационной техники. Краткий обзор истории развития вычислительной техники.
- 21.Поколения эвм. Развитие аппаратных и программных возможностей компьютеров от поколения к поколению. Проблемы и перспективы развития.
- 22.Основные компоненты компьютера. Архитектура фон Неймана.
- 23.Основные принципы функционирования компьютеров. Принципы фон Неймана.
- 25.Режимы обмена данными между центральным процессором и внешними устройствами: программно управляемый ввод/вывод, обмен по прерываниям, прямой доступ к памяти.
- 26.Состав персонального компьютера. Системный блок. Материнская плата.
- 27. Процессор – назначение, состав, основные характеристики, система команд. Архитектуры процессоров.
- 28.Устройства внутренней памяти – оперативная память, кэш-память. Назначение, типы, основные характеристики.
- 29.Устройства внутренней памяти – постоянная память (пзу, cmos). Назначение, функции, особенности, основные характеристики.
- 31. Взаимодействие разных видов памяти. Кэширование. Виртуальная память. Основные характеристики памяти.
- 32 Билет. Устройства ввода текстовой информации. Типы, основные технико-эксплуатационные характеристики.
- 33 Билет. Указательные (координатные) устройства ввода. Разновидности, особенности, основные характеристики.
- 34 Билет. Устройства ввода изображений. Виды, основные характеристики. Распознавание текстовой информации.
- 35 Билет. Устройства ввода звука. Игровые устройства ввода. Устройства распознавания движений.
- 37 Билет. Устройства вывода данных – печатающие устройства. Виды, принципы работы, основные характеристики, сравнение.
- 38 Билет. Устройства ввода-вывода.