Items related to [H1 genuine programming guidance of Martin-Lof type...
- PublisherNanjing University
- Publication date2000
- ISBN 10 7305038326
- ISBN 13 9787305038327
- BindingPaperback
- LanguageChinese
Buy New
View this item
US$ 57.00
Shipping:
US$ 15.00
From China to U.S.A.
Search results for [H1 genuine programming guidance of Martin-Lof type...
Stock Image
[H1 genuine programming guidance of Martin-Lof type theory.(Chinese Edition)
Seller: liu xing, Nanjing, JS, China
Seller rating 5 out of 5 stars
paperback. Condition: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Pub Date :2002-09-01 Pages: 2002 Publisher: Nanjing University Information title: Martin-Lof type theory program design guide original price: 24 yuan: Sweden] Bengt Nordstrom. Song FM Translation Publishing House: Nanjing University Publication Date : 2002-9-1ISBN: 9787305038327 Words: Page :2002-09-01 Edition: Binding: Folio: Product ID: 400105 Editor's Choice No executive summary of the book from the point of view of computational science describes the different types of (type. multi-and single type collection and the subset theory). read and as a graduate course materials for researchers interested in Computational Science Foundation. Contents 1 Introduction 1.1 type theory for program design the 1.2 construct mathematical 1.3 Type on different representation system 1.4 program logic implementation. Collections. propositions and specifications equivalent to 2.1 proposition as a collection of 2.2 proposition described as the specifications of the tasks and procedures expression between 3.9 two expressions and expressions defined combination define equality 3.1 role abstraction 3.3 3.2 3.4 Select 3.5 with a combination of the name segment 3.6 correlation 3.7 definition 3.8 with a related degree equality assumptions judgment 4.3 4.1 define the first part of the multi-collection 4. judgment in the form of semantic category judgment 4.2 with a premise with multiple premise assumptions judge. general rule 5.1 premise 5.2 5.5 5.4 collection rules as a collection of 5.3 equality rules alternative rules proposition enumerable collection 6.1 Wing false and empty set 6.2 single set of elements with true proposition 6.3 collection b001 7 collection of family the flute's plot 7.1 formal rules and its argument 7.2 Another original SARS form of 7.3 by collection normally defined $ 8. equality set equal to 8.1 connotations of sexual equality 9 8.2 Epitaxial equal 8.3 - collection element n natural number 10. flute's list of 11 two collections function plot 11.1 forms of rule 11.2 of epitaxial equal 12. two a collection of non-payment and 13 collection of family does not pay and 14 small collection of collection of (global) 14.1 Formal Rule 14.2 elimination rule 15. 15.1 of the well-ordered well-ordered summarized the definition of a collection of 16. general tree 16.1 formal rules 16.2 and well-ordered collection Constructor the 16.3 tree collection Constructor allograft 16.4 different tree collection of examples of the second part of a subset of 17 basic set theory in a subset of 18. the the subset theory 18.1 premise judge judgment 18.3 sub 18.2 assumption generally Rule 18.4 a subset theory set theory the proposition often $ 18.5 summed to form a separate subset 18.6 subset theory into a set of the fourth part of the example with a single type collection of the third part of a subset of the global operator 18.7 References No constants and their associated degrees Appendix a Appendix b operational semantics of introduction of: (Sweden) Bengt Nordstrom translator: Song Fangmin Digest No media recommendedFour Satisfaction guaranteed,or money back. Seller Inventory # FL056250
Quantity: 1 available