Категория
Информатика
Тип
реферат
Страницы
14 стр.
Дата
29.06.2013
Формат файла
.html — Html-документ
Архив
729261.zip — 8.86 kb
  • bulevaja-algebra_729261_1.html — 35.45 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо


Текст работы

План:
Введение.
1) Предмет математической логики.
2) Калькуляция высказываний.
3) Заключение.
Библиография.
ВВЕДЕНИЕ
В данном реферате я попытаюсь раскрыть, некоторые аспекты булевой алгебры. Математическая логика является современной формой, так называемой формальной логики, применяющей математические методы для исследования своего предмета. (Другие ее названия: символическая логика, теоретическая логика, логистика.) В формальной логике и, соответственно, в математической логике, собраны результаты законов структуры правильных выводов. Вывод является таким мыслительным процессом, в результате которого появляются новые открытия на основании уже имеющихся (которые предполагаются правильными), без практических исследований. В действительности, новое открытие, полученное в результате вывода, (так называемый окончательный вывод) в скрытой форме находится в предварительно имеющихся знаниях, в так называемых предпосылках.
МАТЕМАТИЧЕСКАЯ ЛОГИКА
ПРЕДМЕТ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Простейшие закономерности выводов открывались человечеством эмпирическим путем в ходе общественного производства (например, простейшие соотношения арифметики и геометрии). Открытие более сложных законов связано с результатами науки формальной логики. Первое крупное обобщение формальной логики принадлежит Аристотелю. В формальной логике с самого начала применялись (в единичных случаях) математические методы, но развитие логики не успевало за применением таких методов по сравнению с другими областями математики. Поэтому формальная логика отстала от потребностей науки (в первую очередь от требований математики); отставание оказалось особенно очевидным в новую эру. Главными недостатками формальной логики являлись следующие.
1. Она не сумела привести



Ваше мнение



CAPTCHA