検索結果 811 件

図書
Marcel DanesiNova Science Publishers, Inc.[2020]<KS139-D98>
国立国会図書館
  • 要約等...ldren's novels and poems. Through...... riddles, math and logic games, and a host of othe......, periodicals, and books. One of ......r Vanity Fair, and is still one o......in his novels, and in his many ot......s the blend of logic and imagination th...... math puzzles, logic games, and a host of other puzzle genres...
  • 内容細目...les, anagrams, and acrostics The doublet Logic Mathematics Miscellaneous Nonsense
  • 件名...898--Criticism and interpretation......898--Knowledge and learning Games in literature Logic in literature Puzzles Literar...
図書
Vasco Brattka, Peter Hertling, editorsSpringer[2021]<MA41-D7>
国立国会図書館全国の図書館
  • 要約等... computability and complexity in ......h real numbers and real number fu......re computable, and which mathemat......, algorithmic randomness, computa......ems, fractals, and analog computers, up to logic, descriptive s......onstructivism, and reverse mathematics. In recent dec......s of analysis, and researchers ha...... computability and complexity que......sing from real and complex analys......onal analysis, and the theory of ......measure theory and topology. This......comprehensive handbook contains 1......ity, dynamics, and randomness; and constructivity, logic, and descriptive co......y. Researchers and graduate students in the area...
  • ジャンル・形式用語Handbooks and manuals
  • 件名Computable functions--Handbooks, manuals, etc Computable...
図書
Joe SuzukiSpringer[2023]<MA211-D55>
国立国会図書館
  • 要約等...chine learning and data science b......f mathematical logic with this comp......ion criterion, and the widely app......lso providing hands-on experience......ogramming in R and Stan. Whether ......clude: A clear and self-contained......ease of understanding for readers......their progress and comprehension.......ource programs and Stan codes tha......ore accessible and less daunting.......chine learning and data science j......ntial textbook and unlock the ful......ential of WAIC and WBIC today!
  • 内容細目...5 Why are WAIC and WBIC Bayesian ......ary for Understanding WAIC and WBIC? 1.8 Hiro......4.1 Elementary Mathematics 4.1.1 Matrices and Eigenvalues 4......., Closed Sets, and Compact Sets 4...... Value Theorem and Taylor Expansi...... Large Numbers and Central Limit Theorem 4.3.1 Random Variables 4.......alization Loss and Empirical Loss......iteria 6.2 AIC and TIC 6.3 WAIC 6......e Energy, BIC, and WBIC Exercises......Algebraic Sets and Analytical Set......ingular Points and Their Resoluti......Methods 9 WBIC and Its Application to Machine Le...
図書
by C.A. Storey.Brill[2021]<GE3-P176>
国立国会図書館全国の図書館
  • 要約等...mes of authors and the titles of those of their ...
  • 内容細目...ture, history, and biography / C.......hy, additions, and corrections / ....... Storey v. 2. Mathematics ; Weights, and measures ; Astronomy, and astrology ; Ge......Encyclopedias, and miscellanies ; Arts and crafts, scienc......mar ; Prosody, and poetics ; Rhetoric, riddles, and chronograms ; ......nskrit, Hindi, and other Indian l......; Philosophy ; Logic / C.A. Storey v. 5. Poetry of...
  • 関連情報Handbuch der Orientalistik = Handbook of Oriental studies
図書
Marilda Sotomayor, David Pérez-Castrillo, Filippo Castiglione, editorsSpringer Nature[2020]<MA216-D8>
国立国会図書館全国の図書館
  • 要約等... of Complexity and Systems Scienc......he cooperative and non-cooperativ......hn von Neumann and Oskar Morgenst......heory of Games and Economic Behav......ife situations and have applicati......al psychology, and law among othe......ome properties and behavioral rules, and then to simula......ling paradigm, and the broad spec......d, a clear cut and widely accepte......, interactions and so on, is stil......ss the epistemological issues related to this emer...
  • 内容細目...odels Networks and Stability Market Games and Clubs Voting V......es Game Theory and Strategic Comp......ted Equilibria and Communication ......Based Modeling and Simulation Age......Based Modeling and Simulation, In......Based Modeling and Simulation Embodied and Situated Agent......Based Modeling and Artificial Lif......puter Graphics and Games, Agent B...... Formalism for Logic and Geometry of Ag......Based Modeling and Computer
  • 一般注記"A volume in the Encyclopedia of complexity and systems science, second editi...
