СодержаниеПлан:
Введение 4
1. Алгебра высказываний логических функций 5
2. Анализ логических функций 7
2.1 Дизъюнкция и конъюнкция 7
2.2 Отрицание a 8
2.3 Прямая и обратная импликация, или функции следования 8
2.4 Сложение по модулю 2 и функции тождества 9
2.5 Функции Шеффера, Вебба и (стрелка Пирса) 10
2.6 Единичные функции и функции сохранения переменных 11
3. Алгебра логики и ее законы 12
Заключение 13
Список литературы 15ВведениеВведение
Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные древнегреческими мыслителями. Ос-новы формальной логики заложил Аристотель, который впервые отде-лил логические формы мышления (речи) от его содержания.
Логика – это наука о формах и способах мышления.
Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.
Мышление всегда осуществляется в каких-то формах. Основны-ми формами мышления являются понятие, суждение и умозаключение.
Понятие выделяет существенные признаки объекта, которые от-личают его от других объектов. Объекты, объединенные понятием, об-разуют некоторое множество. Понятие – это форма мышления, фикси-рующая основные, существенные признаки объекта.
Понятие имеет две стороны: содержание и объем. Содержание понятия составляет совокупность существенных признаков объекта. Чтобы раскрыть содержание понятия, следует найти признаки, необхо-димые и достаточные для выделения данного объекта из множества других объектов.
Свое понимание окружающего мира человек формулирует в форме высказываний (суждений, утверждений). Высказывание строит-ся на основе понятий и по форме является повествовательным предло-жением. Высказывания могут быть выражены не только с помощью ес-тественных языков, но и с помощью формальных языков. Об объектах можно судить верно или неверно, т.е. высказывание может быть ис-тинным или ложным. Истинным будет высказывание, в котором связь понятий правильно отражает свойства и отношения реальных вещей. Высказывание – это форма мышления, в которой что-либо утверждает-ся или отрицается о реальных предметах, их свойствах и отношениях между ними. Высказывание может быть либо истинно, либо ложно.
Умозаключения позволяют на основе известных фактов, выра-женных в форме суждений, получать заключение, т.е. новое знание. Примером умозаключений могут быть геометрические доказательства. Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суж-дение (вывод).
Цель данной работы проанализировать особенности построения логических функций, в информатике.ЛитератураСписок литературы
1. Гусева А.И. Учимся информатике: задачи и методы их решения – М.: Диалог-МИФИ, 1998
2. Карминский А.М., Нестеров П.В. Информатизация бизнеса – М.: Финансы и Статистика, 1997
3. Крутицкий Б. Организация делопроизводства и управления в офисе – СПб.: BHV – Санкт-Петербург, 1997
4. Купштейн В. Современные информационные технологии в делопроизводстве – СПб.: BHV – Санкт-Петербург, 1999
5. Угринович Н. Информатика и информационные технологии – М.: Лаборатория базовых з1наний, 2001
|
