Основы логики и логические операции

Автор работы: Пользователь скрыл имя, 18 Сентября 2012 в 15:24, курсовая работа

Описание работы

Итак, изучение логики развивает ясность и четкость мышления, способность предельно уточнять предмет мысли; внимательность; аккуратность, обстоятельность, убедительность в суждениях; умение абстрагироваться от конкретного содержания и сосредоточиться на структуре своей мысли. Основной целью является выяснить понятия форм мышления, логических величин, логических высказываний, логических операций.

Содержание работы

I. Глава. «Основы логики и логические операции»
1.1.Основы логики........................................................................................4 - 7
1.2.Логический язык.....................................................................................7 - 10
1.3.Логические операции и таблицы истинности......................................10 -13

II Глава. Практическая часть
2.1. Постановка задачи................................................................................ 14
2.1.1. Цель решения задачи………………………………………….14 .
2.1.2.Условие задачи…………………………………………………15-17
2.2. Компьютерная модель решения задачи…………………………...18
2.2.1. Информационная модель решения задачи…………………..18-19
2.2.2. Аналитическая модель решения задачи……………………..19-20
2.3. Технология решения задачи…………………………………………20-25
2.3.1. Результаты компьютерного эксперимента…………………...25-26
2.3.2. Анализ полученных результатов……………………………...27
III. Заключение..............................................................................................28 - 30

IV. Список литературы.................................................................................31

Файлы: 1 файл

курсовая работа ТОИ.doc

— 588.50 Кб (Скачать файл)

Сложное логическое выражение – логическое выражение, составленное из одного или нескольких простых (или сложных) логических выражений, связанных с помощью логических операций.

1.3. Логические операции и таблицы истинности.

A

B

С

1

1

1

1

0

0

0

1

0

0

0

0

C=A*B.

КОНЪЮНКЦИЯ (логическое умножение) - это новое сложное выражение будет истинным только тогда, когда истинны оба исходных простых выражения. Конъюнкция определяет соединение двух логических выражений с помощью союза И. В алгебре множеств конъюнкции соответствует операция пересечения множеств, т.е. множеству получившемуся в результате умножения множеств А и В соответствует множество, состоящее из элементов, принадлежащих одновременно двум множествам.

 

A

B

С

1

1

1

1

0

1

0

1

1

0

0

0

C= A+B.

ДИЗЪЮНКЦИЯ (логическое сложение) - это новое сложное выражение будет истинным тогда и только тогда, когда  истинно хотя бы одно из исходных (простых) выражений. Дизъюнкция определяет соединение двух логических выражений с помощью союза ИЛИ. В алгебре множеств дизъюнкции соответствует операция объединения множеств, т.е. множеству получившемуся в результате сложения множеств А и В соответствует множество, состоящее из элементов, принадлежащих либо множеству А, либо множеству В.

A

С(не  А)

1

1

1

0

 

ИНВЕРСИЯ (логическое отрицание) - если исходное выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное выражение ложно, то результат отрицания будет истинным. Данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО. В алгебре множеств логическому отрицанию соответствует операция дополнения до универсального множества, т.е. множеству получившемуся в результате отрицания множества соответствует множество, дополняющее его до универсального множества.

A

B

F

1

1

1

1

0

0

0

1

1

0

0

1

                                                                         

ИМПЛИКАЦИЯ (логическое следование) - связывает два простых

логических выражения, из которых первое является условием (А), а второе (В)– следствием из этого условия. Результатом ИМПЛИКАЦИИ является ЛОЖЬ только тогда, когда условие А истинно, а следствие В ложно. Обозначается символом "следовательно" и выражается словами ЕСЛИ … , ТО …

A

B

F

1

1

1

1

0

0

0

1

0

0

0

1

 

ЭКВИВАЛЕНТНОСТЬ (логическая равнозначность) - определяет результат сравнения двух простых логических выражений А и В. Результатом ЭКВИВАЛЕНТНОСТИ является новое логическое выражение, которое будет истинным тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны. Обозначается символом "эквивалентности".

 

II Глава. Практическая часть. ,(В – 16)

2.1.           Постановка задачи.

2.1.1.     Цель решения задачи.

Рассмотрим такую ситуацию. ООО «Модница» предоставляет услугу пошив женских платьев для розничной торговли. Необходимо рассчитать общую стоимость пошива планируемого выпуска изделий с учетом повышаю­щего коэффициента по каждому фасону и по всем фасонам в целом.

Расчёты будут проводиться с помощью ведомостей, в которых должны быть показатели, содержащие сведения о фасоне изделий, количестве изделий и повышающем коэффициенте за количе­ство усложняющих элементов (КП). Задача, которая будет решаться в приложении MS Excel, называется «Стоимость пошива планируемого выпуска изделий».

3.      Цель решения данной задачи: автоматизировать процесс начисления оплаты за выполнение пошива изделия.

 

 

 

 

 

 

 

 

2.1.2. Условие задачи

Входной оперативной информацией служат таблицы:

                  «Стоимость пошива одного изделия, руб ООО «Модница»» со следующими реквизитами: фасон, раскрой материала, сметывание деталей, машинная строчка деталей, стоимость пошива;

                  «Повышающий коэффициент за сложность пошива» со следующими реквизитами: фасон, повышающий коэффициент за количество усложняющих элементов (КП).

                  «Стоимость пошива планируемого выпуска изделий» со следующими реквизитами: номер изделия, фасон, количество изделий (шт), стоимость пошива одного изделия (руб), стоимость пошива планируемого выпуска (руб.), стоимость пошива с учетом КП, (руб.).(таблица 3)

В качестве входной информации используются документы: «Стоимость пошива одного изделия, руб ООО «Модница»» (таблица 1); «Повышающий коэффициент за сложность пошива» (таблица 2).

Стоимость пошива одного изделия, руб.

Фасон

Раскрой материала

Сметывание деталей

Машинная строчка деталей

Стоимость пошива

Облегающее платье

826

527

698

 

Платье с драпировками

1085

659

754

 

Платье с асимметрией

1112

629

786

 

Платье с воланами

784

521

683

 

Платье в стиле сафари

1326

718

856

 

Платье с пышной юбкой

959

598

695

 

Информация о работе Основы логики и логические операции