Реферат на тему: Предмет математической логики

Введение

В данном реферате я попытаюсь раскрыть, некоторые аспекты булевой алгебры. Математическая логика является современной формой, так называемой формальной логики, применяющей математические методы для исследо вания своего предмета. (Другие ее названия: символическая логика, теоретическая логика, логистика.) В формальной логике и, соответственно, в математической логике, собраны результаты законов структуры пра вильных выводов. Вывод является таким мыслительным процессом, в результате которого появляются новые открытия на основании уже имеющихся (которые предполагаются правильными), без практических исследований. В действительности, новое открытие, полученное в резуль тате вывода, (так называемый окончательный вывод) в скрытой форме находится в предварительно имеющихся знаниях, в так называемых предпосылках.

МАТЕМАТИЧЕСКАЯ ЛОГИКА

Оглавление

- Введение.

- Предмет математической логики.

- Калькуляция высказываний.

- Заключение.

- Библиография.

Заключение

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

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

- Малая математическая энциклопедия. Э. Фрид., И. Пастор., И. Рейман., П. Ревес., И. Ружа. Издательсво академии наук Венгрии. Будапешт 1976 г.

- Математический анализ. ЧастьIII. . Москва "наука". 1984 г.

- Пособие по математика для поступающих в ВУЗЫ. Под редакцией Г. Н. Яковлева Москва "наука" 1988 г.