Готовые Домашние Задания

Рефераты по теме Маркетинг

Реферат Булева алгебра

Скачать реферат↓ [13.95 KB]



Текст реферата Булева алгебра

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