Тип: Контрольная работа |
Цена: 450 р. |
Страниц: 12 |
Формат: doc |
Год: 2012 |
Купить
Данная работа была успешно защищена, продается в таком виде, как есть. Изменения, а также индивидуальное исполнение возможны за дополнительную плату. Если качество купленной готовой работы с сайта не соответствует заявленному, мы ВЕРНЕМ ВАМ ДЕНЬГИ или ОБМЕНЯЕМ на другую готовую работу. Данная гарантия действует в течение 48 часов после покупки работы. Вы можете получить её по электронной почте (отправляется сразу после подтверждения оплаты в течение 3-х часов, в нерабочее время возможно увеличение интервала). Для получения нажмите кнопку «купить» выше.
Также работу можно получить в московском офисе, либо курьером в любом крупном городе России (стоимость услуги 600 руб.). Желаете просмотреть часть работы? Обращайтесь: ICQ 15555116, Skype dip-master, E-mail info @ dipmaster-shop.ru. Звоните: (495) 972-80-33, (495) 972-81-08, (495) 518-51-63, (495) 971-07-29, (495) 518-52-11, (495) 971-76-12, (495) 979-43-28.
Содержание
|
Введение 3
Основные понятия математической логики 4
Логические формулы 9
Заключение 12
Список литературы 13
|
Введение
|
История логики насчитывает около двух с половиной тысячелетий. Она берет начало от формальной логики Аристотеля. Дальнейшее развитие логики связано с именами Готфрида Вильгельма Лейбница и Джорджа Буля, которые разработали математический аппарат алгебры логики. Именно поэтому алгебру высказываний и называют булевой алгеброй. Математическая логика в XIX-XX вв. рассматривалась как базис для логического обоснования в различных областях математики, но в последние десятилетия математическая логика находит применения во многих областях, в частности, в кибернетике, теории ЭВМ, теории алгоритмов.
Термин "логика" происходит от древнегреческого logos, означающего "слово, мысль, понятие, рассуждение, закон"
Логика - наука, изучающая законы и формы мышления.
Математическая логика - это дисциплина, изучающая технику математических доказательств.
|
Список литературы
|
1. Кенин А.М., Печенкина Н.С., IBM PC для пользователей или как научится работать на компьютере.- Екатеринбург: АРД ЛТД, 1997
2. Шафрин Ю., Основы компьютерной технологии.- М.: АБФ, 1997
|
Примечания:
|
Примечаний нет.
|
|