Казань. КФУ, 2014. — 9 с. ["Казанский (Приволжский) федеральный университет" (КФУ). Институт математики и механики им. Н.И. Лобачевского]. Полностью готовая, разработанная (по темам и по часам) и опробованная в КФУ, программа преподавания Теории Галуа. Целями освоения дисциплины "Теория Галуа" является получение основных представлений о разрешимости произвольных алгебраических...
М.: Наука, Главная редакция физико-математической литературы, 1966. — 604 с. Большинство из излагаемых в настоящей книге результатов содержится лишь в журнальных статьях, и сводного изложения их еще не было. В основном, это результаты сравнительно последнего времени, полученные многими авторами, в том числе и автором данной книги. Имеются здесь и некоторые результаты, ранее не...
Pisa, 1979. — 100 p. English. (OCR-слой). [Accademia Nazionale dei Lince! Scuola Normale Superiore. Lezioni Fermiane]. These Lectures Notes are an expanded version of the Fermi Lectures which I gave at the Scuola Normale in Pisa in June 1978. They also cover material presented in the spring of 1978 in the Loeb Lectures at Harvard and the Whittemore Lectures at Yale. In all...
Методическое пособие для студентов физического факультета МГУ. — Москва: Московский государственный университет имени М.В. Ломоносова (МГУ), 2015. — 42 с. Настоящее методическое пособие создано коллективом преподавателей кафедры математики физического факультета МГУ и представляет собой расширенное изложение темы "группы", включенной в программу курса линейной алгебры, который...
Фундаментальная и прикладная математика. — М.: МГУ. — 2011/2012, том 17, No 5, с. 147—155. [ 2011/2012. Центр новых информационных технологий МГУ, Издательский дом «Открытые системы». Московский государственный университет им.М.В.Ломоносова]. Аннотация. В работе изучается алгебра Хопфа, которая ставится в соответствие каждой конечномерной алгебре Ли. Этот объект впервые...
Metadata absent. — 19 June 2015. — 30 p. [Lluis Godo. Artificial Intelligence Research Institute (IIIA), CSIC. Campus de la Univ. Autonoma de Barcelona, Bellaterra, Spain. Siegfried Gottwald. Abteilung Logik am Institut fur Philosophie, Leipzig University, Leipzig, Germany]. – Dedicated to the memory of Franco Montagna – Abstract. The paper discusses the relationship between...
Metadata absent. — (June 13, 2005). — 20 p. [Reiner Hahnle. Chalmers University of Technology. School of Computer Science and Engineering. Gothenburg, Sweden]. Abstract. The purpose of this article is to clarify the role that many-valued logic can or should play in formal specification of software systems for modeling partiality. We analyse a representative set of specification...
Springer, 1983. — 240+ix p. — (Lecture Notes in Mathematics. 1038). [Francis Borceux. Gilberte Van den Bossche. Departement de Mathematique, Universite de Louvain. Belgium]. Sheaves of algebras on a topological space appear in man). problems in mathematics and their interest has no longer to be demonstrated. The purpose of this publication is to study the localizations of the...
PhD Thesis. Charles University in Prague. — Czech Republic, Prague: 2009. — 263 p. [Faculty of Arts. Department of Logic. Prague, Czech Republic]. [Supervisor: DOC. PhDr. Petr Jirku, CSc. Co-advisor: prof. RNDr. Petr Hajek, DrSc]. The dissertation consists of the author’s published papers on logic-based fuzzy mathematics. It is accompanied with a cover study (Part I of the...
Doctoral dissertation. Faculty of Nuclear Sciences and Physical Engineering. Czech Technical University in Prague. — Czech Republic, Prague: 2004. — 147 p. [[FNSPE CTU, Department of Mathematics. Prague, Czech Republic]. [Under the supervision of: Prof. RNDr. Petr Hajek, DrSc., Institute of Computer Science. Academy of Sciences of the Czech Republic, Prague]. This work contains...
Published online. — Logic and Logical Philosophy. — (August 5, 2016). — 18 p. Interactive menu. English. (OCR-слой). [David Ellerman. Department of Philosophy. University of California. Riverside. USA]. Abstract. Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary...
Oxford: Oxford University Press, 1992. — 277 p. [Colin McLarty. Department of Philosophy. Case Western Reserve University]. The book covers elementary aspects of category theory and topos theory. It has few mathematical prerequisites, and uses categorical methods throughout, rather than beginning with set theoretical foundations. It works with key concepts such as Cartesian...
New York.: Ithaca, Cornell University Library, 24 Jan. 2000, p.p.: 1-9, English. (OCR-слой). {Free Published: E-Print Cornell University Library [arXiv:gr-qc/0001076v1 24 Jan 2000]}. [gr-qc/General Relativity and Quantum Cosmology]. Abstract. The topos theory is a theory which is used for deciding a number of problems of theory of relativity, gravitation and quantum physics. In...
Автор и выходные данные неизвестны. 22 S. [Полное название: "8 Anhang: Konzeptuelle Aspekte der Topos-Theorie"]. In diesem Anhang werden – in aller gebotenen Kürze – jene grundsätzlichen Herangehensweisen zusammengestellt, die mit der Einführung der mathematischen Theorien der Kategorien und Topoi verbunden sind und im vorhergehenden Text des Vorliegenden auf die eine oder...
17 January 2013. — 12 p. Abstract. The words "topos theory" seem to strike unnecessary fear in the hearts of mathematicians. I shall try to defuse some of this apprehension by explaining what a topos is in simple terms and why they are interesting. We will see three aspects of the elephant in this talk: toposes as mathematical universes, toposes as generalised spaces, and...
Association for Symbolic Logic: The Review of Symbolic Logic. — Vol.3. — 2010. — No.2. — p. 287-350. — ISSN: 1755-0203. Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to...
Перев. с англ. А.П. Гагарина, В.В. Шокурова. — Под ред. Ю.И. Манина. — М.: Наука, Главное издательство физико-математической литературы, 1986. — 440 с. В книге излагается теория топосов, приобретающая в последнее время важное значение не только в логике, но и в геометрии и топологии. Существенно дополняет вышедшую в 1983 г. в издательстве "Мир" книгу Р. Голдблатта "Топосы....
Перев. с англ. В.Н. Гришина, В.В. Шокурова. — Под ред. Д.А. Бочвара. — М.: Мир, 1983. — 487 с. Топосы — это специального вида категории, способные служить моделями для теоретико-множественных конструкций. Они являются математическим средством унификации и обобщения математических задач и методов их решения. Их можно рассматривать как главный объект новой концепции оснований...
Bessarion S.R.E. Card., Georgius Trapezunt, Theodorus Gaza, Andron, Callistus. Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1866. — 702 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 )....
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1866. — 728 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XV век ). Том 159: Лаоник Халкокондил, Леонард Митиленский, Исидор...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1866. — 624 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XV век ). Том 160: константинопольский патриарх Григорий III Мамма,...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1866. — 650 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XV век ). Том 158: Михаил Глика, диакон Иоанн Адрианопольский, Исаия...
Oxford: Oxford University Press, 2002. — 1016 p. + 1089 p. — (Oxford Logic Guides, 43 & 44). — ISBN: 0 19 852496 X (2 Vol. set). Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1866. — 688 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XV век ). Том 157: Георгий Кодин, историк Дука]. Собрание сочинений данных...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1866. — 684 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 153: Иоанн Кантакузин. Том 1-ый ]. Собрание сочинений...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1866. — 762 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 152: Мануил Калека, Иоанн Кипарисиот, Матфей Кантакузин,...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1866. — 690 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 154: Иоанн Кантакузин. Том 2-ой ]. Собрание сочинений...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1866. — 597 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XV век ). Том 156: Мануил Хрисолор, Иоанн Канан, Мануил II Палеолог, Иоанн...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1866. — 532 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XV век ). Том 155: Архиепископ Симеон Фессалоникийский]. Собрание...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1865. — 696 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 151: Григорий Палама-2, Григорий Акиндин, Варлаам...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1865. — 725 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 150: Константин Арменопул, митрополит Филадельфийский...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1865. — 562 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 149: Никифор Григора-2, митрополит Фессалоникийский Нил...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1865. — 799 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 148: Никифор Григора. Том 1-ый ]. Собрание сочинений...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1865. — 748 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 147: Никифор Каллист Ксанфопул-3, иноки Каллист и Игнатий...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1865. — 694 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 146: Никифор Каллист Ксанфопул. Том 2-ой ]. Собрание...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1904. — 687 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 145: Матфей Властарь, Фома Магистр, Никифор Каллист...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1865. — 754 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 144: Георгий Пахимер-2, Феодор Метохит, Матфей Властарь]....
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1865. — 754 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIII век ). Том 141: Иоанн XI Векк, Константин Мелитиниот, Георгий...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1885. — 822 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIII век ). Том 142: Георгий Кипрский, константинопольский патриарх...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1891. — 713 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIV век ). Том 143: Ефремий Хронограф, митрополит Феолипт Филадельфийский,...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1887. — 807 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIII век ). Том 140: Никита Хониат-2, греческий аноним, архиепископ афинский...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1894. — 789 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIII век ). Том 139: митрополит Исидор Фессалоникийский, митрополит...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1865. — 804 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIII век ). Том 137: Феодор Вальсамон. Том 1-ый ]. Собрание сочинений...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1865. — 830 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XIII век ). Том 138: Феодор Вальсамон. Том 2-ой ]. Собрание сочинений...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1864. — 756 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XII век ). Том 134: Иоанн Зонара. Том 1-ый ]. Собрание сочинений Иоанна...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1865. — 718 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XII век ). Том 136: Евстафий Фессалоникийский, Антоний Мелисский]....
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1887. — 581 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XII век ). Том 135: Иоанн Зонара (2), константинопольский патриарх Георгий...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1864. — 802 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XII век ). Том 133: инок Арсений Филофейский, Алексий Аристин,...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1864. — 700 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XII век ). Том 132: Феофан Керамей, Нил Доксапатр, епископ Иоанн...
Parisiis.: Excudebatur et Venit Apud J.-P. Migne Editorem, in via Dicta D'amboise, Olim Prope Portam Lutetiae Parisiorum Vulgo D'enfer Nominatan, seu Petit-Montrouge, Nung Vero Intra Moenia Parisina. 1864. — 680 p. Graecus; Latinus. [Free Published]. (OCR-слой). [Греческая патрология ( PG. T.: 1-161 ). ( XII век ). Том 131: Евфимий Зигабен. Том 4-ый. Анна Комнина]. Собрание...