Категория
Информатика
Тип
реферат
Страницы
8 стр.
Дата
15.04.2010
Формат файла
.rtf — Rich Text Format (Wordpad)
Архив
21218.zip — 12.23 kb
  • buleva-algebra_21218_1.rtf — 72.15 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо


Текст работы

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



Ваше мнение



CAPTCHA