
- •Оглавление
- •Глава 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. Исчисление предикатов
- •Литература
- •Предметный указатель
1.3. Взаимосвязь систем счисления
Из недесятичных систем счисления с натуральным основанием наибольшее распространение в настоящее время получили системы счисления с основанием, равным двум, восьми и шестнадцати (однако в современной математике находят применение и другие системы счисления).
Современные ЭВМ используют двоичную и шестнадцатеричную системы счисления, а человек в повседневной практике пользуется десятичной системой счислений. Поэтому, чтобы глубоко понимать, как работает ЭВМ, необходимо знать алгоритмы перевода чисел из одной системы счисления в другую.
Для облегчения запоминания договоримся под d-ичной системой понимать десятичную, а подq-ичной любую другую систему счисления (алгоритмы работоспособны и без этого ограничения).
I. Алгоритм перевода целого числа Aq из q-ичной системы счисления в число Bd d-ичной системы
Присвоить результату цифру старшего разряда.
Если цифры закончились – stop.
Умножить текущее значение результата на «старое» основание qпо правиламd-арифметики.
Прибавить цифру следующего разряда и перейти на шаг 2.
Пример
1.Числозаменить равным ему десятичным числом.
II. Алгоритм перевода целого числа Ad из d-ичной системы счисления в число Bq q-ичной системы
Разделить «с остатком» по правилам d-ичной арифметики числоAdна числоq, записанное вd-ичной системе.
Если результат q, то повторить пункт 1.
Записать результат деления как цифру q-ичной системы. Это будет цифра старшего разряда искомого числаBq. Далее выписать последовательно остатки от делений, начиная с последнего, записанные как цифрыq-ичной системы.
Пример 2. Число 157 заменить равным ему числом в системе счисления с основаниема) q=4,б) q=16.
,
,
,
б)
157=916+13=9
16+D,
.
III. Алгоритм перевода правильных дробей из q-ичной системы счисления в d-ичную с вычислениями в d-ариф-метике
Цифру младшего разряда числа 0,Aqразделить с требуемой точностью на «старое» основаниеqпо правиламd-арифметики.
Если цифры закончились – stop.
Прибавить следующую цифру исходной дроби.
Текущее значение результата разделить на «старое» основание qпо правиламd-арифметики и перейти на шаг 2).
Пример
3.Представить в десятичной системе
счисления с точностью 4 знака после
запятой а);
б)
;
в)
.
а)
Ответ:
б)
Ответ:
в)
Ответ:
IV. Алгоритм перевода правильных дробей из d-ичной системы счисления в q-ичную с вычислениями в d-арифметике
Умножить по правилам d-арифметики исходную дробь 0,Adна «новое» основаниеq, записанное вd-ичной системе.
Целую часть полученного произведения считать цифрой старшего разряда искомой дроби.
Если дробная часть равна 0 или достигнута требуемая точность, то stop. Иначе, дробную часть полученного произведения умножить по правиламd‑арифметики на «новое» основаниеq, записанное вd-ичной системе и перейти на шаг 2.
Пример
4.
Получить двоичное представление дроби
а)
;
б)
.
а)
.
Ответ:
б)
Ответ:
V. Алгоритм перевода чисел из d-ичной системы счисления в dn-ичную систему счисления
1. Разбить целую часть числа справа налево, а дробную часть слева направо на группы по nцифр. При необходимости добавить слева и справа от числа незначащие нули.
2. Каждое получившееся n-значное число заменить цифройdn-ичной системы счисления.
Пример 5.
,