Приложение
для AndroidПолное описание
007/С 773
Старостин, Михаил Васильевич. Критериальная система неявно предполных классов в трехзначной логике : специальность 01.01.09 - "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Старостин Михаил Васильевич ; Московский государственный университет имени М. В. Ломоносова. - Москва : [б. и.], 2021. - 11 с. - Библиогр.: с. 10-11 (6 назв.). - 100 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 28.01 | 007(043) | |
| 27.03.19 | 510.644(043) |
Кл.слова (ненормированные): математическая кибернетика -- теория функциональных систем -- замкнутые классы функций -- предикатный подход -- управляющие системы -- дискретная математика -- математическая логика
Доп. точки доступа:
Московский государственный университет имени М. В. Ломоносова
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Бюллетень Московского общества испытателей природы. Отдел геологический / Московский государственный университет имени М. В. Ломоносова, Московское общество испытателей природы. - Журнал выходит с 1922г. - Текст : непосредственный.Вестник Московского университета : научный журнал. Серия 1, Математика. Механика / Московский государственный университет имени М. В. Ломоносова, механико-математический факультет МГУ. - Журнал выходит с 1960г. - Текст : непосредственный.Вестник Московского университета : научный журнал. Серия 15, Вычислительная математика и кибернетика. - Журнал выходит с 1977г. - Текст : непосредственный.Вестник Московского университета : научный журнал. Серия 2, Химия. - Журнал выходит с 1946г. - Текст : непосредственный.Вестник Московского университета : научный журнал. Серия 3, Физика, астрономия. - Журнал выходит с 1946г. - Текст : непосредственный.Вестник московского университета : научный журнал. Серия 4, Геология. - Журнал выходит с 1946г. - Текст : непосредственный.Программирование / Российская академия наук. Отделение информатики, вычислительной техники и автоматизации, Московский государственный университет имени М. В. Ломоносова. - Журнал выходит с 1975г. - Текст : непосредственный.Вестник Московского университета. Серия 12, Социально-политические исследования. - Журнал выходит с 19г. - Текст : непосредственный.Справочник для поступающих в Московский университет в. / МГУ им. М. В. Ломоносова. ..в1994 г., 1994. - 208 c. - Текст : непосредственный.Вестник Московского университета : научный журнал. Серия 11, Право. - Журнал выходит с 1960г. - Текст : непосредственный.Всемирная история экономической мысли : В 6 т. / МГУ им. М. В. Ломоносова. Т. 5 : Теоретические и прикладные концепции развитых стран Запада (послевоенный период), 1994. - 559 с. - Текст : непосредственный.Новейшие изменения во внутренней и внешней миграции населения в России и их экономическое значение / В.А.Ионцев,Б.С.Хорев,И.А.Данилова,М.Б.Денисенко;Под ред.Б.С.Хорева, 1994. - 90 c. - Текст : непосредственный.Современные газодинамические и физико-химические модели гиперзвуковой аэродинамики и теплообмена : Сб. ст. / МГУ им. М. В. Ломоносова, Ин-т механики;Под ред. Л.И.Седова. Ч. 1, 1994. - 179 с.,1л. ил. с.,1л. ил. . - Текст : непосредственный.Современные газодинамические и физико-химические модели гиперзвуковой аэродинамики и теплообмена : Сб. ст. / МГУ им. М. В. Ломоносова, Ин-т механики;Под ред. Л.И.Седова. Ч. 2, 1995. - 202 с. - Текст : непосредственный.Геоэкоинформатика : Сб.ст. / МГУ им.М.В.Ломоносова и др., 1995. - 112 c. - Текст : непосредственный.Олег Иванович Мамаев (1925-1994). "Последний из могикан"классической океанологии / МГУ, 1995. - 32 c. - Текст : непосредственный.Оценка геохимических процессов распространения компонентов-загрязнителей в водных средах территории Астраханского газоконденсатного месторождения и геохимической защищенности подземных вод от загрязнения : Метод.руководство / МГУ им.М.В.Ломоносова и др., 1995. - 109 c. - Текст : непосредственный.Природные ресурсы: рациональное использование и охрана / МГУ им. М.В.Ломоносова. Географ. фак, 1996. - 134 c. - Текст : непосредственный.Lomonosov Moscow State University : Проспект / Московский государственный университет имени М. В. Ломоносова, 1996. - 69 c. - Текст : непосредственный.Обратные и некорректно поставленные задачи : Тез. докл. междунар. конф., посвящ. памяти А.Н.Тихонова в связи с 90-летием со дня рождения Москва, 10-13 сент. 1996 / МГУ им. М. В. Ломоносова, 1996. - 207 c. - Текст : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.Хомич В.И. Проблема отделимости в пропозициональных исчислениях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич, 1995. - 27 с. - Текст : непосредственный.Машурян А.С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян, 1995. - 14 с. - Текст : непосредственный.Ешкеев А.Р. Ионсоновские теории : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. Р. Ешкеев, 1995. - 17 с. - Текст : непосредственный.Кудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Бабенышев С.В. Исследования допустимых правил в нестандартных логиках : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Бабенышев, 1995. - 13 с. - Текст : непосредственный.Конев Б.Ю. Оценки высоты термов в наиболее общем унификаторе : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Б. Ю. Конев, 1999. - 15 с. - Текст : непосредственный.Сидон Т.Л. Динамические логики доказательств с оператором доказуемости : Автореферат диссертации на соискание ученой степени канд.физ.-мат. наук:01.01.06 / Т. Л. Сидон, 1997. - 12 с. - Текст : непосредственный.
Показать все результатыКнязев В.В. Синтаксические методы исследования качественных статистических закономерностей реляционных структур : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:05.13.17 / В. В. Князев, 1991. - 8 . - Текст : непосредственный.Абдуллаева Н.Д. Параметрический метод поиска максимального верхнего нуля дискретных монотонных функций в решении задач о покрытии : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Н. Д. Абдуллаева, 1991. - 15 с. - Текст : непосредственный.Голунков Ю.В. Проблемы полноты в функциональных системах программного типа : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09 / Ю. В. Голунков, 1992. - 22 с. - Текст : непосредственный.Серегин И.А. Стохастические модели неопределенности задания функциональной зависимости и их приложения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / И. А. Серегин, 1994. - 10 с. - Текст : непосредственный.Колпаков Р.М. Порождение рациональных чисел вероятностными сетями и функциями алгебры логики : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Р. М. Колпаков, 1994. - 13 с. - Текст : непосредственный.Таранников Ю.В. Множества -уравновешенных булевых наборов и функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Ю. В. Таранников, 1994. - 12 с. - Текст : непосредственный.Таразевич Ю.Г. О сложности реализации функций в некоторых классах плоских контактных схем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Ю. Г. Таразевич, 1994. - 9 с. - Текст : непосредственный.Марков А.А. О разложении корневых деревьев : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / А. А. Марков, 1994. - 11 с. - Текст : непосредственный.Алексеев В.Б. Методы искусственных ограничений и полилинейных форм для решения некоторых метрических и алгоритмических задач в теории дискретных функций : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09 / В. Б. Алексеев, 1995. - 12 с. - Текст : непосредственный.Нгуен Ван Хоа.Структура симметрически замкнутых классов к-значной логики : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / Нгуен Ван Хоа, 1995. - 18 с. - Текст : непосредственный.Жданов Д.А. Мартингальные методы построения моделей объектов, эволюционирующих в случайных средах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / Д. А. Жданов, 1999. - 17 с. - Текст : непосредственный.Кудрявцев В.В. Условия выразимости и полноты для функциональных систем пучков функций к-значной логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. В. Кудрявцев, 1997. - 11 с. - Текст : непосредственный.Дарсалия В.Ш. Проблема полноты для функциональных систем полиномов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. Ш. Дарсалия, 1998. - 15 с. - Текст : непосредственный.Золотых Н.Ю. Расшифровка пороговых и близких к ним функций многозначной логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / Н. Ю. Золотых, 1998. - 12 с. - Текст : непосредственный.Селезнева С.Н. О свойствах полиномов над конечными полями и об алгоритмической сложности распознавания свойств функций многозначных логик, представленных полиномами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / С. Н. Селезнева, 2000. - 14 с. - Текст : непосредственный.Шмерко В.П. Методы и высокопроизводительные вычислительные средства представления и обработки к-значных данных на основе преобразования Фурье и логического дифференциального исчисления : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.13 / В. П. Шмерко, 1990. - 37 с. - Текст : непосредственный.О классах функций k-значной логики, замкнутых относительно операций суперпозиции и перестановки : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / О. С. Тарасова, 2004. - 12 c. - Текст : непосредственный.О глубине и сложности формул в предполных классах k-значной логики : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / Р. Ф. Сафин, 2004. - 8 c. - Текст : непосредственный.О глубине и площади клеточных схем : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / Д. А. Жуков, 2004. - 10 с. - Текст : непосредственный.Дискретные преобразования конечных распределений рациональных вероятностей : автореф. дис. .. д-ра физ.-мат. наук : 01.01.09 / Р. М. Колпаков, 2004. - 22 c. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