Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Ответы на билеты. Информатика. 1 курс. 1 сем. ИнЭи. Лукьянова. 2017-2018.docx
Скачиваний:
497
Добавлен:
11.01.2018
Размер:
8.08 Mб
Скачать

15.Основные понятия алгебры логики. Математическая логика: этапы развития, области применения.

Алгебра– раздел математики, предназначенный для описания действий над переменными величинами (которые принято обозначать строчными латинскими буквами, напримерa,b,x,yи т.д.).

Логика (др.греч.λογικοςозначает «мысль, понятие, рассуждение, закон») – наука о том, как правильно рассуждать, делать выводы, доказывать утверждения,наука о законах и формах мышления.

Алгебра логики изучает общие операции над логическими высказываниями.

ОСНОВНЫЕ ПОНЯТИЯ АЛГЕБРЫ ЛОГИКИ

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

Формальная логика – наука о законах и формах правильного мышления.

Математическая логика – изучает логические связи и отношения, лежащие в основе логического (дедуктивного) вывода.

Основными формами абстрактного мышления являются:

  • понятия,

  • суждения,

  • умозаключения.

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

Суждение- мысль, в которой что-либо утверждается или отрицается о предметах. (Весна наступила, и грачи прилетели).

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

ЭТАПЫ РАЗВИТИЯ ЛОГИКИ

Классическая логика – силлогизмы (рассуждение, в котором из заданных двух суждений выводится третье: все млекопитающие имеют скелет. все киты - млекопитающие. следовательно, все киты имеют скелет; все квадраты - ромбы. все ромбы - параллелеграммы. следовательно, все квадраты - параллелограммы). Аристотель (384-322 гг. до н.э.) – древнегреческий философ, основоположник логики. Исследовал различные формы рассуждений, ввел понятие силлогизма. Аристотель выделил все правильные формы силлогизмов, которые можно составить из рассуждений вида:

      • «Все а суть в»

      • «Некоторые А суть В»

      • «Все А не суть В»

      • «Некоторые А не суть В»

Декарт Рене (1596-1650, французский философ, математик) – рекомендовал в логике использовать математические методы.

Лейбниц Готфрид Вильгельм (1646-1716, немецкий ученый и математик) – предложил использовать в логике математическую символику и впервые высказал мысль о возможности применения в ней двоичной системы счисления.Логика обретает символьный язык, конкретность законов, распространяется за рамки гуманитарных наук.Его идеи оказали влияние на последующие работы ученых в этой области.

Джордж Буль (1815-1864, английский математик-самоучка, основоположник математической логики).

В 1846 году Джордж Буль подхватил идею Лейбница о создании логического универсального языка, подчиняющегося строгим математическим законам. Буль изобрел своеобразную алгебру – систему обозначений и правил, применимую к всевозможным объектам, от чисел и букв до предложений. Его именем она теперь и называется: алгебра Буля илибулева алгебра.

Огастес де Морган (1806 – 1871, шотландский математик и логик) - изложил (1847) элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений.

Платон Сергеевич Порецкий (1846-1907) – русский астроном, математик. Автор первых в России трудов по математической логике, активно занимался популяризацией этой дисциплины, первый из русских учёных, кто читал лекции по математической логике. Занимался проблематикой алгебры высказываний. Его работы оказали влияние на последующие исследования в данной области.

Области применения:

  • Логика оказала влияние на развитие математики, прежде всего теории множеств, функциональных систем, алгоритмов, рекурсивных функций.

  • В гуманитарных науках (логика, криминалистика).

  • Математическая логика является средством для изучения деятельности мозга.

  • Идеи и аппарат логики используется в кибернетике, вычислительной технике и электротехнике (компьютеры построены на основе законов математической логики).

  • Идеи и аппарат логики используется в программировании, базах данных и экспертных системах (PROLOG– язык логического программирования).

1938 г. – американский инженер и математик и инженер КлодШеннон (1916 – 2001) связал Булеву алгебру (аппарат математической логики), двоичную систему кодирования и релейно-контактные переключательные схемы, заложив основы будущих ЭВМ.