公理化集合论机器证明系统
郁文生
本书共有5章,内容包括:基本Coq指令清单和预备知识,Morse-Kelley公理化集合论的形式化系统实现,选择公理及其等价命题的机器证明等.
წელი:
2020
გამომცემლობა:
科学出版社
ენა:
chinese
გვერდები:
293
ISBN 10:
703064039X
ISBN 13:
9787030640390
ფაილი:
PDF, 10.49 MB
IPFS:
,
chinese, 2020
Amazon 
Barnes & Noble 
Bookshop.org
გსურთ დაამატოთ წიგნის მაღაზია? დაგვიკავშირდით support@z-lib.do-ით
ფაილების კონვერტაცია
ძიების მეტი შედეგი
სხვა უპირატესობები 
საკვანძო ფრაზები
დაკავშირებული კოლექციები
