Основные понятия математической логики 4

СодержаниеВведение 3
Основные понятия математической логики 4
Логические формулы 9
Заключение 12
Список литературы 13

Введение
История логики насчитывает около двух с половиной тысячелетий. Она берет начало от формальной логики Аристотеля. Дальнейшее развитие логики связано с именами Готфрида Вильгельма Лейбница и Джорджа Буля, которые разработали математический аппарат алгебры логики. Именно поэтому алгебру высказываний и называют булевой алгеброй. Математическая логика в XIX-XX вв. рассматривалась как базис для логического обоснования в различных областях математики, но в последние десятилетия математическая логика находит применения во многих областях, в частности, в кибернетике, теории ЭВМ, теории алгоритмов.
Термин "логика" происходит от древнегреческого logos, означающего "слово, мысль, понятие, рассуждение, закон"
Логика - наука, изучающая законы и формы мышления.
Математическая логика - это дисциплина, изучающая технику математических доказательств.
Список литературы
1. Кенин А.М., Печенкина Н.С., IBM PC для пользователей или как научится работать на компьютере.- Екатеринбург: АРД ЛТД, 1997
2. Шафрин Ю., Основы компьютерной технологии.- М.: АБФ, 1997