- Преобразование булевой формулы
Раздел 'Информация', категория 'Алгоритм решения'
Добавлена 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
Для облегчения записи условий задачи используются также символы, аналогичные кванторам существования и всеобщности в логике предикатов.
- Марина Цветаева. Свобода
Раздел 'Разное', категория 'Любимые стихи'
Добавлена 25.05.2010 19:24
Из строгого, стройного храма ты вышла на визг площадей...