стиками можуть бути буквосполучення та їх комбінації. Загальна схема криптосистеми з секретним ключем зображена на малюнку 3. Тут Х - відкритий текст, Y- шифр тексту, K - ключ шифру, R - рандомізують послідовність.
§5. Математична логіка в програмуванні
Функція одного аргументу - це правило, що ставить відповідність будь-якому значенню, який лежить в області зміни цього аргументу (яка буде і областю визначення цієї функції), іншу величину, лежачу в області значень функції.
Поняття функції було перенесено в мови програмування. У мові програмування, як правило, передбачений ряд вбудованих функцій, наприклад sin, cos, sqrt і т.д. Крім того, програміст має можливість визначати свої власні функції. Вони можуть працювати не тільки з числами, але і з різними типами даних, що включають зазвичай integer (ціле), real (речовий), boolean (булевское), character (строкове). Вони можуть також працювати зі структурами. У мовах Паскаль, Алгол=68 і ПЛ/1 є, наприклад, типи records (записи), arrays (масиви), lists (списки), files of records (файли, що складаються з записів), а значеннями функцій можуть бути покажчики цих структур. Все це погоджено з поняттям області визначення, поза якою функція не визначена. У мовах програмування ця область задана зазвичай зазначенням типу даних, який є деяким безліччю величин. Так, в Паскалі компілятор повинен стежити за тим, щоб ніяка функція не застосовувалася до величини невідповідного типу, яка могла б вийти за межі області визначення функції.
Функція багатьох аргументів. Тепер потрібно узагальнити визначення, щоб охопити функції багатьох аргументів. Для цього зберемо n аргументів на впорядкований набір, який будемо розглядати як один аргумент. Візьмемо функцію віднімання diff (xy). Трактується її як відображення пар lt; х, у gt; в цілі числа. У вигляді безлічі впорядкованих пар її можна записати наступним чином: diff={ lt; lt; 5,3 gt ;, 2 gt ;. lt; lt; 6,3 gt ;, 3 gt ;, lt; lt; 4,5 gt ;, - 1 gt; ...} Якщо б замість цього у нас була функція чотирьох аргументів h (x, y, z, w), то використовували б відображення, визначене на четвірках lt; x, y, z, w gt ;. Цей прийом використовується і в програмуванні. Якщо необхідно зменшити кількість аргументів процедури або функції (причому всі вони мають один і той же тип), то в Фортране можна записати ці значення в масив і передати як параметр цей масив, а не окремі значення. У більш загальному випадку (наприклад, в Паскалі), коли аргументам дозволяється мати різні типи, можна передати як параметр запис і зберігати значення у вигляді окремих компонент цього запису. Насправді набір, що складається з n елементів в математиці відповідає запису в програмуванні. Кожна з її компонент береться зі своєї окремої області, як і у випадку запису. Єдина відмінність полягає в тому, що компонента визначається своїм розташуванням (позицією), а не ім'ям. Реляційна модель даних працює з множинами впорядкованих наборів, які відповідають файлам записів, що зберігаються в машині. Також математична логіка використовується і в інших областях інформатики - це в розробці в області моделювання та автоматизації інтелектуальних процедур - напрямок так званого штучного інтелекту.
Висновок
Математична логіка немало сприяла бурхливому розвитку інформаційних технологій в XX столітті, але з її поля зору випало поняття судження raquo ;, яке з'явилося в логіці ще за часів Аристотеля і на якому, як на фундаменті, тримається логічна основа природної мови. Таке упущення аж ніяк не сприяло розвитку логічної культури суспільства і у багатьох навіть породило ілюзію, що комп'ютери здатні мислити не гірше самої людини. Багатьох навіть не бентежить та обставина, що на тлі загальної комп'ютеризації напередодні третього тисячоліття логічні безглуздості в межах самої науки (я вже не кажу про політику, законотворчій діяльності та про псевдонауку) зустрічаються навіть частіше, ніж в кінці XIX століття. І для того, щоб зрозуміти суть цих нісенітниць, немає необхідності звертатися до складних математичних структурам з багатомісними відносинами і рекурсивними функціями, які застосовуються в математичній логіці. Виявляється, для розуміння і аналізу цих нісенітниць цілком достатньо застосувати набагато простішу математичну структуру судження, яка не тільки не суперечить математичним основам сучасної логіки, але в чомусь доповнює і розширює їх.
Список використаної літератури
1.Ігошін, В.І. Математична логіка та теорія алгоритмів [Текст]/В.І. Ігошин.- М .: Академія, 2008. - 448 с .; з мул.
.Стяжкін, Н.І. Формування математичної логіки [Текст]/Н.І. Стяжкин.- М .: Наука, 196...
