реферат «Конструктивная математика»

Вид:реферат

Описание

( ( (В(( ( ( u( vC (u, v))( ( u( v( ( (B(( ( ( u( vC(u, v) ( C(u, v)), и сворачивания цепочек кванторов с помощью алгоритма выявления конструктивной задачи. Это даёт доказуемую в арифметике с транксфинитной ин

Скачать бесплатно [24 K]