реферат «Конструктивная математика»
Вид:реферат
Описание
( ( (В(( ( ( u( vC (u, v))( ( u( v( ( (B(( ( ( u( vC(u, v) ( C(u, v)), и сворачивания цепочек кванторов с помощью алгоритма выявления конструктивной задачи. Это даёт доказуемую в арифметике с транксфинитной ин
Скачать бесплатно [24 K]