Автор работы: Пользователь скрыл имя, 05 Декабря 2013 в 16:04, реферат
Немецкий ученый Лейбниц первым (в 1666 году) попытался перевести законы мышления (формальную логику) из словесного царства, полного неопределенностей, в царство математики, где отношения между объектами или высказываниями определяются в виде математических соотношений.
Спустя более ста лет, в 1816 году, уже после смерти Лейбница среди ученых шел разговор о создании логического универсального языка, подчиняющегося строгим математическим законам. В 1847 году Буль написал важную статью на тему «Математический анализ логики», а в 1854 году развил свои идеи в работе «Исследование законов мышления».
1. Историческая справка.
2. Булева алгебра.
3Логические выражения.
3.1 Логическое отрицание.
3.2 Логическое сложение.
3.3 Логическое умножение.
3.4 Логическое следование.
3.5 Эквивалентность.
4.Построение таблиц.
5.Основные законы логики.
Историческая справка.