2nd Ed. — NY.: Oxford University Press (1st published 2006), 2010. — (xvi+311) p. (Oxford Logic Guides. 52 ). — ISBN: 978–0–19–923718–0 (Pbk.), English. Interactive menu. Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science,...
5th Edition. — Butterworth-Heinemann, 2000. — 707 p. It is just over thirty years since The Finite Element Method in Structural and Continuum Mechanics was first published. This book, which was the first dealing with the finite element method, provided the base from which many further developments occurred. The expanding research and field of application of finite elements led...
Интернет-публикация. — (Автор и выходные данные неизвестны). — 33 с. В презентационной форме предложен курс лекций по многозначной логике, а также её связи с известными неклассическими логиками. Логики с неклассическим пониманием следования. Релевантная логика. Паранепротиворечивая логика. Немонотонные логики. Динамическая логика. Логики, отменяющие закон исключённого третьего....
Интернет-публикация. — 2010. — 5 с. [Харьков.: Харьковский национальный университет радиоэлектроники (ХНУР), ПО ЭВМ, Белоус Наталия Валентиновна]. Впервые многозначная логика появилась в связи с отрицанием аристотелева закона исключенного третьего. В соответствии с этим законом дизъюнктивное высказывание p ∨ p есть тавтология, а атомарное высказывание p в аристотелевой логике...
Учебное пособие. — Кострома: КГТУ, 2011. — 74 с. [Костромской государственный технологический университет. Кафедра высшей математики]. В пособии рассматриваются следующие разделы дискретной математики: теория множеств, комбинаторика и общая алгебра. Теоретический материал изложен в доступной форме, но с сохранением необходимого уровня строгости изложения, сопровождается большим...
Владимир: Городской информационно-методический центр, 2010. — 35 с. Сборник предназначен для учителей математики и учащихся 6-11 классов. В сборнике представлены задания муниципального этапа Всероссийской Олимпиады школьников по математике за 2005 – 2009 гг. Данный сборник также содержит Положение и методические рекомендации об организации проведения школьного и муниципального...
Second Ed. — NY.: Springer-Verlag, 1994. — 256 (xiv+242) p. — (Graduate Texts in Mathematics), English. [The first edition — Originally published: NY.: Academic Press, 1973. (Pure and Applied Mathematics. Vol. 53 )]. Preface to the Second Edition. The 20 years since the publication of this book have been an era of continuing growth and development in the field of algebraic...
Published online. — 2010 (Sept. 27). — 524 (x+514) p. English. Interactive menu. The main purpose of the present treatise is to give an account of some of the topics in algebraic geometry which while having occupied the minds of many mathematicians in previous generations have fallen out of fashion in modern times. Often in the history of mathematics new ideas and techniques...
Published online. — 143 p. (Revised Notes on Lattice Theory - first eleven chapters). English. [University of Hawaii]. In the early 1890's, Richard Dedekind was working on a revised and enlarged edition of Dirichlet'sVorlesungen ¨uber Zahlentheorie, and asked himself the following question: Given three subgroupsA, B, Cof an abelian groupG, how many di erent subgroups can you...
М.: Национальный исследовательский университет "Высшая школа экономики" (НИУ ВШЭ). — 15 с. Цель этих записок - в помощь студентам кратко изложить содержание лекций с 7 по 11, поскольку подход к этим темам в каждой книжке свой. Считается, что материал лекций с 1 по 6 (спектр кольца, нетеровы кольца, кольца частных, целые расширения, лемма о нормализации, теорема Гильберта о...
Научн. статья. — Соросовский Образовательный Журнал. 2004, № 1 (Том 8). — С. 122-127 В статье описываются основные понятия теории узлов – плоская диаграмма, проекция, движение Рейдемейстера. Приводятся инварианты узлов: полиномиальные и инвариант раскрасок. Описывается кодирование узлов посредством d-диаграмм. Узлы. Изотопия узлов. Примеры. Плоские диаграммы узлов и зацеплений....
С.-Петербург: Академический физико-технологический университет РАН ([АФТУ РАН), 2010. — 11 с. Представлен конспект лекций по математической логике, прочитанный автором, студентам АФТУ РАН, II семестр, весна 2010 г. [Это из кратких лекций одногодичного курса по математической логике, который был представлен осенью 2009 года и весной 2010 года в Академическом...
М.: МГУ, 2012. — 29 с. Лекции по Торической топологии, читаемые авторами в Московском государственном университете им. М.В. Ломоносова 15 марта 2012 г. Торический тетраэдр. Торическая топология. Комбинаторика. Ограничения на числа граней. Теорема (Биллера-Ли, Стенли, 1980). Проблема (гипотеза Макмюллена). Бизвёздные преобразования в размерности 2 и 3_ Теорема (Пахнер)....
СПб.: Санкт-Петербургский государственный университет (СПбГУ), 2014. — 9 с. Рабочая программа учебной дисциплины: Гомотопическая и алгебраическая топология ( Homotopic and Algebraic Topology ). Санкт-Петербургский государственный университет (СПбГУ). Разработчик программы: Звагельский Михаил Юрьевич, канд. физ.-мат. наук, доцент кафедры высшей геометрии СПбГУ. Цели и задачи...
[Marco Fontana, Salah-Eddine Kabbaj, Bruce Olberding, Irena Swanson. (Editors)]. NY.: Springer, 2011. — 500(viii+492) p. — (e-ISBN: 978-1-4419-6990-3), English. Interactive menu. This volume contains a collection of invited survey articles by some of the leading experts in commutative algebra carefully selected for their impact on the field. Commutative algebra is growing very...
Интернет-публикация. — М.: Матфак. ВШЭ. [М.: Национальный исследовательский университет «Высшая школа экономики» ( НИУ ВШЭ )]. Введение в коммутативную алгебру и алгебраическую геометрию. Это более или менее единый годовой курс, первая часть которого по причинам формального характера будет состоять из спецкурса и НИСа, а вторая является курсом по выбору для 3-4 курсов....
М.: Независимый Московский университет (НМУ), Московский центр непрерывного математического образования (МЦНМО), 2002 — 61 с. Основным предметом нашего изучения являются поверхности в трёхмерном евклидовом пространстве, главным образом, компактные не имеющие края. Мы начнём со случая, когда поверхность расположена в пространстве с самопересечениями, но без локальных...
Выходные данные и автор неизвестны. [Published online. — 2003 (June 5). — 185 (vi+179) p. English]. Polarity. Polar hypersurfaces: The polar pairing. First polars. Second polars. The Hessian. Parabolic points. The Steinerian. Dual hypersurface: The polar map. Dual varieties. Pl¨ucker equations. Exercises. Conics. Polar triangles: Conjugate triangles. Poncelet related conics....
University of Chicago, 1996. — 122 p. English. ( OCR-слой ). Frank Adams was long intrigued by the exceptional Lie groups, and he wrote several papers about them ([Adi, Ad2, Ad3] in the bibliography). He worked out a connected narrative describing their construction, their representations, and their interconnections and connections with the classical Lie groups in several...
Institute of Mathematical Statistics, 1990. — 160 p. English. ( OCR-слой ). They are meant to Ье an introduction to what 1 саll the "modern" theory of sample path properties of Gaussian processes, where Ьу "modern" 1 mеan а theory based оп concepts such as entropy and majorising measures. They are directed at an audience that has а reasonable probability background, at the...
NY.: Ithaca, Cornell University Library, 2014. — 28 p. English. { Free Published : Cornell University Library (arXiv:1308.4495v2 [math.RA] 15 Jan 2014)}. [Submitted on 21 Aug 2013 (v1), last revised 15 Jan 2014 (this version, v2)]. This paper provides a fresh perspective on the representation of distributive bilattices and of related varieties. The techniques of naturalduality...
Published online. — 23 p. English. This article, aimed specifically at young mathematical logicians, gives a gentle introduction to some of the central achievements and problems of universal algebra during the last 25 years. I intend in this article to introduce nonspecialists to the fact that there are deep results in contemporary universal algebra. The first four sections...
Berlin.: Springer, 1972. — 545 (xx+525) p. — ISBN: 0-387-05896-6, Français. ( OCR-слой ). [Lecture Notes in Mathematics. V. 269 (Tome I) Theorie des Topos . (Exposés I à IV). (SGA 4-I)]. Préface à la deuxième édition. Comme le lecteur le verra dans 1'Avant-propos de la première édition (incomplète) du présent Séminaire(qui suit cette préface), le but initial du Séminaire a été...
Internet-Publication. — 10 p. English. (OCR-слой). [Reiner Hahnle. University of Karlsruhe. Institute for Logic, Complexity and Deduction Systems. Karlsruhe, Germany]. Abstract. This paper tries to identify the basic problems encountered in automated theorem proving in many-valued logics and demonstrates to which extent they can be currently solved. To this end a number of...
Интернет-публикация. — М.: Матфак. ВШЭ, 2012 [М.: Национальный исследовательский университет «Высшая школа экономики» ( НИУ ВШЭ )]. Даны задачи по коммутативной алгебре ( 8 листов по 10-11 задач в каждом листе ). Правила. Баллы за листок засчитываются, если в нем сдано не меньше половины задач. Задача, сданная в срок - это один балл, не в срок - полбалла. Потом баллы...
2005. — 282 с. [Автором данной книги является Бьярн Страустрап (а не Мюррей Хилл & Бьярн Страустрап), потому что в разделе "Благодарности" (стр. 4), Б. Страустрап пишет где написана эта книга: Мюррэй Хилл, Нью Джерси (США)]. C++ – это универсальный язык программирования, задуманный так, чтобы сделать программирование более приятным для серьезного программиста. За исключением...
Online version. — 2nd Ed. A revised. — (iv+174) p. English. Interactive menu. There is an operation naturally defined on the lattice of ideals of a ring, which has these properties. Now it develops, amazingly, that a commutator can be defined rather naturally in the congruence lattices of every congruence modular variety. This operation has the same useful properties that the...
Интернет-публикация. — 10 с. Многозначные логики представляют собой оригинальное и интересное направление в логике. Их появление часто связывают с широко известной проблемой «будущей случайности». В девятой главе трактата «Об истолковании» Аристотель ставит следующую проблему: верно ли, что относительно единичного и вместе с тем будущего события всякое утверждение или отрицание...
М.: Институт философии РАН. 2003. — 28 с. [Автореферат диссертации на соискание степени к.ф.н.]. [Работа выполнена в секторе логики Института философии Российской Академии Наук (ИФ РАН)]. Научный руководитель д.ф.н, профессор А.С. Карпенко]. (Специальность 09.00.07 – логика). Общая характеристика диссертации. Многозначные логики появились в 20-х годах XX века в работах Поста и...
Czech Republic. Praha.: Prometheus, 2001. — pp. 250-257 (DejinyMat_17-2001-1_31) English. ( OCR-слой ). [In: Eduard Fuchs (editor): Mathematics throughout the ages. Contributions from the summer school and seminars on the history of mathematics and from the 10th and 11th Novembertagung on the history and philosophy of mathematics, Holbaek, Denmark, October 28-31, 1999, and...
3rd Ed. — NY.: American Mathematical Society, 1967. — 418 p. [1st Ed., 1940; 2nd (Revised) Ed., 1948], English. Interactive menu. ( OCR-слой ). Preface to the Third Edition. The purpose of this edition is threefold: to make the deeper ideas of lattice theory accessible to mathematicians generally, to portray its structure, and to indicate some of its most interesting...
2nd (Revised) Ed. — NY.: American Mathematical Society, 1948. — 291 p. (1st Ed., 1940), English. Preface to the second Edition. The development of lattice theory may be divided into three stages. First, follOwing the publication in 1847 of Boole's "Mathematical Analysis of Logic," various mathematical logicians made postulational analyses of Boolean algebra and the algebra of...
Published online. — Revised Ed. — (1st Publ., Dec. 1989), 1993 (Sept.) — 15 p. English. [ From : NY.: Econometrica, 1994 (V. 62 , No. 4 ), p.: 783–794, — Online ISSN: 1468-0262, English]. [Correspondent: Professor William R. Zame. Department of Economics. Lawrence E. Blume: Department of Economics, Cornell University, Ithaca, NY14850. William R. Zame: Department of Economics,...
Internet-Publication. — 16 p. English. (OCR-слой). [Soft Computing Laboratory, Dept. Mathematics and Informatics, University of Salerno, Italy]. Abstract In this paper we describe the relationship between many-valued logics (in particular Basic logic and ÃLukasiewicz logic) and semirings. We will also give definitions of automata on BL-algebras and MV-algebras. Semirings are...
Published online. — 3 p. English. [Department of Mathematics. University of Hawaii, (May 26) 2009]. The notion of a group acting on a set is an old one. The groups studied by Galois consisted of groups of permutations of roots of a polynomial. The notion of a group acting on a set is a slightly more general notion. We will study this notion from the point of view of universal...
Internet-publication. — 13 p. Inglish. (OCR-слой). [Dipartimento di Informatica e Sistemistica, University of Roma “La Sapienza”. Rome, Italy]. Abstract. Large databases obtained by the data integration of different source databases can be incomplete and inconsistent in many ways. The classical logic is not the appropriate formalism for reasoning about inconsistent databases....
Научная статья. Опубликована в журнале: Известия ВУЗов (Математика). 1999, № 7 (446). — С. 54-60, — УДК 512.532 В данной статье описывается класс группоидов, вложимых в квазибулевы степени полурешёток, чем завершается рассмотрение в этом аспекте минимальных негрупповых многообразий полугрупп. Определяются ортогональные системы полной решётки, которые, по определению,...
The scientific article is published in the magazine: Bulletin of the American Mathematical Society (Bull. Amer. Math. Soc.) Volume 64, Number 3, Part 2 (1958) — Pp.: 50-56, English. ( OCR-слой ). Abstract. John von Neumann's brilliant mind blazed over lattice theory like a meteor, during a brief period centering around 1935-1937. With the aim of interesting him in lattices, I...