Приложение
для AndroidПолное описание
Подзоров, С. Ю. Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю.Подзоров. - Новосибирск : [б. и.], 1999. - 11 с. - (Препринт / НИИ дискретной математики и информатики(Новосибирск) ; 44). - 100 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.66 | 510.67(04) |
Рубрики:
Моделей теория (матем.)
Кл.слова (ненормированные): модель -- теория
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Останькович А.А. Смешанная задача с производной по времени в граничном условии для квазилинейных гиперболических уравнений второго и четвертого порядка / А.А.Останькович, 1998. - 14 с. - Текст : непосредственный.Кажихов А.В. Корректность одной модели фазового перехода газ-твердое тело / А.В.Кажихов,И.А.Калиев, 1999. - 32 с. - Текст : непосредственный.Останькович А.А. Смешанная задача с производной по времени в граничном условии для квазилинейной гиперболической системы уравнений второго порядка / А.А.Останькович, 1999. - 9 с. - Текст : непосредственный.Байзаев С. Эллиптические системы с ограниченными коэффициентами на плоскости / С.Байзаев, 1999. - 74 с. - Текст : непосредственный.Ревин Д.О. Две D -теоремы для одного класса конечных групп / Д.О.Ревин, 1999. - 42 с. - Текст : непосредственный.Подзоров С.Ю. Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю.Подзоров, 1999. - 11 с. - Текст : непосредственный.Подзоров С.Ю. Однородные булевы алгебры с рекурсивным представлением / С.Ю.Подзоров, 1999. - 12 с. - Текст : непосредственный.Пузаренко В.Г. О теории моделей на наследственно конечных надстройках / В.Г.Пузаренко, 2000. - 18 с. - Текст : непосредственный.Семенова М.В. Разложения в полных решетках / М.В.Семенова, 2000. - 23 с. - Текст : непосредственный.Заварницин А.В. Порядки элементов в накрытиях групп Ln(q) и распознаваемость знакопеременной группы А / А.В.Заварницин, 2000. - 13 с. - Текст : непосредственный.Заварницин А.В. Распознавание по множеству порядков элементов знакопеременных групп степени r+1 и r+2 для простого r / А.В.Заварницин, 2000. - 11 с. - Текст : непосредственный.Шеремет М.С. Неразложимые алгебры в квазимногообразиях частичных алгебр / М.С.Шеремет, 2001. - 26 с. - Текст : непосредственный.Шеремет М.С. Теоремы полноты для логики тождеств Эванса / М.С.Шеремет, 2001. - 12 с. - Текст : непосредственный.
Maanen H.A.N.van Axioms for No-categorical orderings / H.A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный.Algebra and Model Theory / Ed.by A.G.Pinus,K.N.Ponomaryov, 1997. - 243 p. - Текст : непосредственный.Подзоров С.Ю. Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю.Подзоров, 1999. - 11 с. - Текст : непосредственный.Пузаренко В.Г. О теории моделей на наследственно конечных надстройках / В.Г.Пузаренко, 2000. - 18 с. - Текст : непосредственный.Теоретико-модельная алгебра : Сб. науч. тр. / Казахский ун-т им.С.М.Кирова, 1989. - 140 с. - Текст : непосредственный.Любецкий В.А. Topics in classical and intuitionistic model theory : Lecture notes / В.А.Любецкий,М.Д.А.Лариджани, 2000. - 389 p. - Текст : непосредственный.Советско-французский коллоквиум по теории моделей : Караганда, 26-30 июня 1990 г.: Тез. докл. / Советско-французский коллоквиум по теории моделей (1990 ; Караганда) , 1990. - 64 c. - Текст : непосредственный.Algebra and model theory : Collection of papers / Novosibirsk state technical university. 3, 2001. - 162 с. - Текст : непосредственный.Algebra and model theory : Collection of papers / Novosibirsk state technical university. 4, 2003. - 197 с. - Текст : непосредственный.Теория моделей в Казахстане : сб. науч. работ, посвященный памяти А. Д. Тайманова / ред. кол.: М. М. Еримбетов и др., 2006. - 447 с. - Текст : непосредственный.Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный.Проблема Лахлана / С. В. Судоплатов, 2009. - 335 с. - Текст : непосредственный.Algebra and model theory : Collection of papers / Novosibirsk state technical university. 8, 2011. - 142 с. - Текст : непосредственный.Algebra and model theory 9 : collection of papers / ed. A. G. Pinus et al., 2013. - 168 p. - Текст : непосредственный.Бунина Е.И. Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр / Е. И. Бунина, А. В. Михалев, А. Г. Пинус, 2015. - 360 с. - Текст : непосредственный.Стрыгин В.З. Теория моделей / В. З. Стрыгин, 2018. - 50 с. - Текст : непосредственный.Prestel A. Mathematical Logic and Model Theory : A Brief Introduction / by Alexander Prestel, Charles N. Delzell., 2011 r=on-line (Введено оглавление). - Текст : электронный.Зотов, Игорь Николаевич. Соответствие Мальцева и локальные автоморфизмы нильтреугольных алгебр классических типов : специальность 01.01.06 - математическая логика, алгебра и теория чисел : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Зотов Игорь Николаевич, 2021. - 15 с. - Текст : непосредственный.Мархабатов, Нурлан Дарханулы. Теоретико-модельные и топологические свойства семейств теорий : 01.01.06 - "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Мархабатов Нурлан Дарханулы, 2021. - 19 с. - Текст : непосредственный.Емельянов, Дмитрий Юрьевич. Алгебры бинарных изолирующих формул : 01.01.06 - Математическая логика, алгебра и теория чисел : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Емельянов Дмитрий Юрьевич, 2021. - 17 с. - Текст : непосредственный.
Показать все результатыMaanen H.A.N.van Axioms for No-categorical orderings / H.A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный.Algebra and Model Theory / Ed.by A.G.Pinus,K.N.Ponomaryov, 1997. - 243 p. - Текст : непосредственный.Подзоров С.Ю. Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю.Подзоров, 1999. - 11 с. - Текст : непосредственный.Пузаренко В.Г. О теории моделей на наследственно конечных надстройках / В.Г.Пузаренко, 2000. - 18 с. - Текст : непосредственный.Теоретико-модельная алгебра : Сб. науч. тр. / Казахский ун-т им.С.М.Кирова, 1989. - 140 с. - Текст : непосредственный.Любецкий В.А. Topics in classical and intuitionistic model theory : Lecture notes / В.А.Любецкий,М.Д.А.Лариджани, 2000. - 389 p. - Текст : непосредственный.Algebra and model theory : Collection of papers / Novosibirsk state technical university. 3, 2001. - 162 с. - Текст : непосредственный.Algebra and model theory : Collection of papers / Novosibirsk state technical university. 4, 2003. - 197 с. - Текст : непосредственный.Weinstein S. Finite model theory and its applications / S. Weinstein, 2007 r=on-lineAlgebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный.Проблема Лахлана / С. В. Судоплатов, 2009. - 335 с. - Текст : непосредственный.Algebra and model theory : Collection of papers / Novosibirsk state technical university. 8, 2011. - 142 с. - Текст : непосредственный.Algebra and model theory 9 : collection of papers / ed. A. G. Pinus et al., 2013. - 168 p. - Текст : непосредственный.Бунина Е.И. Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр / Е. И. Бунина, А. В. Михалев, А. Г. Пинус, 2015. - 360 с. - Текст : непосредственный.Стрыгин В.З. Теория моделей / В. З. Стрыгин, 2018. - 50 с. - Текст : непосредственный.Кейслер, Говард Джером. Теория непрерывных моделей / Г. Дж. Кейслер, Чэн Чень-чунь ; перевод с английского Г. А. Бурле ; под редакцией А. Г. Драгалина, 1971. - 184 с. - Текст : непосредственный.Адарченко, Владимир Анатольевич. Непрерывные математические модели : учебно-методическое пособие : в двух частях. Ч. 1, 2025. - 107 с. - Текст : непосредственный.
Заказ фрагмента документа ₽