МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

федеральное государственное автономное образовательное учреждение высшего профессионального образования

«Научный исследовательский ядерный университет «МИФИ»

Математический колледж НИЯУ МИФИ

Выпускная квалификационная работа

Тема: «Разработка приложения «Базовые логические операции»

Студент:___________________________________________________________

Руководитель проекта:_______________________________________________

Консультант по специальной части:____________________________________

Консультант по экономической части:__________________________________

Москва

2012

Содержание

1 Специальная часть 4

1.1 Задача 4

1.1.1 Постановка задачи 4

1.1.2 Описание математической модели 4

1.2 Технология разработки программы 8

1.2.1 Описание среды программирования 8

1.2.2 Входные и выходные данные 11

1.2.3 Структурное проектирование задачи 11

1.2.4 Методы решения задачи 12

1.2.5 Аномалии 16

1.2.6 Реализация защитного программирования 16

1.2.7 Оптимизация программы. 17

1.3 Отладка и тестирование программы 18

1.4 Анализ результатов решения 19

1.5 Инструкция пользователя (системные требования, инсталляция, инструкция пользователя) 20

2 Экономическая часть 23

Исходные данные 23

2.1 Расчет затрат на разработку программы 25

2.1.1 Материальные затраты 25

2.1.2 Заработная плата разработчиков 26

2.1.3 Расчет итоговой калькуляции проекта 29

2.2. Расчет коммерческой эффективности проекта от реализаци 30

2.2.1 Расчет экономической эффективности проекта 30

2.2.2 Расчет денежных потоков 32

2.2.3 Расчет основных показателей эффективности 36

2.2.4 Расчет уровня безубыточности 39

2.2.5 Вывод о коммерческой эффективности проекта 41

2.3. Расчет экономической эффективности применения программы в организации 42

2.3.1 Расчет денежных потоков 43

2.3.2 Расчет основных показателей эффективности 46

2.3.3 Вывод об экономической эффективности применения базы данных 49

3 Заключение 51

4 Литература 52

Приложение А 53

Приложение Б 55

Приложение В 59

Приложение Г 65

1 Специальная часть

1. Задача

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

Задача заключается в написании приложения «Решение базовых логических операций».

Данная организация программы в целом позволит:

• Создать базовые логические операции

• Сохранить базовые логические операции в файл и вывод в приложение Microsoft Word

• Получить студентам разные варианты базовых логических операций

• Проверить решение базовых логических операций и постановки оценки за правильность решения

• Записать полученную студентом оценку и вариант в файл

1.1.2 Описание математической модели

В алгебре логики, как и в обычной алгебре, вводится ряд операций. Связки И, ИЛИ и НЕ заменяются логическими операциями.

Конъюнкция — это логическое умножение.

Конъюнкция двух высказываний А и В соответствует союзу «И». Она обозначается символами /\ или & (амперсенд), или *.

Запись А ^ В читается как «А и В».

Пример:

Пусть суждение А = «Сегодня солнечный день», а суждение В = «Иван пошел купаться», тогда конъюнкция А ^ В есть суждение: Х = «Сегодня солнечный день, и Иван пошел купаться».

Конъюнкция двух высказываний истинна тогда и только тогда, когда истинны оба высказывания.

Таблица истинности конъюнкции двух суждений А и В такова:

Таблица истинности. Конъюнкция.

А	В	А ^ В
0	0	0
0	1	0
1	0	0
1	1	1

В программировании эту операцию обозначают «AND» (от английского «И»).

Дизъюнкция — это логическое сложение.

Дизъюнкция двух высказываний А и В соответствует союзу «ИЛИ». Она обозначается символами \/ или + .

Запись А V В читается как «А или В»

Пример:

Пусть суждение А = «Снег пойдет ночью», а суждение В = «Снег пойдет утром», тогда дизъюнкция A V В есть суждение: Х = «Снег пойдет ночью или утром».

Дизъюнкция двух высказываний ложна тогда и только тогда, когда ложны оба высказывания.

Таблица истинности дизъюнкции двух суждений А и В такова:

Таблица истинности. Дизъюнкция.

А	В	А V В
0	0	0
0	1	1
1	0	1
1	1	1

В программировании эту операцию обозначают «OR» (от английского «ИЛИ»).

Инверсия (отрицание) — это логическое не.

Говорят, что имея суждение А, можно образовать новое суждение, которое читается как «не А» или «неверно, что А»

Для обозначения отрицания суждения употребляется символ ¬ или – над переменной.

Запись ¬А читается как «не А».

Пример:

Пусть суждение А = «Сегодня идёт снег», тогда отрицанием будет (не А) А = «Сегодня не идёт снег».

Инверсия логической переменной истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна.

Для операции «инверсия» (или «отрицания») таблица истинности выглядит так:

Таблица истинности. Отрицание.

А	¬А
0	1
1	0

Это может быть также записано в виде:

0 = 1, 1 = 0

В программировании операцию отрицания обозначают «NOT» (от английского «не»).

Импликация — это логическое следование.

Импликация двух высказываний А и В соответствует союзу «ЕСЛИ…ТО». Она обозначается символом →

Запись А → В читается как «из А следует В»

Пример:

Пусть суждение А = «Завтра будет хорошая погода», а суждение В = «Я выйду на прогулку», тогда импликация А → В есть суждение: Х = «Если завтра будет хорошая погода, то я выйду на прогулку».

Импликация двух высказываний истинна всегда, кроме случая, если первое высказывание истинно, а второе ложно.

Таблица истинности импликации двух суждений А и В такова:

Таблица истинности. Импликация.

А	В	А → В
0	0	1
0	1	1
1	0	0
1	1	1

В программировании эту операцию обозначают «IMP».

Эквивалентность — это функция тождества.

Она обозначается символами ≡ или <=>. Выбираем обозначение А ≡ В. («тогда и только тогда»).

Запись А ≡ В читается как «А эквивалентно В».

Пример:

Эквивалентность двух высказываний истинна только в тех случаях, когда оба высказывания ложны или оба истинны.

Таблица истинности эквивалентности двух суждений А и В такова:

Таблица истинности. Эквивалентность.

А	В	А ≡ В
0	0	1
0	1	0
1	0	0
1	1	1

В программировании эту операцию обозначают «EQV».

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