- Преобразование булевой формулы
Добавлена 07.06.2010 17:22
Для преобразований из булевой формулы в форму, состоящую из записей первого и второго уровней, используется следующий порядок.
- Связь между записями первого и второго уровня
Добавлена 31.05.2010 10:09
При задании пустого множества "[свойство1,свойство2]=0" такая запись равнозначна записи "[свойство1]=0 И [свойство2]=0"
- Упорядоченные свойства
Добавлена 30.05.2010 16:23
При задании множества по умолчанию подразумевается, что указывается размер задаваемого множества. Однако программа построена так, что вычислять можно любую функцию от задаваемого множества – лишь бы эту функцию можно было распознать при синтаксическом разборе.
- Кванторы существования и всеобщности
Добавлена 29.05.2010 21:36
Для облегчения записи условий задачи используются также символы, аналогичные кванторам существования и всеобщности в логике предикатов.
- Формирование условий задачи
Добавлена 18.05.2010 15:33
Для описания ситуации должны быть использованы слова. Так как программа "не знает" правил склонения и спряжения, то все одинаковые по значению слова должны быть и написаны одинаково.
- Входные и выходные данные
Добавлена 14.05.2010 15:50:25
Как и любая компьютерная программа, данная программа обрабатывает входные данные и выводит результат в виде выходных данных.
- Структура фразы
Добавлена 03.05.2010 14:41:43
Так называемые фразы – это утверждения, которые задают некоторый объект (или объекты) в координатном пространстве слов.
- Примеры решения задач
Добавлена 17.04.2010 20:30:47
Примеры задания входных данных для конкретных задач
- Допущения и условия для работы программы
Добавлена 16.04.2010 13:15:10
При наличии набора условий некоторой ситуации обязательного "вывода" как такового из этих условий, или предпосылок, не существует. Из этих условий выводы можно делать любые – лишь бы они не противоречили условиям задачи. То есть, на любой поставленный вопрос можно получить ответ, согласующийся с заданными условиями задачи.