検索結果 1,351 件

図書
Hiroakira OnoSpringer[2019]<MA41-D5>
国立国会図書館全国の図書館
  • 内容細目Part I: Proof Theory. Sequen......ent systems Proof-theoretic analysis of logical proper......o logic Basics of algebraic logi......ies Residuated structures Modal algebras
  • 件名Proof theory Algebraic logic
図書
Cesar E. Silva, Alexandre I. Danilenko, editorsSpringer[2023]<MA152-D8>
国立国会図書館全国の図書館
  • 要約等...e Encyclopedia of Complexity and......lassical areas of ergodic theory......tic properties of measurable dyn......ns connections of ergodic theory......amical systems of probabilistic ......rgodic aspects of Sarnak's conje......classification of measurable sys...... with operator algebras
  • 内容細目...pectral Theory of Dynamical Syst......amical Systems of Probabilistic ......c Theory Point of View Smooth Er......pectral theory of area-preservin...... Systems and C-algebras The complexity and the structure and classification of Dynamical Systems Ergodic The...
  • 関連情報Encyclopedia of complexity and systems scienc...
図書
Fanggui Wang, Hwankoo Kim.Springer[2016]<MA67-B96>
国立国会図書館全国の図書館
  • 要約等...t developments of commutative al......t the contents of the first five......, the contents of this book diff...... its treatment of the Dedekind?M......stic dimension of a ring, Gorens......arious results of the pullbacks,......the local ring of weak global di......ks and methods of star operation......hendieck group of a commutative ......lated concepts of integral domai......sing the class of Gorenstein pro....... Each section of the book is fo......by a selection of exercises of varying degrees of difficulty. This book will ap...
  • 内容細目1 Basic Theory of Rings and Modu......2 The Category of Modules 3 Homo......4 Basic Theory of Noetherian Rin......s 5 Extensions of Rings 6 w-Modu......uctural Theory of Milnor Squares......hendieck Group of a Ring 11 Rela......ferences Index of Symbols Index.
  • 件名...tive Rings and Algebras. Category Theory, Homological...
図書
Masaaki Umehara, Kentaro Saji, Kotaro Yamada, translated by Wayne RossmanWorld Scientific Publishing Co. Pte. Ltd.[2022]<MA96-D7>
国立国会図書館全国の図書館
  • 要約等...he perspective of differential geometry of curves and sur......ng the objects of attention to singularities of plane curves a......tes the notion of Riemannian man......y descriptions of proofs of the recognitio......l explanations of the underlying...... understanding of the material. ...... singularities of curves and sur...... the viewpoint of differential geometry, and it...
  • 内容細目... Singularities of surfaces Proofs of criteria for s......s Applications of criteria for s......faces in R³ Proof of the criterion ......undles Contact structure and wave fronts
デジタル記事
藤崎 竜也, Jack Koolen<Z43-1336>数理解析研究所講究録(通号 1476) 2006.3p.34~42
インターネットで読める国立国会図書館全国の図書館
デジタル記事
Takashi TAKIGUCHI, Toshiaki TAKABATAKE, Makoto MARUYA<Z43-1336>数理解析研究所講究録(2159):2020.6p.125-131
インターネットで読める国立国会図書館全国の図書館
  • 要約等In this article, we study the structure of the least squa......s applications of our main resul......etection in RC structures and the other......er development of our main result.
図書
edited by Haynes Miller.CRC Press[2020]<MA81-D1>
国立国会図書館
  • 要約等"The Handbook of Homotopy Theor......panoramic view of an active area......proving itself of increasing imp......s. The origins of the subject da......e back to work of Henri Poincare......y. A highlight of this volume is......e applications of the newly esta......ational theory of -categories. T......cludes surveys of applications b......ning the state of the art in thi......se methods are of increasing importance in many...
  • 内容細目...s and features of their homotopy......lmer Chromatic structures in stable hom......hrens A survey of models for ([i......omotopy theory of classifying sp...... Moduli spaces of manifolds : a ......a and Dyer-Lashof operations / Tyler Lawson Ass...
記事
辻 俊輔<Z43-1336>数理解析研究所講究録(1922):2014.10p.124-129
国立国会図書館全国の図書館
  • 並列タイトル等(連結)DEHN TWISTS, GOLDMAN LIE ALGEBRAS AND SKEIN MODULES ON NONORIEN...
  • 並列タイトル等DEHN TWISTS, GOLDMAN LIE ALGEBRAS AND SKEIN MODULES ON NONORIEN...
記事
Masami Ito<Z43-1336>数理解析研究所講究録(1809):2012.9p.119-127
国立国会図書館全国の図書館
  • 件名...morphism group of an automaton layer of an automaton g...... decomposition of an automaton composition of automata
図書
Bruno Courcelle, Joost Engelfriet.Cambridge University Press2012.<MA41-B39>
国立国会図書館全国の図書館
  • 要約等"The study of graph structure has advanced i......onstructed out of more basic ele......the properties of graphs can be ......e two features of graph structure are brought to......gh description of the theory, bu......e construction of graph algorith...... the extension of formal languag......e book will be of interest to graduate students...
  • 内容細目...view; 2. Graph algebras and widths of graphs; 3. Equ......in many-sorted algebras; 4. Equational......ognizable sets of graphs; 5. Mon...... Transductions of terms and word...... 9. Relational structures; 10. Conclusion and open pro...
記事
高阪 史明<Z43-1336>数理解析研究所講究録(1820):2012.12p.57-68
国立国会図書館全国の図書館
  • 並列タイトル等(連結)On fixed points of firmly nonexpansive-type mapp...
  • 並列タイトル等On fixed points of firmly nonexpansive-type mapp...
デジタル記事
Fabio Bagarello, Maria Fragoulopoulou, Atsushi Inoue 他<Z53-A209>Journal of the Mathematical Society of Japan60(2) 2008.4p.511~549
国立国会図書館全国の図書館
  • 要約等The completion of a (normed) <i>......}$<sub>0</sub>[|| · ||<sub>0</sub>] w......multiplication of $\mathscr{A}$<...... consideration of locally convex......i><sup>*</sup>-algebras, which general......i><sup>*</sup>-algebras in the context of quasi *-algebras. Examples are given and the structure of these relatives of <i>C</i><sup>*</sup>-algebras is investigated.
  • 件名quasi *-algebras quasi-positivity locally convex quasi C[*]-algebras unbounded *-representations
  • 参照Partial *-Algebras and Their Oper......ions PARTIAL *-ALGEBRAS OF CLOSABLE OPERA......si<sup>*</sup>-algebras Tomita-Takesaki Theory in Algebras of Unbounded Oper......the completion of a 𝐶*-normed a......ons on quasi-*-algebras TOPOLOGICAL PARTIAL *-ALGEBRAS: BASIC PROPERT......epresentations of Partial *-Algebras On a Class of Locally Convex Algebras QUASI *-ALGEBRAS OF OPERATORS AND ...... Generalized B-Algebras ALGEBRAS OF UNBOUNDED OPER......Locally Convex Algebras Algebras of unbounded oper......unded Operator Algebras and Representa......ion Theory CQ*-Algebras: Structure Properties Partial *-Algebras of Closable Operators I. The ...