所有科目 数学 x 数理逻辑与数学基础 x
二级学科：
数学史(15135) 数理逻辑与数学基础(982) 数论(641) 代数学(5407) 代数几何学(295) 几何学(2097) 拓扑学(347) 数学分析(2357) 非标准分析(82) 函数论(580) 常微分方程(16) 偏微分方程(25) 积分方程(1) 泛函分析(553) 计算数学(416) 概率论(4262) 数理统计学(348) 应用统计数学(22) 运筹学(558) 组合数学(223) 离散数学(278) 模糊数学(46) 应用数学(2272)
¥ 1054
书评(0)
Gödel ’96:Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel’s Legacy
Petr Hájek / 2017-03-01 / Cambridge University Press
¥ 1223
书评(0)
Logic Colloquium ?95:Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9?18, 1995
Johann A. Makowsky / 2017-03-01 / Cambridge University Press
¥ 6363
书评(0)
Fuzzy Systems: Concepts, Methodologies, Tools, and Applications:Concepts, Methodologies, Tools, and Applications
Information Resources Management Association / 2017-02-22 / Information Science Publishing
¥ 841
书评(0)
Logic, Language, and Computation:11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Hansen / 2017-02-22 / Springer Berlin Heidelberg
¥ 822
书评(0)
A Bridge to Higher Mathematics
Valentin Deaconu and Donald C. Pfaff / 2016-12-05 / Chapman and Hall/CRC
¥ 961
书评(0)
Algebra and Computer Science
Delaram Kahrobaei; Bren Cavallo; David Garber / 2016-11-30 / American Mathematical Society (AMS)
¥ 202
书评(0)
Ifcolog Journal of Logics and Their Applications Volume 3, Number 4: Proof, Truth, Computation
Leitgeb Hannes(Guest Editor)Petrakis Iosef(Guest Editor)Schuster Peter(Guest Editor) / 2016-11-23 / College Publications
¥ 180
书评(0)
Category Theory in Context
Riehl, Emily / 2016-11-16 / Dover Publications
¥ 624
书评(0)
Handbook of Finite State Based Models and Applications
Wang, Jiacun(编辑) / 2016-11-16 / Chapman and Hall/CRC
¥ 535
书评(0)
BEGINNER’S FURTHER GUIDE TO MATHEMATICAL LOGIC, A
SMULLYAN RAYMOND M / 2016-11-11 / World Scientific Publishing
¥ 176
书评(0)
BEGINNER’S FURTHER GUIDE TO MATHEMATICAL LOGIC, A
SMULLYAN RAYMOND M / 2016-11-11 / World Scientific Publishing
¥ 1679
书评(0)
Recent Developments in the Philosophy of Science: EPSA13 Helsinki
Uskali Mäki, University of Helsinki, Helsinki, Finland; Ioannis Votsis, Heinrich-Heine University Duesseldorf , Duesseldorf, Germany; Stéphanie Ruphy, Pierre Mendés-France University, Grenoble, France / 2016-10-22 / Springer Berlin Heidelberg
¥ 1069
书评(0)
Numerical Algebra, Matrix Theory, Differential-Algebraic Equations and Control Theory:Festschrift in Honor of Volker Mehrmann
Peter Benner, Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg, Germany; Matthias Bollhöfer, TU Braunschweig, Institute Computational Mathematics, Braunschweig, Germany; Danie / 2016-10-17 / Springer Berlin Heidelberg
¥ 221
书评(0)
Numerical Analysis Using Sage
George A. Anastassiou The University of Memphis Memphis T Razvan A. Mezei Lenoir-Rhyne University Hickory NC USA / 2016-10-13 / Springer Berlin Heidelberg
¥ 507
书评(0)
IsoGeometric Analysis: A New Paradigm in the Numerical Approximation of PDEs:Cetraro, Italy 2012
Annalisa Buffa, IMATI - CNR , Pavia; Giancarlo Sangalli, Università di Pavia, Pavia, Italy / 2016-10-06 / Springer International Publishing
¥ 1054
书评(0)
Lectures on Infinitary Model Theory
David Marker / 2016-10-01 / Cambridge University Press
¥ 1334
书评(0)
Introduction to Coalgebra:Towards Mathematics of States and Observation
Bart Jacobs / 2016-10-01 / Cambridge University Press
¥ 929
书评(0)
Duality Theories for Boolean Algebras with Operators
Steven Givant, Mills College Department of Mathematics, Oakland, CA, USA / 2016-09-17 / Springer Berlin Heidelberg
¥ 807
书评(0)
Logical Modalities from Aristotle to Carnap:The Story of Necessity
Max Cresswell / 2016-09-15 / Cambridge University Press
¥ 1304
书评(0)
Advances in Applied Mathematics
Ali R. Ansari, , Kuwait / 2016-09-10 / Springer Berlin Heidelberg
¥ 442
书评(0)
Introduction to Mathematical Structures and Proofs
Larry J. Gerstein, University of California, Santa Barbara, Santa Barbara, CA, USA / 2016-08-23 / Springer New York
¥ 442
书评(0)
The Concept of Stability in Numerical Mathematics
Wolfgang Hackbusch Max-Planck-Institute for Mathematics in the Sciences Leipzig / 2016-08-23 / Springer Berlin Heidelberg
¥ 1584
书评(0)
Meshfree Methods for Partial Differential Equations VII
Michael Griebel, Universit鋞 Bonn, Bonn, Germany; Marc Alexander Schweitzer, Universit鋞 Bonn, Bonn, Germany / 2016-08-23 / Springer Berlin Heidelberg
¥ 1504
书评(0)
Logical Foundations of Mathematics and Computational Complexity:A Gentle Introduction
Pavel Pudlák ASCR Praha 1 / 2016-08-23 / Springer International Publishing
¥ 688
书评(0)
Mathematical and Numerical Methods for Partial Differential Equations:Applications for Engineering Sciences
Joël Chaskalovic, Institut Jean le Rond d’Alembert, University Pierre and Marie Curie, Paris, France / 2016-08-23 / Springer Berlin Heidelberg
¥ 442
书评(0)
Recent Developments in Discontinuous Galerkin Finite Element Methods for Partial Differential Equations:2012 John H Barrett Memorial Lectures
Xiaobing Feng The University of Tennessee Knoxville TN U Ohannes Karakashian The University of Tennessee Knoxville Yulong Xing The University of Tennessee Knoxville TN US / 2016-08-23 / Springer Berlin Heidelberg
¥ 727
书评(0)
Descriptive Set Theoretic Methods in Automata Theory:Decidability and Topological Complexity
Micha Skrzypczak, University of Warsaw , Warsaw / 2016-08-06 / Springer Berlin Heidelberg
¥ 955
书评(0)
Logic, Language, Information, and Computation:23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Jouko V滗n鋘en, Univ of Helsinki Dept of Mathematics & Statistics, Helsinki; 舠a Hirvonen, University of Helsinki , Helsinki, Finland; Ruy de Queiroz, Centro de Inform醫ica , Recife / 2016-08-06 / Springer Berlin Heidelberg
¥ 831
书评(0)
Formal Grammar:20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
Annie Foret, University of Rennes 1 , Rennes, France; Glyn Morrill, Universitat Polit鑓nica de Catalunya , Barcelona, Spain; Reinhard Muskens, Tilburg University , Tilburg, The Netherlands; Rainer Oss / 2016-08-06 / Springer Berlin Heidelberg
¥ 312
书评(0)
Homotopical Topology
Fomenko / 2016-07-05 / Springer Berlin Heidelberg
¥ 458
书评(0)
Set Theory:A First Course
Daniel W. Cunningham / 2016-07-01 / Cambridge University Press
¥ 331
书评(0)
Argumentation and Reasoned Action. Volume 1
 / 2016-06-01 / College Publications
