книга DipMaster-Shop.RU
поиск
карта
почта
Главная На заказ Готовые работы Способы оплаты Партнерство Контакты F.A.Q. Поиск
Логика как наука? предмет и значение ( Реферат, 21 стр. )
Логика понятий. ( Контрольная работа, 2 стр. )
Логика языка. Именные и пропозициональные функции ( Контрольная работа, 14 стр. )
Логика, 3 варианта ( Контрольная работа, 15 стр. )
Логика, вариант 13, 91-11 ( Контрольная работа, 5 стр. )
Логика, ее предмет и методы ( Контрольная работа, 16 стр. )
Логика, примеры ( Контрольная работа, 3 стр. )
Логика. (6 заданий) ( Контрольная работа, 13 стр. )
Логика. ВАР 11 ( Контрольная работа, 14 стр. )
Логика. Вар. 5 ( Контрольная работа, 10 стр. )
Логика. Вар. 1 ( Контрольная работа, 8 стр. )
Логика. Вар. 10 ( Контрольная работа, 15 стр. )
Логика. Вар. 10 ( Контрольная работа, 1 стр. )
Логика. Вар. 10 ( Контрольная работа, 12 стр. )
Логика. Вар. 10 2007-9 ( Контрольная работа, 9 стр. )
Логика. Вар. 11 ( Контрольная работа, 3 стр. )
Логика. Вар. 12 ( Контрольная работа, 3 стр. )
Логика. Вар. 16 ( Контрольная работа, 15 стр. )
Логика. Вар. 16 2005-15 ( Контрольная работа, 15 стр. )
Логика. Вар. 17 ( Контрольная работа, 8 стр. )
Логика. Вар. 19 ( Контрольная работа, 5 стр. )
Логика. Вар. 2 ( Контрольная работа, 14 стр. )
Логика. Вар. 2 ( Контрольная работа, 9 стр. )
Логика. Вар. 27 ( Контрольная работа, 19 стр. )
Логика. Вар. 27 ( Контрольная работа, 16 стр. )

Введение 3

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

Логические формулы 9

Заключение 12

Список литературы 13

История логики насчитывает около двух с половиной тысячелетий. Она берет начало от формальной логики Аристотеля. Дальнейшее развитие логики связано с именами Готфрида Вильгельма Лейбница и Джорджа Буля, которые разработали математический аппарат алгебры логики. Именно поэтому алгебру высказываний и называют булевой алгеброй. Математическая логика в XIX-XX вв. рассматривалась как базис для логического обоснования в различных областях математики, но в последние десятилетия математическая логика находит применения во многих областях, в частности, в кибернетике, теории ЭВМ, теории алгоритмов.

Термин "логика" происходит от древнегреческого logos, означающего "слово, мысль, понятие, рассуждение, закон"

Логика - наука, изучающая законы и формы мышления.

Математическая логика - это дисциплина, изучающая технику математических доказательств.

1. Кенин А.М., Печенкина Н.С., IBM PC для пользователей или как научится работать на компьютере.- Екатеринбург: АРД ЛТД, 1997

2. Шафрин Ю., Основы компьютерной технологии.- М.: АБФ, 1997

Примечаний нет.

2000-2024 © Copyright «DipMaster-Shop.ru»