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


Текст работы

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



Ваше мнение



CAPTCHA