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

Шапиро С. И. Решение логических и игровых задач (логико-психологические этюды). — М.: Радио и связь, 1984.— 152 с, ил.— (Кибернетика)
Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др.


Для интересующихся проблемами кибернетики и вычислительной техники.
ОГЛАВЛЕНИЕ
К читателю………………………………………………..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

загрузка...
Поделиться ссылкой:
  • Добавить ВКонтакте заметку об этой странице
  • Мой Мир
  • Facebook
  • Twitter
  • LiveJournal
  • В закладки Google
  • Яндекс.Закладки
  • Сто закладок
  • Blogger
  • Блог Li.ру
  • Блог Я.ру
  • Одноклассники
  • RSS

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Наш сайт находят по фразам: