РЕФЕРАТ
Бахметьева Е.А. Основы математической логики: Курсовая работа/ДИТИ, №230100 – Димитровград, 2011. – 55 стр., рис. 56, табл. 7, библ. назв. 15, приложений 0.
Ключевые слова: Криптография, шифрование, Система счисления, Логические схемы, Логические операции, Таблица истинности.
Объект исследования - Информация и свойства информации.
Цель работы - Изучение графических возможностей пакета MS Excel. Научиться работать в СУБД MS Access. Изучение различных систем счисления и арифметических операций над ними. Модифицированный, дополнительный и обратный коды. Построение логических схем, изучение логических операций.
Выводы:
Научилась работать с графическими возможностями и таблицами в MS Excel. Разработала несколько запросов в СУБД MS Access. Изучила двоичную, восьмеричную и шестнадцатеричную систему счисления и арифметические операций над ними. Научилась складывать числа в модифицированных обратных и модифицированных дополнительных восьмиразрядных кодах.
Оглавление:
Оглавление: 2
Введение 2
Теоретическая часть: 4
Криптографические методы защиты информации 4
1. Криптография и шифрование 7
1.1 Что такое шифрование 7
1.2 Основные понятия и определения криптографии 9
1.3 Симметричные и асимметричные криптосистемы 12
1.4 Основные современные методы шифрования 13
2. Алгоритмы шифрования 14
Заключение по первому разделу: 17
Практическая часть: 18
Задание 1. 18
Задание 2. 24
Задание 3. 27
Задание 4. 38
Задание 5. 41
Задание 6. 42
Задание 7. 45
Задание 8. 46
Задание 9. 48
Задание 10. 50
Задание 11. 52
Заключение по второму разделу: 54
Выводы: 54
Список литературы 55
Введение
Слово логика означает совокупность правил, которым подчиняется процесс мышления. Сам термин "логика" происходит от древнегреческого logos, означающего "слово, мысль, понятие, рассуждение, закон". Формальная логика - наука о формах и законах мышления. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика как наука позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Основными формами мышления являются понятия, суждения и умозаключения. Понятие - это форма мышления, которая выделяет существенные признаки предмета или класса предметов, отличающие его от других. Например, компьютер, человек, ученики. Суждения - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предмета и которая может быть либо истинной, либо ложной. Языковой формой выражения суждения является повествовательное предложение. Вопросительные и побудительные предложения суждениями не являются. Суждения рассматриваются не с точки зрения их смысла и содержания, а только с точки зрения их истинности или ложности. Истинным будет суждение, в котором связь понятий правильно отражает свойства и отношения реальных объектов. "Дважды два равно четырем" - истинное суждение, а вот "Процессор предназначен для печати" - ложное. Суждения могут быть простыми и сложными. "Весна наступила, и грачи прилетели" - сложное суждение, состоящее из двух простых. Простые суждения (высказывания) выражают связь двух понятий. Сложные - состоят из нескольких простых суждений. Умозаключение - прием мышления, позволяющий на основе одного или нескольких суждений-посылок получить новое суждение (знание или вывод). Примерами умозаключений являются доказательства теорем в геометрии. Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Тогда и умозаключение будет истинным. Иначе можно прийти к ложному умозаключению. Математическая логика изучает вопросы применения математических методов для решения логических задач и построения логических схем, которые лежат в основе работы любого компьютера. Суждения в математической логике называют высказываниями илилогическими выражениями. Подобно тому, как для описания действий над переменными был разработан раздел математики алгебра, так и для обработки логических выражений в математической логике была создана алгебра высказываний, или алгебра логики.
