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

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

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

郁文生

5.0 / 3.0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

本书共有5章,内容包括:基本Coq指令清单和预备知识,Morse-Kelley公理化集合论的形式化系统实现,选择公理及其等价命题的机器证明等.

Năm:

2020

Nhà xuát bản:

科学出版社

Ngôn ngữ:

chinese

Trang:

293

ISBN 10:

703064039X

ISBN 13:

9787030640390

File:

PDF, 10.49 MB

IPFS:

,

chinese, 2020

Tải vè (pdf, 10.49 MB)

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

张锦文 — 公理集合论导引

刘叙华，姜云飞编著 — 定理机器证明

高小山王定康裘宗燕杨宏著 — 方程求解与机器证明基于MMP的问题求解(数学机械化丛书)

吴文俊，吕学礼著 — 分角线相等的三角形初等几何机器证明问题

张寅生 — 证明方法与理论

张宏裕 — 公理化集合论(纠斜+书签)

吴文俊 — 吴文俊论数学机械化

吴文俊; 张景中; 杨路; 侯晓荣; 刘卓军 — 王者之路: 机器证明及其应用

www.astrando.it — Tavole delle effemeridi 1801-1850

it-ebooks — Software Foundations

叶阳，童华荣，董春旺著 — 工夫红茶加工技术与装备

Cleaver, G B; Faraggi, A E; Nanopoulos, Dimitri V — A Minimal Superstring Standard Model; 1, Flat Directions

Jared Blando, Robert Lazzaretti — Pathfinder Adventure Path #54: The Empty Throne (Jade Regent 6 of 6) Interactive Maps

— Таблица допусков и посадок

— Унифицированные накальные трансформаторы #3 (справ.данные, ж.Радио)

— Samolot bojowy BAe Harrier Sea Harrier

Christian Wohlfarth, B. Wohlfarth, M.D. Lechner — Surface Tension of Pure Liquids and Binary Liquid Mixtures

S.I. Sukhoruchkin, Z.N. Soroko (auth.), H. Schopper (eds.) — Tables of Excitations of Proton- and Neutron-Rich Unstable Nuclei

J. B. Pedley, R. D. Naylor, S. P. Kirby (auth.) — Thermochemical Data of Organic Compounds

Từ khóa thường sử dụng nhất