РЕШАЕМ МАТЕМАТИКУ ВМЕСТЕ!
 
СТУДЕНТАМ:    Учебники     Решебники    Шпаргалки    Контрольные работы   Видео уроки

ШКОЛЬНИКАМ:  ГДЗ - 1 класс  2 класс  3 класс  4 класс  5 класс  6 класс  7 класс  8 класс  9 класс  10 класс  11 класс

Главная » Файлы » Учебные материалы » Математическая логика и теория алгоритмов
Шапиро С. И. Решение логических и игровых задач (логико-психологические этюды)

20.12.2011, 01:11
Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены
вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др.
Для интересующихся проблемами кибернетики и вычислительной техники.

ОГЛАВЛЕНИЕ

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





Размер файла: (2.27Mb)

Категория: Математическая логика и теория алгоритмов | Добавил: nikka
Просмотров: 3158 | Загрузок: 461 | Рейтинг: 5.0/1


Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]



ВЫБОР ПО КАТЕГОРИЯМ:

Аналитическая геометрия и алгебра [0]
Высшая алгебра [52]
История математики [55]
Математика для технарей [21]
Математика для экономистов, юристов и т.д.. [5]
Математическая логика и теория алгоритмов [40]
Теория вероятностей и мат. статистика [28]
Теория чисел [33]
Учебники по математике [46]



При полном или частичном использовании материалов
активная ссылка на портал VMATE.RU обязательна


Высшая математика онлайн - всё бесплатно, наш портал создан специально для студентов кому интересна высшая математика. У нас на портале возможно скачать бесплатно учебники по высшей математике, книги по математике или сделать заказ учебных пособий, скачать контрольные по высшей математике, заказать, задачники по высшей математики и решебники. Оставить запрос по предмету - аналитическая геометрия или задать вопрос - справочная по математике Заказать решение и т.д. Высшая математика онлайн - математический портал и здесь собраны шпаргалки по высшей математике и видео уроки. Добро пожаловать! Вход