29-数理逻辑-谓词演算形式系统FC

Loading...
Do curso por Peking University
离散数学概论 Discrete Mathematics Generality
144 classificações
Peking University
144 classificações

Conheça os instrutores

  • 陈斌
    陈斌
    副教授
    北京大学

Explore nosso catálogo

Registre-se gratuitamente e obtenha recomendações, atualizações e ofertas personalizadas.