¥ 382
书评(0)
Argumentation and Reasoned Action. Volume II
 / 2016-06-01 / College Publications
¥ 1515
书评(0)
Problem Solving and Uncertainty Modeling through Optimization and Soft Computing Applications
Pratiksha Saxena / 2016-05-30 / IGI Publishing
¥ 155
书评(0)
MATHEMATICS THAT POWER OUR WORLD, THE:HOW IS IT MADE?
KHOURY JOSEPH & LAMOTHE GILLES / 2016-05-13 / World Scientific Publishing
¥ 304
书评(0)
MATHEMATICS THAT POWER OUR WORLD, THE:HOW IS IT MADE?
KHOURY JOSEPH & LAMOTHE GILLES / 2016-05-13 / World Scientific Publishing
¥ 242
书评(0)
Soyons Logiques. Let’s Be Logical
 / 2016-04-27 / College Publications
¥ 586
书评(0)
Two Applications of Logic to Mathematics
Gaisi Takeuti / 2016-04-19 / Princeton University Press
¥ 294
书评(0)
Liber Amicorum Alberti. a Tribute to Albert Visser
 / 2016-03-22 / College Publications
¥ 788
书评(0)
Quantum Proofs
Vidick, Thomas;Watrous, John / 2016-03-16 / Now Publishers
¥ 1223
书评(0)
Logic and Algebraic Structures in Quantum Computing
Jennifer Chubb / 2016-03-01 / Cambridge University Press
¥ 1502
书评(0)
Ordinal Definability and Recursion Theory:The Cabal Seminar, Volume III
Alexander S. Kechris / 2016-01-01 / Cambridge University Press
¥ 442
书评(0)
Lectures on Functor Homology
Franjou / 2015-12-15 / Birkhaeuser Verlag Basel
¥ 515
书评(0)
A Concise Introduction to Pure Mathematics, Fourth Edition
Martin Liebeck / 2015-11-03 / Chapman and Hall/CRC
¥ 242
书评(0)
Conceptual Clarifications. Tributes to Patrick Suppes (1922-2014)
 / 2015-10-01 / College Publications
¥ 676
书评(0)
Proofs and Refutations:The Logic of Mathematical Discovery
Imre Lakatos / 2015-10-01 / Cambridge University Press
¥ 164
书评(0)
Proofs and Refutations:The Logic of Mathematical Discovery
Imre Lakatos / 2015-10-01 / Cambridge University Press
¥ 442
书评(0)
Logics in Computer Science
Mogavero, Fabio / 2015-08-15 / Atlantis Press
1 2 3 4 5 6 … 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

中国国际图书贸易集团公司版权所有

地址：中国·北京市海淀区车公庄西路35号 邮编：100048

电话(对公采购及书单推荐)：010-68433105、010-68433213

© 2015-2020 Readlink.com, All Rights Reserved 京ICP备11010390号-4