Приложение
для AndroidПолное описание
512
Алгебраические и логические конструкции : сб.науч.тр. / Твер.гос.ун-т ; Ред.кол.:Ю.М.Горчаков и др. - Тверь : [б. и.], 1994. - 105 c. - 200 экз. - ISBN 5-230-08552-5 : Б. ц. - Текст : непосредственный.
Библиогр.в конце отд.ст
| ГРНТИ | УДК | |
| 27.17 | 512 | |
| 27.03.19 | 510 | |
| 03.91 |
Рубрики:
Математическая логика
Кл.слова (ненормированные): математическая логика
Доп. точки доступа:
Горчаков, Ю.М.\ред.\
Тверской гос. ун-т
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Webs & quasigroups / Tver state university Russia, 1993. - 112 c. - Текст : непосредственный.Модели,алгоритмы,программы : Сб. науч. тр. / Тверской гос.ун-т, 1993. - 133 с. - Текст : непосредственный.Webs & quasigroups : Межвуз.сб.науч.тр. / Tver.state university, 1993. - 113 c. - Текст : непосредственный.Вопросы теории и практики автоматизированной обработки экономической информации : Сб. науч. тр. / Тверской гос. ун-т, 1993. - 76 c. - Текст : непосредственный.Сегнетоэлектрики и пьезоэлектрики : Сб. науч.тр. / Твер. гос. ун-т., 1993. - 168 c. - Текст : непосредственный.Применение функционального анализа в теории приближений : Сб.науч.тр. / Твер.гос.ун-т, 1993. - 101 c. - Текст : непосредственный.Экологическое состояние города Твери : Сб.науч.тр / Тверской гос.ун-т и др, 1994. - 112 c. - Текст : непосредственный.Применение функционального анализа в теории приближений : Сб. науч. тр. / Твер. гос. ун-т. Ч. 1, 1998. - 167 с. - Текст : непосредственный.Применение функционального анализа в теории приближений : Сб. науч. тр. / Твер. гос. ун-т. Ч. 2, 1998. - 166-269 с. с. - Текст : непосредственный.Рыночная и нерыночная монополия : Сб.науч.тр. / Тверской гос.ун-т, 1994. - 111 c. - Текст : непосредственный.Физическая механика : Сб.науч.тр. / Тверской гос.ун-т, 1994. - 132 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.Физико-химия полимеров.Синтез, свойства, применение : Сб.науч.тр. / Тверской гос.ун-т.Тверской регион.обществ.фонд им.В.А.Каргина, 1995. - 143 c. - Текст : непосредственный.Применение функционального анализа в теории приближений : Сб.науч.тр / Твер.гос.ун-т, 1994. - 152 c. - Текст : непосредственный.Математические методы в химии : Сб.науч.тр. / Тверской гос.ун-т, 1994. - 170 c. - Текст : непосредственный.Трансфер технологий: новые условия и перспективы : Материалы науч.-практ.конф.21-22 мая 1996 г.г.Тверь / Тверской гос. ун-т, 1996. - 77 c. - Текст : непосредственный.Физико-химия полимеров. Синтез, свойства и применение : Сб.науч.тр. / Твер.гос.ун-т. Вып. 2, 1996. - 199 с. - Текст : непосредственный.Экологическое состояние природной среды Верхневолжья : Сб. науч. тр. / Твер. гос. ун-т, 1995. - 87 с. - Текст : непосредственный.Применение функционального анализа в теории приближений : Сб. науч. тр. / Тверской гос.ун-т, 1996. - 145 с. - Текст : непосредственный.Теория квантовых систем с сильным взаимодействием : Сб.науч.тр. / Тверской гос.ун-т, 1995. - 132 с. - Текст : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Щербаков В.А. О группах автоморфизмов и конгруэнциях квазигрупп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. А. Щербаков, 1991. - 10 с. - Текст : непосредственный.Сторожев А.М. Комбинаторное строение относительно свободных групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / А. М. Сторожев, 1991. - 12 с. - Текст : непосредственный.Томанов Г.М. Алгебраические группы и их арифметические свойства : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Г. М. Томанов, 1991. - 19 с. - Текст : непосредственный.Семенов А.А. Разложение Брюа длинных корневых торов в группах Шевалле : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.08 / А. А. Семенов, 1991. - 12 с. - Текст : непосредственный.Имамов Т.Т. Специализированная система аналитических преобразований для вариационных задач механики : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Т. Т. Имамов, 1991. - 17 с. - Текст : непосредственный.Романов С.Л. Закономерности структуры педогеохимических полей азота,фосфора и калия в ландшафтных системах Белоруссии : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / С. Л. Романов, 1991. - 20 с. - Текст : непосредственный.Ахиезер Д.Н. Почти однородные пространства комплексных линейных алгебраических групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Д. Н. Ахиезер, 1991. - 20 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Ногин Д.Ю. Существование перестроек и вопросы конструктивности в теории спиралей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук :01.01.06 / Д. Ю. Ногин, 1990. - 20 с. - Текст : непосредственный.Тараканов Е.В. Эндосвойства модулей над дедекиндовыми кольцами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. В. Тараканов, 1991. - 14 с. - Текст : непосредственный.Голубовски В. Строение изотропных ортогональных групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. Голубовски, 1991. - 11 с. - Текст : непосредственный.Кашу А.И. Основные функторы,кручения и локализации модулей : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / А. И. Кашу, 1991. - 19 с. - Текст : непосредственный.Кондратьев А.С. Подгруппы и модулярные представления конечных квазипростых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Кондратьев, 1991. - 27 с. - Текст : непосредственный.Бейдар К.И. Радикалы,ортогональная полнота и строение колец : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / К. И. Бейдар, 1991. - 19 с. - Текст : непосредственный.Баясгалан Банзрагчийн.Разрешимые теории производных структур полугрупп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Баясгалан Банзрагчийн, 1991. - 17 с. - Текст : непосредственный.Хакимджанов Ю.Б. Многообразия лиевых структур, когомологии и характеристически нильпотентные алгебры ЛИ : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. Б. Хакимджанов, 1991. - 22 с. - Текст : непосредственный.Черноусов В.И. Локально-глобальные принципы в теории линейных алгебраических групп : Автореферат диссертации на соискание ученой степени д-ра физико-мат.наук:01.01.06 / В. И. Черноусов, 1991. - 18 с. - Текст : непосредственный.Птичников А.В. Динамика опустынивания ландшафтов Приаралья за последние 15 лет (с использованием космических методов исследования) : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.11 / А. В. Птичников, 1991. - 27 с. - Текст : непосредственный.
Показать все результатыSommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M.Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 c. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Rijke M.de A Lindstrom theorem for modal logic / M.de Rijke, 1994. - 13 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.Кузнецов В.Н. Теоретическая информатика - I. Элементы теории множеств и математической логики : Учеб. пособие / В.Н.Кузнецов, 1994. - 103 c. - Текст : непосредственный.Таланов В.А. Математическая логика и модели вычислений : Учеб. пособие / В.А.Таланов, 1994. - 116 c. - Текст : непосредственный.Теоретические применения методов математической логики : Сб. работ. 1, 1975. - 180 с. - Текст : непосредственный.Snyder W. A proof theory for general unification / W.Snyder, 1991. - 175 175 p. - Текст : непосредственный.Rijke M.de Modal model theory / M.de Rijke, 1995. - 20 p. - Текст : непосредственный.Akkanen J. Absolute logics / J.Akkanen, 1995. - 83 -. -. - Текст : непосредственный.Blackburn P. Why combine logics? / P.Blackburn,M.de Rijke, 1995. - 18 p. - Текст : непосредственный.
Показать все результатыАхтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Щербаков В.А. О группах автоморфизмов и конгруэнциях квазигрупп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. А. Щербаков, 1991. - 10 с. - Текст : непосредственный.Сторожев А.М. Комбинаторное строение относительно свободных групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / А. М. Сторожев, 1991. - 12 с. - Текст : непосредственный.Томанов Г.М. Алгебраические группы и их арифметические свойства : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Г. М. Томанов, 1991. - 19 с. - Текст : непосредственный.Семенов А.А. Разложение Брюа длинных корневых торов в группах Шевалле : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.08 / А. А. Семенов, 1991. - 12 с. - Текст : непосредственный.Ахиезер Д.Н. Почти однородные пространства комплексных линейных алгебраических групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Д. Н. Ахиезер, 1991. - 20 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Хисамиев Н.Г. Конструктивные абелевы группы : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Н. Г. Хисамиев, 1990. - 24 с. - Текст : непосредственный.Морозов А.С. Группы вычислительных автоморфизмов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов, 1990. - 15 с. - Текст : непосредственный.Ногин Д.Ю. Существование перестроек и вопросы конструктивности в теории спиралей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук :01.01.06 / Д. Ю. Ногин, 1990. - 20 с. - Текст : непосредственный.Тараканов Е.В. Эндосвойства модулей над дедекиндовыми кольцами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. В. Тараканов, 1991. - 14 с. - Текст : непосредственный.Голубовски В. Строение изотропных ортогональных групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. Голубовски, 1991. - 11 с. - Текст : непосредственный.Кашу А.И. Основные функторы,кручения и локализации модулей : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / А. И. Кашу, 1991. - 19 с. - Текст : непосредственный.Вараксин С.В. О разрешимых упорядоченных группах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Вараксин, 1991. - 10 с. - Текст : непосредственный.Кондратьев А.С. Подгруппы и модулярные представления конечных квазипростых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Кондратьев, 1991. - 27 с. - Текст : непосредственный.Бейдар К.И. Радикалы,ортогональная полнота и строение колец : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / К. И. Бейдар, 1991. - 19 с. - Текст : непосредственный.Баясгалан Банзрагчийн.Разрешимые теории производных структур полугрупп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Баясгалан Банзрагчийн, 1991. - 17 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