図書
Dale Jacquette.Cambridge University Press2019.<HD91-B40>
国立国会図書館全国の図書館
  • 要約等...ntributions to logic, philosophical......y of language, and philosophy of mathematics set the agenda......rists in these and related areas.......uette's lively and incisive biogr......ted his 'ideal logical language', h......ithmetik (1893 and 1903), and his complex re......luding Husserl and especially Rus......ns for Frege's logicism"--
  • 内容細目...toral research and teaching (1874......(1879) - ideal logical language; 5.......-1884); 6. The logical foundations ......ent, marriage, and the quest for ......se, reference, and psychological epiphenomena......; 10. Academic and personal life,......, mathematical and philosophical ......he crucible of logicism and the crisis of ......rsonal tragedy and a philosophica...... philosophical logic - Logische Unt......rs (1923-1925) and Frege's enduri......n mathematical logic and philosophy.
図書
edited by Mikaël LucasHumana Press[2022]<RA115-D6>
国立国会図書館全国の図書館
  • 要約等This second edition volume expands on the previo...... tissue level, and the whole plan......work inference and dynamic modeli......r VirtualLeaf; and simulating cro......are tutorials, and tips on troubleshooting and avoiding known...... Comprehensive and cutting-edge, ......ology: Methods and Protocols, Sec......heir questions and generating new ideas, as well...
  • 内容細目...work Dynamical Logical Models for P......n of New Shoot and Root Organs Na......of Plant Roots and Soil Water wit...... Linking Water and Root Observati......for Processing and Mapping Spatia......Length Density and Potential Root......urther Reading and Resources
  • 件名...systémique Biological systems. Botany.
図書
Scott Soames.Princeton University Press[2019]<HC1-D1>
国立国会図書館
  • 内容細目... between faith and reason The beg...... free markets, and free people Modern logic and the foundations of mathematics Logic, computation, and the birth of t......ce Mind, body, and cognitive science Philosophy and physics Liberty, justice, and the good socie......constitutions, and the state The ......ue, happiness, and meaning in the......hs of Socrates and David Hume Bios of leading fi...
  • 件名Philosophy and civilization. Philosophy--His...
  • 資料の内容に関する注記...ng old truths, and reconceptualiz......has progressed-and driven human p......e, technology, and politics-simpl......diverse as law and logic, psychology and economics, relativity and rational decis......m the medieval and early modern e......uage, science, mathematics, religion, cul......ty, education, and politics, as w...... as our understanding of ourselve......ical knowledge and practical wisd...... possibilities and set us on more...... Made explains and illuminates as...... of philosophy and its influence ......our individual and collective lives." --
図書
Endre Pap, editorSpringer[2021]<M121-D46>
国立国会図書館
  • 要約等...lection, in AI and environmental ......ning an understanding of complex ......-temporal data and processes. The......ook covers new mathematics in the field o......iangular norms and copulas, pseudo-analysis, and the introducti...... fuzzy systems and decision makin......air pollutants and meteorological data, image ......tal well-being and data entry err......earchers in AI and experts in environmental scie...
  • 内容細目...nce Collection and decomposition ...... Fuzzy metrics and its applicatio......ion operations and distributivity......e use of Fuzzy Logic in Various Com......blem in Hotels and Restaurants Pa...... of primiparae and multiparae usi...... Space: Theory and Applications I......ance functions and pixel descript......ass Appraisal, and Comparison with Machine Learn...
図書
Joseph Agassi.Springer[2018]<HD31-D1>
国立国会図書館全国の図書館
  • 要約等...is is friendly and appreciative y......tional period, and the final three on the philos...
  • 内容細目...f essentialism Logic and mathematics Logic and language Frege Russell Young ...
  • 件名...ish--Criticism and interpretation......ophy) Language and languages--Philosophy. Semant...
図書
Guanglun Michael Mu and Bonnie Pang.Routledge/Taylor & Francis Group2019.<DC851-P102>
国立国会図書館
  • 要約等"Globalisation and migration have......ith different, and sometimes comp......ing, practices and discourses. Th...... being, doing, and thinking of Ch......l power shifts and local cultural......l dispositions and positions of t......nese diaspora, and how does the C......ily upbringing and secondary peda......te, obfuscate, and enrich Chinese......gy on relative and relational soc...... positions, Mu and Pang assess ho...... contemporary, and ongoing change......amily, school, and community come......nal, cultural, and social reprodu......socialisation, and resilience bui......se Australians and Chinese Canadians in the ever...
  • 件名...na--Emigration and immigration--History. Immigra...
