Шапиро С. И. Решение логических и игровых задач (логико-психологические этюды) ОНЛАЙН


Для интересующихся проблемами кибернетики и вычислительной техники.
ОГЛАВЛЕНИЕ
К читателю………………………………………………..3
От автора……………………………………………………5
I. АЛГЕБРА ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ………………….7
1 . Высказывание, предикат…………………………7
2. Равносильные формулы алгебры высказываний…..18
3. Импликация…………………23
4. Нормальные формы. Тождественные формулы. Логические следствия………34
5. Совершенные нормальные формы………..40
6. Контактные схемы (КС)…………….47
7. Кванторные предикаты…………….55
Задачи второй части …………………………..61
I. МЕТОДЫ РЕШЕНИЯ ЛОГИЧЕСКИХ ЗАДАЧ………..63
1. Решение задач на приведение множеств в соответствие 63
2. Решение логических задач методом характеристических уравнений……72
3. Арифметические методы решения логических задач ……. 99
4. Задачи разных типов…………….104
5. Логические и игровые задачи, алгоритмы, решения … 132
Список литературы………………………………151
Предметный указатель……………….152



Читать онлайн
скачать бесплатно


Теги:
теория алгоритмов, Шапиро теория алгоритмов

Коментарі до Шапиро С. И. Решение логических и игровых задач (логико-психологические этюды) ОНЛАЙН