Шапиро С.И. — Решение логических и игровых задач :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Шапиро С.И. — Решение логических и игровых задач

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Решение логических и игровых задач

Автор: Шапиро С.И.

Аннотация:

Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др.

Язык:

Рубрика: Computer science/Алгоритмы/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1984

Количество страниц: 152

Добавлена в каталог: 03.11.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$\pi$ -схемы      52
Автоматизация умственной работы      64
Алгебраическая n-арная операция      13
Алгебры высказываний, формула      8
Алгебры высказываний, формула тождественно истинная      35
Алгоритм      5
Алгоритм эвристический      145
Арифметизация в теоретико-множественных задачах      103
Арифметическое решение в булевых переменных      102
Бесконтактные логические элементы      53
Высказывание      7 9
Высказывание элементарное      7
Главная диагональ фигуры      139
Двоичная функция      8
Декартово (внешнее) произведение      9
Дизъюнкция (логическое сложение)      7 123
ДНФ (дизъюнктивная нормальная форма)      34
Задачи логические и игровые      5 59 132
Задачи логические, арифметические методы решения      99
Задачи логические, решаемые по индукции      129
Задачи логические, решение методом характеристических уравнений      72
Задачи на инвариантах      133
Задачи на приведение множеств в соответствие      63 69
Задачи о взаимно-однозначном соответствии      6 92
Задачи парадоксы      6 127
Задачи типа «кто есть кто»      69
Задачи типа «он думал, что я думала»      122
Задачи, наименование      61 63
Заключение      35
Изолированная точка      139
Импликация      7 23
Импликация и заключение импликации (их различие)      24
Истинность правильного высказывания (обоснование с позиций математической логики)      11
Кантора      111
Кантора Рассела — Цермело      110
Квантор всеобщности      55
Квантор существования      55
Кванторные предикаты      55
Кванторные предикаты, отрицание      56
Кванторы как обобщение логических связок      56
КИФ (конъюнктивная нормальная форма)      34
Код понятия      111
Конъюнкция (логическое умножение)      7
КС (контактные схемы)      47
Логическая сумма      7
Логические парадоксы (антиномии)      107
Логические связки      7
Логические следствия формулы      38

Логические элементы      52
Логических функций арифметические модели      99
Логическое умножение      7
ЛПК (логико-психологические координаты) понятий      60
МДФ (минимальная дизъюнктивная форма)      48
Метод итерационного приближения к выигрышу      142
Метод характеристических уравнений      6 102
Минимизациочная карта КС      49
Минимизация расстояния по цели      147
Множественного проектирования правило      67 69
Множественной экстраполяции правило      67
Мостиковые схемы      52
Нормальные совершенные      40
Нормальные формы      34 44
Определения непредикативные      131
Отрезок параллельно смешенный      139
Отрицание      7
Парадокс Берри      112
Парадокс Греллинга      112
Парадокс, закономерности построения      113
Пифагора теорема      24
Поглощение в СДНФ      51
Подконъюнкция конъюнкции      45
Правило контропозиции      25
Предикаты (переменные высказывания)      9
Предикаты двуместные (бинарные)      9
Предикаты одноместные (свойства)      9
Предикаты трехместные (тернарные отношения)      9
Прилагательное гетерологическое (негетерологическое)      112
Принцип «двух Я»      117 126
Проверка формулы на тождественную истинность      35
Равносильные формулы      18
Ришарово число      111
Связанная переменная      55
СДНФ (совершенная дизъюнктивная нормальная форма)      40 44
Ситуация      146
СКИФ (совершенная конъюнктивная нормальная форма)      40 44
СКИФ и логические следствия      45
Склеивание по переменной      51
Сложные высказывания      7
Сумма      7 13
Счетчик четности      89
Таблица истинности      7 25
Ферма теорема      58
Формула алгебры высказываний      8 35
Формула выполнимая      35
Формула тождественная истинная (ложная)      35
Эквиваленция      7 123
Экстраполяция в плоскости      69

О проекте