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

{{шаблон:campus}}
== Содержательное обобщение изученного материала  ==

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

<gallery>
Изображение:Bull.JPG‎ | Джорж Буль </gallery> 

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

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

*[http://school-collection.edu.ru/catalog/res/a969e5e4-f2e2-43f0-963b-65199b61416e/?from=a30a9550-6a62-11da-8cd6-0800200c9a66& Основные понятия математической логики. Демонстрация к лекции. Интерактивное средство для самостоятельной работы учащихся]

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

[http://ru.wikipedia.org/wiki/%D0%91%D1%83%D0%BB%D0%B5%D0%B2%D0%B0_%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0 Булева алгебра (Материал из Википедии — свободной энциклопедии)]

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

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

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


[[Категория:Обучение]]
[[Категория:Образование]]
[[Категория:ЕГЭ]]
[[Категория:Информатика]]