Methods of Theoretical

Methods of Theoretical Physics, Part I (Repost)  eBooks & eLearning

Posted by phidhahoogaya at June 8, 2011
Methods of Theoretical Physics, Part I (Repost)

Methods of Theoretical Physics, Part I
McGraw-Hill Science | June 1, 1953 | ISBN-10: 007043316X | 997 pages | DJVU | 12.19 MB

The classic text, still excellent, tho' somewhat dated. Well worth having because (a) the physical viewpoint is helpful for theorists and easier for experimentalists, (b) the older viewpoint is different from that of more modern texts, and still

Practical Methods of Optimization  eBooks & eLearning

Posted by step778 at May 15, 2018
Practical Methods of Optimization

R. Fletcher, "Practical Methods of Optimization"
2000 | pages: 451 | ISBN: 0471494631 | DJVU | 5,6 mb

Computational Methods of Feature Selection  eBooks & eLearning

Posted by step778 at May 24, 2018
Computational Methods of Feature Selection

Huan Liu, Hiroshi Motoda, "Computational Methods of Feature Selection"
2007 | pages: 411 | ISBN: 1584888784 | PDF | 3,1 mb
Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics (Repost)

Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics By Zoran Majkić
English | PDF(Repost),EPUB | 2014 | 528 Pages | ISBN : 331904155X | 14.39 MB

This book presents a novel approach to database concepts, describing a categorical logic for database schema mapping based on views, within a framework for database integration/exchange and peer-to-peer. Database mappings, database programming languages, and denotational and operational semantics are discussed in depth. An analysis method is also developed that combines techniques from second order logic, data modeling, co-algebras and functorial categorial semantics.

Methods of Cut-Elimination (Repost)  eBooks & eLearning

Posted by AvaxGenius at May 20, 2018
Methods of Cut-Elimination (Repost)

Methods of Cut-Elimination By Alexander Leitsch
English | PDF,EPUB | 2011 | 286 Pages | ISBN : 9400703198 | 8.94 MB

This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents several applications of CERES—to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.

Outline of Theoretical Psychology: Critical Investigations (Repost)  eBooks & eLearning

Posted by AvaxGenius at May 19, 2018
Outline of Theoretical Psychology: Critical Investigations (Repost)

Outline of Theoretical Psychology: Critical Investigations By Thomas Teo
English | PDF,EPUB | 2018 | 317 Pages | ISBN : 1137596503 | 3.42 MB

Outline of Theoretical Psychology discusses basic philosophical problems in the discipline and profession of psychology. The author addresses such topics as what it means to be human in psychology; how psychological knowledge is possible and what it consists of; the role of social justice in psychology; and how aesthetic experience could help us to understand the human condition.

Methods of Approximation Theory  eBooks & eLearning

Posted by step778 at May 16, 2018
Methods of Approximation Theory

A. I. Stepanets, "Methods of Approximation Theory"
2005 | pages: 938 | ISBN: 9067644277 | PDF | 3,2 mb

Outline of Theoretical Psychology: Critical Investigations  eBooks & eLearning

Posted by AvaxGenius at May 12, 2018
Outline of Theoretical Psychology: Critical Investigations

Outline of Theoretical Psychology: Critical Investigations By Thomas Teo
English | EPUB | 2018 | 317 Pages | ISBN : 1137596503 | 0.7 MB

Outline of Theoretical Psychology discusses basic philosophical problems in the discipline and profession of psychology. The author addresses such topics as what it means to be human in psychology; how psychological knowledge is possible and what it consists of; the role of social justice in psychology; and how aesthetic experience could help us to understand the human condition.

Quranic Studies: Sources and Methods of Scriptural Interpretation  eBooks & eLearning

Posted by step778 at May 11, 2018
Quranic Studies: Sources and Methods of Scriptural Interpretation

John Wansbrough, Andrew Rippin, "Quranic Studies: Sources and Methods of Scriptural Interpretation"
2004 | pages: 360 | ISBN: 1591022010 | PDF | 21,2 mb

Methods of Cut-Elimination  eBooks & eLearning

Posted by AvaxGenius at May 11, 2018
Methods of Cut-Elimination

Methods of Cut-Elimination By Alexander Leitsch
English | PDF,EPUB | 2011 | 286 Pages | ISBN : 9400703198 | 8.94 MB

This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents several applications of CERES—to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.