
- •Оглавление
- •Глава 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. Исчисление предикатов
- •Литература
- •Предметный указатель
I. Системы счисления
Впервые числовые термины появились как качественные, а не как количественные. Они показывали лишь различие между одним и многими. Качественное разделение на единственное и множественное число и по сей день присутствует почти во всех разговорных языках.
Система счисления– это совокупность приемов обозначения (записи) чисел. Системы счисления подразделяют напозиционныеинепозиционные. В позиционной системе счисления значение каждой цифры в изображении числа зависит от ее положения в последовательности цифр, изображающих число.
1.1. Непозиционные системы счисления. Римская система счисления
Большинство непозиционных систем являлись аддитивными, т.е. числа в них образовывались путем сложения: 3 = 2+1, 4 = 2+2.
Примеры древних аддитивных непозиционных систем счисления
1. Камиларои считали: 1 = мал, 2 = булан, 3 = гулиба, 4 = булан-булан и так далее.
2. Унарная система счисления.Простейшая система счисления – зарубки или палочки. В этой системе счисления удобно складывать, но она очень громоздка. Сейчас используется для обучения счету.
3. Древнеегипетская иероглифическая система счисления (2,5 в. до н.э.):
|– единица,– десять,С– сотня.
4. Древнегреческая система счисления – числа, 1, 2, …, 9, 10, 20, …, 90, 100, 200… обозначались буквами с чертой сверху. Позже эта традиция через Византию пришла вдревнеславянскуюписьменность.
5. Древнеримская аддитивная система счисления: ключевые числа 1, 5, 10, 50, 100, 500, 1000 обозначалисьI,V,X,L,C,DиM. (V– одна пятерня,X– две пятерни,C–centum,D–demilleиM–mille).
Современная Римская системасчисления, отличается от древнеримской только тем, что не является чисто аддитивной.
Правило получения значения числа в современной Римской системе:если меньшая цифра стоит перед большей, то ее надо вычитать из общего значения числа, в противном случае прибавлять к общему значению числа.
Недостатками всех непозиционных систем являются громоздкость и сложность вычислений.
1.2. Позиционные системы счисления
Древнейшая позиционная система счисления была в Вавилоне. Ее возраст 2…3 тысячи лет.
Цифры:
– 1,
– 10. Основание: 60.
Первоначально употреблялась для записи денежных единиц (1 мина серебра = 60 шекелям, 1 талант = 60 минам). В этой системе счисления первоначально не было 0, поэтому числа 1, 60, 3600 выглядели одинаково. Кроме того, в этой системе не было знака, отделяющего дробную и целую части. Тем не менее эта система счисления дошла до наших дней – с ее помощью определяется время.
Система счисления индейцев племени майя:
Цифры: – 1,–– 5. Ключевые числа: 1, 20, 18·20,
18·202, …
Система счисления дошла до наших дней в виде градусной меры угла.
Принцип поместного значения цифр и их начертание зародились в Индии в VIв. В Европе они стали известны лишь вIXв. благодаря книге хорезмского математика Мухаммеда ибн Муса. Книга была написана на арабском языке и поэтому цифры называются арабскими. Иногда эти цифры называются индийскими. В России с индийской нумерацией познакомились только вXIIIв. ВXVIIв. вошла в употребление современная алгебраическая символика (знаки «=», «+», «–» и др.).
В дальнейшем будем рассматривать d-ичные позиционные системы счисления, основание которых –d, а цифры – натуральные числа от 0 доd–1.
Записать число в d-ичной системе счисления означает: представить это число либо в цифровой
,
либо в многочленной
формах.