公理化集合论机器证明系统

  • Main
  • 公理化集合论机器证明系统

公理化集合论机器证明系统

郁文生
5.0 / 3.0
0 comments
ఈ పుస్తకం ఎంతగా నచ్చింది?
దింపుకొన్న ఫైల్ నాణ్యత ఏమిటి?
పుస్తక నాణ్యత అంచనా వేయడాలనుకుంటే దీన్ని దింపుకోండి
దింపుకొన్న ఫైళ్ళ నాణ్యత ఏమిటి?
本书共有5章,内容包括:基本Coq指令清单和预备知识,Morse-Kelley公理化集合论的形式化系统实现,选择公理及其等价命题的机器证明等.
సంవత్సరం:
2020
ప్రచురణకర్త:
科学出版社
భాష:
chinese
పేజీల సంఖ్య:
293
ISBN 10:
703064039X
ISBN 13:
9787030640390
ఫైల్:
PDF, 10.49 MB
IPFS:
CID , CID Blake2b
chinese, 2020
దింపుకోలు (pdf, 10.49 MB)
కి మార్పిడి జరుగుతూ ఉంది.
కి మార్పిడి విఫలమైంది!

కీలక పదబంధాలు