Приложение
для AndroidПолное описание
Schaller, C. Verallgemeinerung der Stone schen Satze : Diss / C.Schaller. - Bonn : [s. n.], 1995. - 155 S. : Ill. - (Bonner mathematische Schriften, ISSN 0524-045X ; N284). - Текст : непосредственный.
Библиогр.:с.152-155
| ГРНТИ | УДК | |
| 27.17.21 | 512.563(043) |
Рубрики:
Алгебра логики
Кл.слова (ненормированные): алгебра логики
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Schindler R.D. core model up to one strong cardinal : Diss. / R.D.Schindler, 1997. - 122 p. - Текст : непосредственный. Lendowski V. Modellierung und Simulation der Bewegung eines Korpers in reaktiven Zweiphasenflussigkeiten : Diss. / V.Lendowski, 1997. - 101 S. - Текст : непосредственный.Schettling C. Uber das Verhalten gewisser Hecke'scher L-Reihen im Zentrum des kritischen Streifens : Diss. / C.Schettling, 1997. - 116 S. - Текст : непосредственный.Wienholtz D. Zum Ausschluss von Randverzweigungspunkten bei Minimalflachen : Diss. / D.Wienholtz, 1997. - III,75,1 S. S. - Текст : непосредственный.Linke F. Multikanalstreuung nichtlinearer Schrodingergleichungen mit elektrischen Potentialen und magnetischen Vektorpotentialen : Diss. / F.Linke, 1997. - II,153 S. S. - Текст : непосредственный.Henne B. Nevanlinnaklassen in nichtglatten streng pseudokonvexen Bereichen : Diss. / B.Henne, 1997. - XII,128 S. S. - Текст : непосредственный.Hefer T. Optimale Regularitatssatze fur die g-Gleichung auf gewissen konkaven und konvexen Modellgebieten / T.Hefer, 1997. - 74 S. - Текст : непосредственный.Imbusch C. Anwendung des Mountain-Pass-Lemmas auf den Fragenkreis des Plateauschen Problems und eine Alternative zur Drei-Punkte-Bedingung : Diplomarbeit / C.Imbusch, 1997. - 134 S. - Текст : непосредственный. Kaiser C. getwistetes fundamentales Lemma fur die GSp4 : Diss. / C.Kaiser, 1997. - 71 S. - Текст : непосредственный. Klingholz M.D. Fourieranalysis auf arithmetischen Quotienten hyperbolischer Raume : Diss. / M.D.Klingholz, 1992. - 74 S. - Текст : непосредственный.Thiel C. fast-Konvexitat einiger nilpotenter Gruppen : Diss. / C.Thiel, 1992. - 50 S. - Текст : непосредственный. Ruzicka M. Mathematical and physical theory of multipolar viscoelasticity / M.Ruzicka, 1992. - 71 p. - Текст : непосредственный.Overbeck L. Konditionierungen der Super-Brownschen-Bewegung und verzweigender Diffusionen : Diss. / L.Overbeck, 1992. - 125 S. - Текст : непосредственный.Michel J. Neumannoperator auf streng pseudokonkaven Gebieten und andere Anwendungen der Integralformelmethode / J.Michel, 1992. - I,146 S. S. - Текст : непосредственный. Bilitewski F.J. Deformationen von Dreiecks-und Viereckssingularitaten der Einbettungsdimension Drei : Diss. / F.J.Bilitewski, 1992. - 201 S. - Текст : непосредственный.Lohkamp J. Existenz von Metriken negativer Ricci-Krummung : Diss. / J.Lohkamp, 1992. - 47 S. - Текст : непосредственный.Richert M. Streutheorie fur Diracsche Aussenraumaufgaben : Diss. / M.Richert, 1992. - 68 S. - Текст : непосредственный.Blume-Nienhaus J. Lefschetzzahlen fur Galois-Operationen auf der Kohomologie arithmetischer Gruppen : Diss. / J.Blume-Nienhaus, 1992. - 114 S. - Текст : непосредственный.Rademacher H.B. Morse Theorie und geschlossene Geodatische : Diss. / H.B.Rademacher, 1992. - 111 S. - Текст : непосредственный.Papers presented at the workshop,Darmstadt,May 25-27,1992 / Workshop on the mathematical theory of nonlinear and inelastic material behaviour (1992 ; Darmstadt) , 1993. - 69 p. - Текст : непосредственный.
Показать все результатыЗавадский А.Г. Представления частично упорядоченных множеств конечного роста : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. Г. Завадский, 1991. - 19 с. - Текст : непосредственный.Адаричева К.В. Строение решеток подполурешеток : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / К. В. Адаричева, 1990. - 12 с. - Текст : непосредственный.Молчанов В.А. Нестандартные приложения алгебры соответствий : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / В. А. Молчанов, 1994. - 28 с. - Текст : непосредственный.Власов В.Н. Алгоритмические свойства булевых алгебр : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. Н. Власов, 1999. - 16 с. - Текст : непосредственный.Липачева Е.В. Рекурсивные и частичные автоморфизмы булевых алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Е. В. Липачева, 1997. - 13 с. - Текст : непосредственный.Репницкий В.Б. Представление решеток решетками подалгебр : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / В. Б. Репницкий, 1997. - 27 с. - Текст : непосредственный.Зуев Ю.А. Вероятностные методы в пороговой логике : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09 / Ю. А. Зуев, 1998. - 21 с. - Текст : непосредственный.Запатрин Р.Р. Полугрупповая координатизация решеток : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Р. Р. Запатрин, 1999. - 7 с. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Ильин С.Н. Строение обратимых матриц над упорядоченными алгебраическими системами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Н. Ильин, 1999. - 16 с. - Текст : непосредственный.Кириченко К.Д. Бесповторные и слабоповторные булевы функции в предэлементарных базисах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / К. Д. Кириченко, 2000. - 14 с. - Текст : непосредственный.Семенова М.В. К теории полудистрибутивных решеток : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / М. В. Семенова, 2000. - 16 с. - Текст : непосредственный.Сафин К.Л. Идеалы итеративных алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / К. Л. Сафин, 2000. - 12 с. - Текст : непосредственный.Когабаев Н.Т. Конструктивные булевы алгебры с выделенными идеалами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Н. Т. Когабаев, 2001. - 11 с. - Текст : непосредственный.Назырова Ю.А. Слойно проективные решетки : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Ю. А. Назырова, 2001. - 13 с. - Текст : непосредственный.Балюк А.С. Сложность булевых функций в классах полиномиальных форм : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. С. Балюк, 2002. - 18 с. - Текст : непосредственный.Гайдуков А.И. Стягиваемые булевы функции и минимизация в нормальных формах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. И. Гайдуков, 2002. - 14 с. - Текст : непосредственный.Зубков О.В. Нахождение, оценка и сравнение числа бесповторных булевых функций в различных базисах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / О. В. Зубков, 2002. - 17 с. - Текст : непосредственный.Степанова А.А. Теоретико-модельные свойства полигонов : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / А. А. Степанова, 2003. - 21 с. - Текст : непосредственный.Шаранхаев И.К. Слабоповторные булевы функции в предэлементарных базисах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / И. К. Шаранхаев, 2003. - 11 с. - Текст : непосредственный.
Показать все результатыAlgebraic logic / сост. H. Andreka, 1991. - VI,746 p. p. - Текст : непосредственный.Schmidt G. Relations and graphs : Discrete mathematics for computer scientists / G.Schmidt,T.Str@:ohlein, 1993. - VIII,301 p. p. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1994. - 36 c. - Текст : непосредственный.Обухов В.Е. Логические уравнения и прикладные задачи / В.Е.Обухов,В.В.Павлов, 1992. - 187 c. - Текст : непосредственный.Rijke M.de The logic peirce algebras / M.de Rijke, 1994. - 23 p. - Текст : непосредственный.Pinus A.G. Constructions of boolean algebras / A.G.Pinus, 1994. - 208 c. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1995. - 38 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Schaller C. Verallgemeinerung der Stone schen Satze : Diss / C.Schaller, 1995. - 155 S. - Текст : непосредственный.Волгин Л.И. АМ-алгебра и ее применения : Две лекции по курсу "Логические основы и модели нейронных сетей" / Л.И.Волгин, 1997. - 51 с. - Текст : непосредственный.Гончаров С.С. Счетные булевы алгебры и разрешимость / С.С.Гончаров, 1996. - 361 с. - Текст : непосредственный.Липачева Е.В. Группы рекурсивных автоморфизмов и полугруппы частичных автоморфизмов булевых алгебр / Е.В.Липачева, 1996. - 37 с. - Текст : непосредственный.Гороховская Н.Г. О понятии "быть свободной алгеброй" в HF-логике / Н.Г.Гороховская,В.Н.Ремесленников, 1995. - 21 c. - Текст : непосредственный.Алаев П.Е. Сложные булевы алгебры с малым рангом / П.Е.Алаев, 1998. - 12 с. - Текст : непосредственный.Винокуров С.Ф. Полиномиальные разложения булевых функций по образам неоднородных операторов / С.Ф.Винокуров,Н.А.Перязев, 1998. - 24 с. - Текст : непосредственный.Перязев Н.А. Слабоповторные булевы функции в бинарном базисе / Н.А.Перязев, 1998. - 12 с. - Текст : непосредственный.Власов В.Н. Конструктивизируемость булевых алгебр элементарной характеристики (1,0,1) / В.Н.Власов, 1998. - 40 с. - Текст : непосредственный.Romanski S. Algorytm wyszukiwania minimalnych punktow monotonicznej funkcji boolowskiej i jego zastosowania / S.Romanski, 1991. - 100 s. - Текст : непосредственный.Шевелев, Ю. П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный.
Показать все результатыМолчанов В.А. Нестандартные приложения алгебры соответствий : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / В. А. Молчанов, 1994. - 28 с. - Текст : непосредственный.Власов В.Н. Алгоритмические свойства булевых алгебр : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. Н. Власов, 1999. - 16 с. - Текст : непосредственный.Липачева Е.В. Рекурсивные и частичные автоморфизмы булевых алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Е. В. Липачева, 1997. - 13 с. - Текст : непосредственный.Перязев Н.А. Существование и сложность представлений булевых функций формулами : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / Н. А. Перязев, 1998. - 25 с. - Текст : непосредственный.Зуев Ю.А. Вероятностные методы в пороговой логике : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09 / Ю. А. Зуев, 1998. - 21 с. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Кириченко К.Д. Бесповторные и слабоповторные булевы функции в предэлементарных базисах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / К. Д. Кириченко, 2000. - 14 с. - Текст : непосредственный.Винокуров С.Ф. Операторы в полиномиальных представлениях булевых функций : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.09 / С. Ф. Винокуров, 2001. - 27 с. - Текст : непосредственный.Когабаев Н.Т. Конструктивные булевы алгебры с выделенными идеалами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Н. Т. Когабаев, 2001. - 11 с. - Текст : непосредственный.Балюк А.С. Сложность булевых функций в классах полиномиальных форм : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. С. Балюк, 2002. - 18 с. - Текст : непосредственный.Гайдуков А.И. Стягиваемые булевы функции и минимизация в нормальных формах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. И. Гайдуков, 2002. - 14 с. - Текст : непосредственный.Зубков О.В. Нахождение, оценка и сравнение числа бесповторных булевых функций в различных базисах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / О. В. Зубков, 2002. - 17 с. - Текст : непосредственный.Шаранхаев И.К. Слабоповторные булевы функции в предэлементарных базисах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / И. К. Шаранхаев, 2003. - 11 с. - Текст : непосредственный.Власов Д.Ю. Структурная характеризация алгебраических систем с ограничением на сложность булевой алгебры формульных классов подсистем : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Д. Ю. Власов, 2003. - 11 с. - Текст : непосредственный.Schaller C. Verallgemeinerung der Stone schen Satze : Diss / C.Schaller, 1995. - 155 S. - Текст : непосредственный.Итеративные алгебры, близкие к транзитивным : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный.О средней сложности булевых функций : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / Р. Н. Забалуев, 2004. - 11 c. - Текст : непосредственный.Алаев П.Е. Вычислимость и разрешимость в классе булевых алгебр : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / П. Е. Алаев, 2006. - 24 с. - Текст : непосредственный.О вероятностях значений случайных булевых выражений : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. Д. Яшунский, 2006. - 13 с. - Текст : непосредственный.Операторные преобразования и минимизация полиномиальных представлений булевых функций : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. С. Казимиров, 2007. - 15 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