検索結果 33 件
紙記事
国立国会図書館全国の図書館
- 並列タイトル等（連結）On the correlation of some mathematical indicators of difficulty level of Sudoku puzzles in terms of Boolean Groebner bases
- 並列タイトル等On the correlation of some mathematical indicators of difficulty level of Sudoku puzzles in terms of Boolean Groebner bases
紙図書
国立国会図書館全国の図書館
- 内容細目...rphic families of rational maps ......̧ois Berteloot The complex Monge-......i Applications of pluripotential theory to algebraic geometry / Jea......Pluripotential theory and Monge-Ampère foliatio...
- 件名Pluripotential theory--Congresses. Monge-Ampère...
- 一般注記Papers presented at the 2011 C.I.M.E. Summer School.
紙図書
国立国会図書館
- 内容細目Scientific Thinking What Is Mathematics? The Erlangen Program Mathematics and Ideologies The Unity of Mathematics A Glimpse into Algebraic Geometry and A......h Alexander Grothendieck Structures The Computer and the Brain Mathematical Texts H......nors Infinity: The Smoke Screen of the Gods Foundations Structures and......ring's Apple Mathematical Inventi......chology and Aesthetics The Circle Theorem and an Inf......rinth Mistake! The Smile of Mona Lisa Tinkering and the Construction of Mathematical Theories The Strategy of Mathematical Invention Mathematical Physics......rgent Behavior The Beauty of Mathematics.
- 件名Mathematics -- Philosophy. Mathematicians -- Psychology. Wisku...
- 一般注記Related URL: Table of contents only http: //www.loc...
紙図書
国立国会図書館
- 内容細目Differential calculus of vector fields ......erential forms Foundations of field theory Electromagn......uations Models of electromagnetic induction in the Earth Electrom......dia Principles of ill-posed inve......tic properties of rocks and mine......nd measurement of electromagneti......tic methods in the frequency and ......netic methods Other platforms, other methodologies Algebra of differential forms Calculus of differential forms Mathematical notations Definition of fields and uni...... operators and their matrices.
紙図書
国立国会図書館
- 目次・記事CONTENTS PREFACE TO THE FIRST EDITION/......VII PREFACE TO THE SECOND EDITION......aries/ 9 §0．2． Algebraic structures/ 10......3． First order theories, models, ......23 §0．6． Rings of quotients. Boo......n. Solvability of linear systems......9． Probability theory/ 44 §0．10． ...... BOOLE'S LOGIC OF CLASS TERMS/ 6......ssay/ 66 §1．2． The basic principl...... §1．3． Symbols of Logic and "operations of the mind". The fundamental la......oole's algebra of ＋, ー, ×, 0, 1/......．6． Principles of symbolical rea......on. Perfection of method/ 104 §1．10． Treatment of "some". Aristo...... FORMALIZATION OF BOOLE'S LOGIC/ 135 §2．1． The ...
- 件名記号論理学. ブール[Boole]代数. 確率論. Algebraic logic. Algebra, Boolean. Prob...
- 著者標目Hailperin, Theodore.
紙図書
国立国会図書館
紙図書
国立国会図書館
- 件名Computer software -- Development -- Mathematics -- Congresses. Trees (Graph theory) -- Congresses. Algebra --...
- タイトル標目... Conference on Theory and Practice of Software Developme......y) Proceedings of the International ...... Conference on Theory and Practice of Software Development (TAPSOFT) , Berlin, March 25-29, 1985...
紙図書
国立国会図書館
- 件名Proof theory. Categories (Mathematics) Combinatory logic.
紙図書
国立国会図書館
紙図書
国立国会図書館
- 件名Algebraic logic. Algebra, Boolean. Prob...
- 著者標目Hailperin, Theodore.
紙図書
国立国会図書館
- 件名Algebraic logic. Logica Matematica.
紙図書
国立国会図書館
- 件名Algebraic logic. Proof theory.
紙図書
国立国会図書館
- 件名Algebra, Abstract. Mathematics. Model theory. Logic, Symbolic and mathematical. Mathematical models.
- 一般注記First ed. written to replace the author's book On the metamathematics of algebra, origi......t ed. based on the author's thesis, University of London.
- 並列タイトル等（連結）Model theory Metamathematics of algebra
紙図書
全国の図書館
- 件名Ordered algebraic structures -- Congresses
- 件名（識別子）Ordered algebraic structures -- Congresses
- 関連情報Mathematics and its applications
紙図書
国立国会図書館
- 件名Metamathematics. Model theory. Algebra.
紙図書
全国の図書館
- 著者標目...ikai. Division of Mathematics. International Symposium Kato...
紙図書
全国の図書館
- 著者標目Taniguchi Kōgyō Shōreikai. Division of Mathematics. International Symposium
紙図書
国立国会図書館全国の図書館
- 件名Algebra, Abstract. Metamathematics. Model theory.
- 一般注記Based on the author's thesis, University of London.
- 関連情報Studies in logic and the foundations of mathematics
紙図書
全国の図書館
- 件名C*-algebras -- Congresses Von Neumann algebras -- Congresses Mathematical physics -- Congresses
- 件名（識別子）C*-algebras -- Congresses Von Neumann algebras -- Congresses Mathematical physics -- Congresses
- 一般注記Proceedings of the Summer Confere......Algebras and Mathematical Physics in honor of the 60th birthdays of Profs. H.-J. Borchers, N.M. Hugenh...