- •Оглавление
- •Глава 3. Логика высказываний 78
- •Глава 4. Логика предикатов 90
- •Введение
- •I. Системы счисления
- •1.1. Непозиционные системы счисления. Римская система счисления
- •1.2. Позиционные системы счисления
- •1.3. Взаимосвязь систем счисления
- •I. Алгоритм перевода целого числа Aq из q-ичной системы счисления в число Bd d-ичной системы
- •II. Алгоритм перевода целого числа Ad из d-ичной системы счисления в число Bq q-ичной системы
- •III. Алгоритм перевода правильных дробей из q-ичной системы счисления в d-ичную с вычислениями в d-ариф-метике
- •IV. Алгоритм перевода правильных дробей из d-ичной системы счисления в q-ичную с вычислениями в d-арифметике
- •V. Алгоритм перевода чисел из d-ичной системы счисления в dn-ичную систему счисления
- •VI. Алгоритм перевода чисел из dn-ичной системы счисления в d-ичную систему счисления.
- •1.4. Двоичная система счисления
- •1.4.1. Двоичная арифметика
- •1.4.3. Вычитание с использованием двоичного дополнения. Умножение
- •Алгоритм вычитания целых десятичных чисел
- •Алгоритм отыскания двоичного дополнения числа
- •Теория множеств
- •Глава 1. Множества
- •1.1. Основные определения
- •1.2. Основные операции теории множеств
- •Старшинство операций (операции даны по убыванию приоритетов)
- •1.4. Диаграммы Венна
- •1.5. Основные законы теории множеств
- •1.6. Декартово произведение и отношения
- •Глава 2. Бинарные отношения
- •2.1. Основные определения
- •Глава 3.Функции и операции
- •Примеры функций
- •Операции над функциями
- •Свойства бинарных операций
- •Глава 4.Алгебраические структуры
- •III. Математическая логика
- •Глава 1. Переключательные функции
- •1.1. Основные определения
- •Переключательные функции двух аргументов
- •1.2. Основные теоремы (эквивалентные соотношения) переключательных функций
- •Глава 2.Булева алгебра
- •2.1. Основные определения
- •Эквивалентные соотношения в булевой алгебре
- •2.2. Минимизация булевых функций
- •2.3. Аналитические методы нахождения мднф Метод Квайна
- •Формулы метода
- •Алгоритм метода
- •Метод Блейка
- •Формулы метода
- •Алгоритм метода
- •Сравнение методов Квайна и Блейка
- •Построение мднф из Сокр.Днф с помощью таблицы Квайна
- •Алгоритм получения fМднФс помощью таблицы Квайна
- •2.4. Графическая минимизация логических функций
- •Метод карт Карнапа
- •Алгоритм минимизации по карте Карнапа
- •2.5. Полнота систем булевых функций
- •Классы Поста
- •Полиномы Жегалкина
- •Глава 3.Логика высказываний
- •3.1. Основные понятия
- •3.2. Алгебра логики высказываний
- •3.3. Применение к естественному языку
- •Список наиболее часто встречающихся выражений, соответствующих логическим связкам
- •3.4. Исчисление высказываний (ив)
- •Глава 4.Логика предикатов
- •Определения кванторных высказываний
- •4.1. Алгебра логики предикатов
- •4.2. Выполнимость и общезначимость
- •4.3. Равносильность формул
- •Приведенные формулы
- •4.4. Применение логики предикатов к естественному языку
- •4.4.1. Суждения
- •Виды категорических суждений
- •4.4.2. Исчисление одноместных предикатов как исчисление классов. Теория категорических суждений и силлогизмов Аристотеля
- •Законы формальной логики Аристотеля:
- •4.4.3. Умозаключения
- •Наиболее распространенные схемы правильных дедуктивных рассуждений
- •4.4.4. Основные законы формальной логики. Логические основы аргументации
- •4.5. Исчисление предикатов
- •Литература
- •Предметный указатель
VI. Алгоритм перевода чисел из dn-ичной системы счисления в d-ичную систему счисления.
Каждую цифру искомого числа заменить n-разрядным числом в новой системе счисления.
Пример 6.
,
.
Последние три алгоритма имеют большое практическое значение. Обмен информацией между узлами и устройствами большинства ЭВМ осуществляется путем передачи командных слов, которые, как правило, являются словами в двоичном алфавите. Использование двухбуквенного (0 и 1) алфавита диктуется инженерными требованиями. Однако пользоваться словами, записанными в таком алфавите, из-за большой длины слов и своеобразной «зрительной однородности» текста человеку неудобно. Поэтому программисты и инженеры все «машинные слова» при обсуждении обычно заменяют эквивалентными числами, записанными в шестнадцатеричной системе.
1.4. Двоичная система счисления
Официальное рождение двоичной арифметики связывают с именем Г.В. Лейбница (1646–1716 гг.). Он в 1703 году опубликовал статью, в которой были рассмотрены правила выполнения всех арифметических операций над двоичными числами. Отметим, что Лейбниц не рекомендовал двоичную систему для практических вычислений, он считал ее полезной лишь при рассмотрении теоретических вопросов.
До начала тридцатых годов XXв. двоичная система счисления оставалась вне поля зрения прикладной математики. Потребность в создании надежных и простых по конструкции счетных механических устройств и удивительная простота выполнения действий над двоичными числами привели к более глубокому и активному изучению особенностей двоичной системы как системы, пригодной для аппаратурной реализации. Первые двоичные вычислительные механические машины были построены во Франции и Германии. Пионером в проектировании вычислительных устройств двоичного действия на электронно-ламповой основе является инженер Дж.В. Атанасов, болгарин по национальности, проживавший в США. Одновременно с ним (1937 г.) двоичную машину, но на релейной основе, спроектировал Дж.Р. Штибиц. В 1941 г. немецкий инженер Конрад Цуре построил сначала механическую, а затем и релейную двоичную вычислительную машину [3].
Утверждение двоичной арифметики в качестве общепринятой основы при конструировании ЭВМ с программным управлением состоялось под влиянием работы А.У. Беркса, Х.Х. Гольдсайна и Дж. фон Неймана о проекте первой ЭВМ с хранимой в памяти программой, написанной в 1946 г. В этой работе наиболее аргументированно обоснованы причины отказа от десятичной арифметики и переход к двоичной системе счисления как основе машинной арифметики.
1.4.1. Двоичная арифметика
Арифметика двоичной системы счисления основана на использовании таблиц сложения и умножения цифр:
+ |
0 |
1 |
|
0 |
1 | |
0 |
0 |
1 |
|
0 |
0 |
0 |
1 |
1 |
10 |
|
1 |
0 |
1 |
Действия над числами, как и в других позиционных системах счисления, осуществляются поразрядно с учетом приведенных выше таблиц:
Прежде всего отметим, что и вычитание, и деление в двоичной арифметике можно осуществить по общепринятым правилам, аналогично тому, как это делается в десятичной системе счисления.
Однако, и это очень важно для практики, особенности двоичной системы счисления позволяют создать специфические алгоритмы вычитания и деления двоичных чисел, наиболее подходящие для аппаратурной реализации.