「Algebra and logic」のOpenURLのAPI検索結果 | NDLサーチ

検索結果 712 件

タイトルでまとめる

Proof theory and algebra in logic (Short textbooks in logic)

紙図書

Hiroakira OnoSpringer[2019]<MA41-D5>

国立国会図書館全国の図書館

内容細目...ic analysis of logical properties Modal and substructural logics Deducibility and axiomatic exte......sions Part II: Algebra in Logic. From algebra to logic Basics of algebraic logic Logics and varieties Resi......ructures Modal algebras
件名Proof theory Algebraic logic
関連情報Short textbooks in logic

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)

紙図書

Nikolaos Galatos, Kazushige Terui, editorsSpringer[2022]<MA41-D8>

国立国会図書館

要約等... substructural logics. Chapters, wr......d to universal algebra, algebraic logic and the Full Lambe......s on universal algebra, abstract algebraic logic, topological dualities, and connections to......uated lattices and connections to...... substructural logics, results on the existence and disjunction properties and finally a stud......ers working in algebraic and non-classical logic
内容細目... I: Expository and survey chapter......r 2. Universal algebraic methods for non-classical logics (James G. Raf......er 3. Abstract algebraic logic An introductor......Chapter 4. Topological duality and algebraic completions ...... Chapter 5. An algebraic glimpse at b......d implications and separation logic (Peter Jipsen and Tadeusz Litak)......Jose Gil-Ferez and Constantine Ts......ties of linear logic (Robert Goldbl......P52: Existence and disjunction pr......iate predicate logic (Nobu-Yuki Suz...... substructural logics (Jacopo Amide......Ertola-Biraben and Franco Montagna)
件名Logic, Symbolic and mathematical Ono, Hiroakira L...

Ideas in Logic and Computer-Science related to Ludics (Algebra, Logic and Geometry in Informatics)

紙デジタル記事

永山操<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.75～93

インターネットで読める国立国会図書館全国の図書館

Coherence of the Double Negation in Linear Logic (Algebra, Logic and Geometry in Informatics)

紙デジタル記事

長谷川真人<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.133～135

インターネットで読める国立国会図書館全国の図書館

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

紙図書

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......ed approach to algebraic geometry top......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 ......y'' 1.7 Why is Algebraic Geometry Nec......ary for Understanding WAIC and WBIC? 1.8 Hiro......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 54-66 7 Algebraic Geometry 7.1 Algebraic Sets and Analytical Set......ingular Points and Their Resoluti......Methods 9 WBIC and Its Application to Machine Le...

A generaliged automorphism group and triality groups for nonassociative algebras : In memory of Professor Susumu Okubo (1930-2015) (Algebraic system, Logic, Language and Computer Science)

紙記事

Noriaki Kamiya, Susumu Okubo<Z43-1336>数理解析研究所講究録(2008):2016.11p.10-20

国立国会図書館全国の図書館

On Triality and Pre-structurable Algebras (New contact points of algebraic systems, logics, languages, and computer sciences)

紙記事

Noriaki Kamiya, Susumu Okubo<Z43-1336>数理解析研究所講究録(1964):2015.10p.15-26

国立国会図書館全国の図書館

Embedding into Wreath Product and the Yoneda Lemma (Algebra, Logic and Geometry in Informatics)

紙デジタル記事

長谷川立<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.150～159

インターネットで読める国立国会図書館全国の図書館

Demonic orders and quasi-totality in Dedekind categories (Algebra, Logic and Geometry in Informatics)

紙デジタル記事

河原康雄, 大隈ひとみ<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.102～112

インターネットで読める国立国会図書館全国の図書館

On (α, β, γ)-structurable algebras and Dynkin diagrams : Beyond Lie algebras to triple systems (Logics, Algebras and Languages in Computer Science)

紙記事

NORIAKI KAMIYA, DANIEL MONDOC<Z43-1336>数理解析研究所講究録(1915):2014.9p.78-88

国立国会図書館全国の図書館

件名(anti-)structurable algebras triple systems Lie algebras Lie superalgebras

Structural Induction and the λ-Calculus (Algebra, Logic and Geometry in Informatics)

紙記事

Rene Vestergaard<Z43-1336>数理解析研究所講究録(通号 1318) 2003.5p.30～45

国立国会図書館全国の図書館

Graph structure and monadic second-order logic : a language-theoretic approach (Encyclopedia of mathematics and its applications ; 138)

紙図書

Bruno Courcelle, Joost Engelfriet.Cambridge University Press2012.<MA41-B39>

国立国会図書館全国の図書館

要約等...n be described algebraically, enablin......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"--
内容細目...view; 2. Graph algebras and widths of grap...... 3. Equational and recognizable s......in many-sorted algebras; 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.