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

Материал из Letopisi.Ru — «Время вернуться домой»
Перейти к: навигация, поиск

Шаблон:Campus

Содержание

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

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

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

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

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

Материал для изучения

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

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

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

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

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

Персональные инструменты
Инструменты
Акция час кода 2018

организаторы проекта