図書
Bruno Courcelle, Joost Engelfriet.Cambridge University Press2012.<MA41-B39>
国立国会図書館全国の図書館
  • 要約等...e studied in a logical language cal......c second-order logic. In this book,......n that unifies and synthesizes re......s, on the one hand to the constru......ph algorithms, and, on the other ......duate students and researchers in......nguage theory, and complexity theory"--
  • 内容細目...Graph algebras and widths of grap...... 3. Equational and recognizable s...... 4. Equational and recognizable s......c second-order logic; 6. Algorithmi......tions of terms and words J. Engel......10. Conclusion and open problems; References; In...
  • 件名Logic, Symbolic and mathematical--Graphic methods. MATHEMATICS / Logic.
記事
木原 貴行<Z43-1336>数理解析研究所講究録(通号 1635) 2009.4p.51~59
国立国会図書館全国の図書館
  • 並列タイトル等(連結)Notes on reverse recursion theory and reverse mathematics
  • 並列タイトル等Notes on reverse recursion theory and reverse mathematics
図書
edited by Hans Sluga and David G. Stern.Cambridge University Press2018.<HD31-B8>
国立国会図書館全国の図書館
  • 要約等...most important and influential ph......nt of his work and clarify the co......oth expository and original, addr......ind, language, logic, and mathematics. The contribut......g, convention, logical necessity, the self, and what Wittgenst......cts, the mind, and time and history - and a fully updated comprehensive...
  • 内容細目...ophy Pictures, logic, and the limits of ...... philosophy of mathematics between two camps Necessity and normativity Wittgenstein, mathematics, and ethics : resis...... realism Notes and afterthoughts ......Mind, meaning, and practice Body and soul The quest......gh ground Time and history in Wit...... : the epistemological investigations of On Centur...
図書
Frederik S. Herzberg.Springer[2013]<MA211-B131>
国立国会図書館全国の図書館
  • 要約等...c analysis ... and select applica......ry' (Annals of mathematics studies, 117, ......atural numbers and infinitesimals."--
  • 内容細目..., consistently and accessibly Rad......rsanov theorem and the diffusion ......tô diffusions and associated par......s Excursion to logic: some remarks on the metamathematics of minimal int....... minimal nonstandard analysis.
  • 件名Stochastic analysis. Nonstandard mathematical analysis.
図書
Gerard O'Regan.Springer[2018]<M154-B234>
国立国会図書館
  • 要約等...ology, history and societal impac......puter software and computing devi......ional business and human communication." -- Publ...
  • 内容細目...uting Overview mathematics in computing I......ntroduction to logic Human-computer......tions Internet and World Wide Web......mputing Ethics and professional responsibility I...
図書
Cambridge University Press2010.<MA67-B63>
国立国会図書館全国の図書館
  • 要約等...lean functions and expressions. T......pective fields and cover topics r......g from algebra and propositional logic to learning th......l engineering, and reliability th......estions raised and investigated i......cepts, models, and tools provided......r their understanding of their ow......fic discipline and to explore new......lean functions and expressions. T......pective fields and cover topics r......g from algebra and propositional logic to learning th......l engineering, and reliability th......estions raised and investigated i......cepts, models, and tools provided by Boolean the...
  • 内容細目.... Compositions and clones of Bool......inhard Pöschel and Ivo Rosenberg ....../ Jan C. Bioch Logic. Proof theory ......ion methods in logic / John Hooker ......earning theory and cryptography. ......istic learning and Boolean functi......lázs Szörényi, and György Turán B......r cryptography and error-correcti......epresentations and efficient comp......atthias Krause and Ingo Wegener F......ier transforms and threshold circ......eural networks and Boolean functi......Decision lists and related classe......re equivalence and property verif......ion / J.-H. Roland Jiang and Tiziano Villa Synthesis of mu...
図書
Lorenzo Magnani, Tommaso Bertolotti (eds.).Springer[2017]<M22-B47>
国立国会図書館全国の図書館
  • 要約等"This handbook offers the......between theory and experimentation, and as educational......ing hypotheses and explanatory fu...... The Springer Handbook merges phi......cal, cognitive and epistemological perspectives......us disciplines and practices. The......ward an understanding of differen......he theoretical and cognitive natu......heir practical and logical aspects. The......ing, abduction and creativity onc......cted, adopted, and manipulated fo......ent scientific and technological purposes is ...... epistemology, mathematics, cognitive and computer science, physics and life sciences,...... architecture, and economics, this Handbook uses...