Полное описание
Судоплатов, С. В. ISBN 978-5-7782-1252-7. - Текст : непосредственный.
Рубрики: Моделей теория (матем.)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-09/67680)
Шифр в сводном ЭК: f9fc355d4ade1e234ff497600b46c96a
Судоплатов С.В. Дискретная математика / С. В. Судоплатов, Е. В. Овчинникова, 2007. - 255 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : учебное пособие / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с. - Текст : непосредственный. Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : Учеб. / С.В.Судоплатов,Е.В.Овчинникова, 2004. - 224 с. - Текст : непосредственный. Судоплатов С.В. Проблема Лахлана : монография / С. В. Судоплатов, 2009. - 335 с. - Текст : непосредственный. Судоплатов С.В. Элементы дискретной математики : Учеб. для студентов втузов / С.В.Судоплатов,Е.В.Овчинникова, 2002. - 280 с. - Текст : непосредственный. Судоплатов С.В. Дискретная математика : Учебник / С.В. Судоплатов, Е.В. Овчинникова, 2005. - 255 с. - Текст : непосредственный. Судоплатов С.В. Дискретная математика : Учебник / С. В. Судоплатов, Е. В. Овчинникова, 2010. - 279 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов, Е. В. Овчинникова, 2010. - 255 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : Учебник / С.В.Судоплатов,Е.В.Овчинникова, 2003. - 226 с. - Текст : непосредственный. Судоплатов С.В. Теории с конечным числом счетных моделей и полигонометрии групп : автореф. дис. .. д-ра физ.-мат. наук: 01.01.06 / С. В. Судоплатов, 2006. - 30 с. - Текст : непосредственный. Кадомская К.П. Электрооборудование высокого напряжения нового поколения. Основные характеристики и электромагнитные процессы / К. П. Кадомская, Ю. А. Лавров, О. И. Лаптев, 2008. - 342 с. - Текст : непосредственный. Формирование эффективных экономических отношений многоотраслевых интегрированных структур с участием вузов на базе развития инноваций / В. А. Титова, О. Л. Лямзин, О. А. Латуха, О. В. Макаренко, 2007. - 275 с. - Текст : непосредственный. Балаганский И.А. Взрывные системы с инертными высокомодульными элементами : монография / И. А. Балаганский, Л. А. Мержиевский, 2016. - 171 с. - Текст : электронный. Автоматизация технологических процессов на ТЭС и управление ими / П. А. Щинников, Г. В. Ноздренко, А. И. Михайленко [и др.], 2014. - 290 с. - Текст : непосредственный. Пинус А.Г. Производные структуры универсальных алгебр / А. Г. Пинус, 2007. - 202 с. - Текст : непосредственный. Ханин Г.И. Экономическая история России в новейшее время. Т. 1(2008) : Экономика СССР в конце 30-х годов - 1987 год, 2008. - 515 с. - Текст : непосредственный. Тимошенко Е.И. Эндоморфизмы и универсальные теории разрешимых групп / Е. И. Тимошенко, 2011. - 327 с. - Текст : электронный. Матвеев К.А. Вариационные методы исследования устойчивости анизотропных пластин при температурно-силовом нагружении : монография / К. А. Матвеев, Н. В. Пустовой, 2005. - 367 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Исследование конструктивной прочности материалов после комбинированного упрочнения и специальных видов сварки : монография / А. В. Плохов [и др.], 2015. - 391 с. - Текст : непосредственный. Пономарев К.Н. Центроиды групп и жесткие алгебраические группы / К. Н. Пономарев, 2012. - 238 с. - Текст : непосредственный. Попов А.А. Оптимальное планирование эксперимента в задачах структурной и параметрической идентификации моделей многофакторных систем / А. А. Попов, 2013. - 295 с. - Текст : электронный. Дунаев С.В. Термогидродинамика и интенсификация процессов переноса в пленочных газожидкостных аппаратах / С. В. Дунаев, 2005. - 175 с. - Текст : непосредственный. Тушинский Л.И. Структурная теория конструктивной прочности материалов : Монография / Л.И. Тушинский, 2004. - 399 с. - Текст : непосредственный. Алиферов, Александр Иванович. Индукционный и электроконтактный нагрев металлов / А. Алиферов, С. Лупи, 2011. - 410 с. - Текст : непосредственный. Овчинников Ю.В. Технология получения и исследования тонкодисперсных водоугольных суспензий : [монография] / Ю. В. Овчинников, Е. Е. Бойко, 2017. - 307 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный. Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный. Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный. Показать все результаты Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. Maanen H.A.N.van Axioms for No-categorical orderings / H. A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Стрыгин В.З. Теория моделей / В. З. Стрыгин, 2018. - 50 с. - Текст : непосредственный. Algebra and model theory 9 : collection of papers / Ed. A. G. Pinus, 2013. - 168 p. - Текст : непосредственный. Algebra and model theory : Collection of papers / Novosibirsk state technical university. 3, 2001. - 162 с. - Текст : непосредственный. Теоретико-модельная алгебра : Сб. науч. тр. / Казахский ун-т им.С.М.Кирова, 1989. - 140 с. - Текст : непосредственный. Algebra and model theory : Collection of papers / Novosibirsk state technical university. 8, 2011. - 142 с. - Текст : непосредственный. Algebra and Model Theory / Ed.by A.G.Pinus,K.N.Ponomaryov, 1997. - 243 p. - Текст : непосредственный. Бунина Е.И. Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр / Е. И. Бунина, А. В. Михалев, А. Г. Пинус, 2015. - 360 с. - Текст : непосредственный. Пузаренко В.Г. О теории моделей на наследственно конечных надстройках / В.Г.Пузаренко, 2000. - 18 с. - Текст : непосредственный. Algebra and model theory : Collection of papers / Novosibirsk state technical university. 4, 2003. - 197 с. - Текст : непосредственный. Подзоров С.Ю. Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю.Подзоров, 1999. - 11 с. - Текст : непосредственный. Судоплатов С.В. Проблема Лахлана : монография / С. В. Судоплатов, 2009. - 335 с. - Текст : непосредственный. Любецкий В.А. Topics in classical and intuitionistic model theory : Lecture notes / В.А.Любецкий,М.Д.А.Лариджани, 2000. - 389 p. - Текст : непосредственный. Weinstein S. Finite model theory and its applications / S. Weinstein, 2007 r=on-line Кейслер, Говард Джером. Теория непрерывных моделей / Г. Дж. Кейслер, Чэн Чень-чунь; перевод с английского Г. А. Бурле; под редакцией А. Г. Драгалина, 1971. - 184 с. - Текст : непосредственный. Адарченко, Владимир Анатольевич. Непрерывные математические модели : учебно-методическое пособие : в двух частях. Ч. 1, 2025. - 107 с. - Текст : непосредственный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. Душенин Д.И. Абелевы Р-группы и автоустойчивость относительно оракула : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Д. И. Душенин, 2013. - 14 с. - Текст : непосредственный. Ромина А.В. Автоустойчивость и представимость моделей в допустимых множествах : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Ромина, 2001. - 8 с. - Текст : непосредственный. Бунина Е.И. Автоморфизмы и элементарная эквивалентность групп Шевалле и других производных структур : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / Е. И. Бунина, 2010. - 32 с. - Текст : непосредственный. Фокина Е.Б. О тьюринговой сложности классов моделей и теорий : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. Б. Фокина, 2008. - 15 с. - Текст : непосредственный. Maanen H.A.N.van Axioms for No-categorical orderings / H. A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Когабаев Н.Т. Вычислимые представления проективных плоскостей / Н. Т. Когабаев, 2017. - 27 с. - Текст : непосредственный. Стрыгин В.З. Теория моделей / В. З. Стрыгин, 2018. - 50 с. - Текст : непосредственный. Птахов Д.О. Полигоны с примитивно-нормальными и P -стабильными теориями / Д. О. Птахов, 2018. - 19 с. - Текст : непосредственный. Марчук М.И. Определимость и индексные множества моделей автоустойчивых относительно сильных конструктивизаций : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / М. И. Марчук, 2016. - 23 с. - Текст : непосредственный. Попков Р.А. Классификация счетных моделей полных теорий с континуальным числом типов : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Р. А. Попков, 2015. - 20 с. - Текст : непосредственный. Algebra and model theory 9 : collection of papers / Ed. A. G. Pinus, 2013. - 168 p. - Текст : непосредственный. Бунина Е.И. Элементарная эквивалентность линейных и алгебраических групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. И. Бунина, 2001. - 12 с. - Текст : непосредственный. Algebra and model theory : Collection of papers / Novosibirsk state technical university. 3, 2001. - 162 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
