Категория
Информатика
Тип
реферат
Страницы
12 стр.
Дата
06.03.2009
Формат файла
.doc — Microsoft Word
Архив
19326.zip — 14.51 kb
  • buleva-algebra_19326_1.doc — 65.5 Kb
  • Readme_docus.me.txt — 125 Bytes
Рейтинг
10  из 10
Оценок
2
Оцените работу
Хорошо  или  Плохо


Текст работы

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



Ваше мнение



CAPTCHA