| Арифметика Пеано Арифметика Пеано — теория первого порядка с равенством, описывающая свойства натуральных чисел. ... |
26-10-2010 |  |
| Булева алгебра Булева алгебра — это непустое множество B с заданными на нем двуместными операциями ۸ ... |
22-10-2010 | |
| Колмогоровская сложность Колмогоровской сложностью или сложностью описания слова w (то есть конечной последовательности из ... |
22-10-2010 | |
| Континуум-гипотеза Континуум-гипотеза — это следующее утверждение: любое бесконечное подмножество континуума является ... |
22-10-2010 | |
| Элиминация кванторов Элиминация (или устранение) кванторов — это процесс нахождения, для всякой заданной формулы, другой ... |
22-10-2010 | |