ヘルプ
ヘルプ

検索結果 10 件

WAIC and WBIC with R Stan : 100 exercises for building logic

WAIC and WBIC with R Stan : 100 exercises for building logic
紙図書
Joe SuzukiSpringer[2023]<MA211-D55>
国立国会図書館
  • 要約等...the essence of mathematical logic with this comprehensive textbook. This book focuses o......n criterion. This book expertly ......rough relevant mathematical problems while......e a data scientist looking to re......n Bayesian statistics, this accessible gui...... features of this indispensable book i......evels of expertise. 100 carefull...... selected exercises accompanied ......r seasoned statisticians. Detail......s grasp of the mathematical concepts prese......journey with this essential textbook and unlock...
  • 内容細目... Features of This Series Content......es 1.1 Frequentist Statistics 1.2 Bayesian Statistics 1.3 Asympt......the Posterior Distribution 1.4 M......C Bayesian Statistics? 1.6 What is ``Regularity'' 1.7 Why is Algebraic Geom......ure of Normal Distributions 4 Mathematical Preparation 4.......t Theorem 4.4 Fisher Information...... 5 Regular Statistical Models 5.......the Posterior Distribution 5.3 G...... and WBIC Exercises 54-66 7 Alge......the Posterior Distribution 8.3 P......rmative Prior Distribution Exercises 87-100 Appendix Bibliograph...
  • 件名Bayesian statistical decision theory R (C......orie de la décision bayésienne R (Langage de ...

World of computing : a primer companion for the digital age

World of computing : a primer companion for the digital age
紙図書
Gerard O'Regan.Springer[2018]<M154-B234>
国立国会図書館
  • 要約等"This engaging work provides a concise introduction ......, technology, history and societ......ation." -- Publisher.
  • 内容細目What is a computer? Fo...... computing Concise history of computi......algorithms Concise introduction to logic Human-...

Molecular robotics : an introduction

Molecular robotics : an introduction
紙図書
Satoshi Murata, editorSpringer[2022]<M131-D26>
国立国会図書館
  • 要約等In this book, research......cular robotics is related to man......cience, biochemistry, biophysics, polymer chemistry, nucleic acid chemistry, molecular ......'s-eye view. This book has been ......at such a book is essential for ....... The book consists of eight cha......ns, and social issues, and can also understand what is currently being done on the r...
  • 内容細目Intro Organization of this Book Foreword ...... Robotics! 1.1 What is a Molecular Ro......on DNA Strand Displacement Reaction 2.5.2 Mathematical Modeling of DN......2.8 Real-Time Visualization of S......8.4 Real-Time Visualization 2.8.......t System as a Distributed System...... Automata and Distributed Algorithms 3.3.5 From...

The Cambridge companion to Frege / edited by Michael Potter and Tom Ricketts.

The Cambridge companion to Frege / edited by Michael Potter and Tom Ricketts.
紙図書
Cambridge University Press2010.<HD91-B19>
国立国会図書館
  • 要約等...matician, and his work in philos......he course of this attempt he not......l logic. Frege is generally seen......losophy in English-speaking coun......ieth century. His work is studied today ...... just for its historical importa......cause many of his ideas are stil......a route into this lively area of......rovided by publisher.
  • 内容細目...Peter Sullivan What is a predicate? /......d Heck Frege's mathematical setting / Mark Wilson Frege a...
  • 一般注記...lated URL: Publisher description http: //catdir...

Wittgenstein, rules, grammar, and necessity : essays and exegesis of §§185-242 2nd, extensively rev. ed. (An analytical commentary on the Philosophical investigations ; v. 2)

Wittgenstein, rules, grammar, and necessity : essays and exegesis of §§185-242 2nd, extensively rev. ed. (An analytical commentary on the Philosophical investigations ; v. 2)
紙図書
G.P. Baker & P.M.S. Hacker.Wiley-Blackwell2009.<HD31-B3>
国立国会図書館
  • 内容細目...ematics Hidden isomorphism A common meth......n to the exegesis Rules and gram......e morals Exegesis 185-8 Accord w......ammar Further misunderstandings Exegesis 189-202 Follow......k Private linguists and private linguists: Robinson Cr......oe sails again Is a language nec......n and monolinguists Private lang......anguages Exegesis 203-37 Agreeme...... actions Exegesis 238-42 Grammar......y propositions What necessary trut......Certainty Surprise Discoveries and co......cs Conventionalism.
  • 件名...1951. Philosophische Untersuchungen. Philosophy...

Living beyond data : toward sustainable value creation (Intelligent systems reference library ; volume 230)

Living beyond data : toward sustainable value creation (Intelligent systems reference library ; volume 230)
紙図書
Yukio Ohsawa, editorSpringer[2023]<M121-D60>
国立国会図書館
  • 内容細目...nications for Discovering Data U......Utilities 1.4 Discussion: Featur......ruals Create Epistemological Val......tic and Transepistemic Abduction......2 Development History of Living ......troduction 5.2 What Is Interpretable ......bility 5.4 Key Issues of Explain......Predicting Sepsis in ICU Patient......uction 6.2 Sepsis Prediction 6.2......2 GAMs for Sepsis Prediction 6.2......dentifying Sepsis 6.3.3 Data Ext.......2 Model Comparison 6.5.3 Focus:......M Results 6.6 Discussion 6.6.1 I......igned Data in Discovery Processe......mples for Our Discussion 7.2.1 Discovering Intere...... 7.3.2 Hypothesis Validation or Hypothesis Gene...

What is mathematical logic? : pbk

What is mathematical logic? : pbk
紙図書
J.N. Crossley ... [et al.]Dover Publications1990
全国の図書館
  • 件名Logic, Symbolic and mathematical
  • 件名（識別子）Logic, Symbolic and mathematical
  • 一般注記...work first published by the Oxford University P...

What is mathematical logic ?

What is mathematical logic ?
紙図書
J.N. Crossley ... [et al.]Oxford University Press1972
全国の図書館
  • 件名Mathematical logic Logic, Symbolic and mathematical
  • 件名（識別子）Mathematical logic Logic, Symbolic and mathematical

What is mathematical logic? : pbk

What is mathematical logic? : pbk
紙図書
J.N. Crossley ... [et al.]Oxford University Press1972
全国の図書館
  • 件名Logic, Symbolic and mathematical Logique symbolique et mathéma...
  • 件名（識別子）Logic, Symbolic and mathematical Logique symbolique et mathéma...

Hermann Dishkant. The first order predicate calculus based on the logic of quantum mechanics. Reports on mathematical logic, no. 3 (1974), pp. 9–17. - G. N. Georgacarakos. Orthomodularity and relevance. Journal of philosophical logic, vol. 8 (1979), pp. 415–432. - G. N. Georgacarakos. Equationally definable implication algebras for orthomodular lattices. Studia logica, vol. 39 (1980), pp. 5–18. - R. J. Greechie and S. P. Gudder. Is a quantum logic a logic?Helvetica physica acta, vol. 44 (1971), pp. 238–240. - Gary M. Hardegree. The conditional in abstract and concrete quantum logic. The logico-algehraic approach to quantum mechanics, volume II, Contemporary consolidation, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–108. - Gary M. Hardegree. Material implication in orthomodular (and Boolean) lattices. Notre Dame journal of formal logic, vol. 22 (1981), pp. 163–182. - J. M. Jauch and C. Piron. What is “quantum-logic”?Quanta, Essays in theoretical physics dedicated to Gregor Wentzel, edited by P. G. O. Freund, C. J. Goebel, and Y. Nambu, The University of Chicago Press, Chicago and London1970, pp. 166–181. - Jerzy Kotas. <i>An axiom system for the modular logic</i>. English with Polish and Russian summaries. Studia logica, vol. 21 (1967), pp. 17–38. - P. Mittelstaedt. <i>On the interpretation of the lattice of subspaces of the Hilbert space as a propositional calculus</i>. Zeitschrift für Naturforschung, vol. 27a no. 8–9 (1972), pp. 1358–1362. - J. Jay Zeman. <i>Generalized normal logic</i>. Journal of philosophical logic, vol. 7(1978), pp. 225–243.

Hermann Dishkant. The first order predicate calculus based on the logic of quantum mechanics. Reports on mathematical logic, no. 3 (1974), pp. 9–17. - G. N. Georgacarakos. Orthomodularity and relevance. Journal of philosophical logic, vol. 8 (1979), pp. 415–432. - G. N. Georgacarakos. Equationally definable implication algebras for orthomodular lattices. Studia logica, vol. 39 (1980), pp. 5–18. - R. J. Greechie and S. P. Gudder. Is a quantum logic a logic?Helvetica physica acta, vol. 44 (1971), pp. 238–240. - Gary M. Hardegree. The conditional in abstract and concrete quantum logic. The logico-algehraic approach to quantum mechanics, volume II, Contemporary consolidation, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–108. - Gary M. Hardegree. Material implication in orthomodular (and Boolean) lattices. Notre Dame journal of formal logic, vol. 22 (1981), pp. 163–182. - J. M. Jauch and C. Piron. What is “quantum-logic”?Quanta, Essays in theoretical physics dedicated to Gregor Wentzel, edited by P. G. O. Freund, C. J. Goebel, and Y. Nambu, The University of Chicago Press, Chicago and London1970, pp. 166–181. - Jerzy Kotas. <i>An axiom system for the modular logic</i>. English with Polish and Russian summaries. Studia logica, vol. 21 (1967), pp. 17–38. - P. Mittelstaedt. <i>On the interpretation of the lattice of subspaces of the Hilbert space as a propositional calculus</i>. Zeitschrift für Naturforschung, vol. 27a no. 8–9 (1972), pp. 1358–1362. - J. Jay Zeman. <i>Generalized normal logic</i>. Journal of philosophical logic, vol. 7(1978), pp. 225–243.
デジタル記事
1983-03Journal of Symbolic Logic48 1p.206-208
全国の図書館

検索結果は以上です。