Posted by **happy4all** at Oct. 22, 2016

2014 | 132 Pages | ISBN: 1848901402 | PDF | 10 MB

Posted by **ChrisRedfield** at Nov. 20, 2015

Published: 2011-06-09 | ISBN: 9400717350, 9400736398 | PDF | 198 pages | 3.65 MB

Posted by **hill0** at Sept. 5, 2017

English | 16 July 2011 | ISBN: 0857298070 | 436 Pages | PDF | 2.4 MB

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

Posted by **arundhati** at Sept. 5, 2017

1987 | ISBN-10: 0521336929, 0521335027 | 128 pages | PDF | 4 MB

Posted by **AvaxGenius** at Aug. 14, 2017

English | PDF | 2010 | 2200 Pages | ISBN : 1402048432 | 19.42 MB

This handbook is the definitive compendium of the methods, results, and current initiatives in modern set theory in all its research directions. Set theory has entered its prime as an advanced and autonomous field of mathematics with foundational significance, and the expanse and variety of this handbook attests to the richness and sophistication of the subject.

Posted by **ChrisRedfield** at Aug. 4, 2017

Posted by **ksveta6** at Aug. 3, 2017

2016 | ISBN: 1107120322 | English | 262 pages | EPUB | 56 MB

Posted by **AvaxGenius** at July 23, 2017

English | PDF | 2009 | 330 Pages | ISBN : 3540899200 | 6.8 MB

Along the years, rough set theory has earned a well-deserved reputation as a sound methodology for dealing with imperfect knowledge in a simple though mathematically sound way. This edited volume aims at continue stressing the benefits of applying rough sets in many real-life situations while still keeping an eye on topological aspects of the theory as well as strengthening its linkage with other soft computing paradigms.

Posted by **roxul** at July 21, 2017

English | ISBN: 1107400481, 1107008174 | 2011 | 178 pages | PDF | 0.6 MB

Posted by **AvaxGenius** at July 17, 2017

In the age of Machine Intelligence and computerized decision making, we have to deal with subjective imprecision inherently associated with human perception and described in natural language and uncertainty captured in the form of randomness.