Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики/Алгебра логики

Содержательное обобщение изученного материала

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

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

Алгебру логики иногда называют алгеброй Буля, или булевой алгеброй, по имени ее создателя - Джоржа Буля - английского математика (кстати, отца Этель Л. Войнич, написавшей "Овод").

• 

  Джорж Буль

Основные результаты теории были сформулированы им в книге "Исследование законов мышления", изданной в 1854 году. Во введении Буль писал, что назначение трактата - исследовать основные законы тех операций ума, посредством которых производится рассуждение, выразить их на символическом языке некоторого исчисления и на этой основе установить науку логику и построить ее метод.

Рекомендуемые ссылки

[Булева алгебра (Материал из Википедии — свободной энциклопедии)]

Список литературы

Назад к разделу Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики

Назад к разделу Вики-учебник для подготовки к ЕГЭ/Раздел Информатика