Полное описание
Старостин, Михаил Васильевич .
ГРНТИ УДК 28.01 007(043) 27.03.19 510.644(043)
Кл.слова (ненормированные): ДИСКРЕТНАЯ МАТЕМАТИКА -- ЗАМКНУТЫЕ КЛАССЫ ФУНКЦИЙ -- МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ПРЕДИКАТНЫЙ ПОДХОД -- ТЕОРИЯ ФУНКЦИОНАЛЬНЫХ СИСТЕМ -- УПРАВЛЯЮЩИЕ СИСТЕМЫ
Доп. точки доступа: Московский государственный университет имени М. В. Ломоносова
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар21-6364)
Шифр в сводном ЭК: 21485acccf3401474aac62f650926404
Вестник Московского университета : науч. журн. Сер. 1, Математика. Механика / Московский государственный университет имени М. В. Ломоносова, . - Журнал. - Текст : непосредственный. Вестник Московского университета : Науч.журн. Сер. 3, Физика, астрономия / Московский государственный университет имени М. В. Ломоносова, . - Журнал выходит с 1946г. - Текст : непосредственный. Вестник Московского университета. : науч. журн. Сер.11, Право / Московский государственный университет имени М. В. Ломоносова, . - Журнал выходит с 1960г. - Текст : непосредственный. Интеллектуальная система тематического исследования научно-технической информации ("Истина") / С. А. Афонин, А. В. Бахтин, В. Ю. Бухонов [и др.] ; под редакцией В. А. Садовничего, 2014. - 262 с. - Текст : непосредственный. Кудряшов Ю.Б. Радиационная биофизика. Сверхнизкочастотные электромагнитные излучения : учебник / Ю. Б. Кудряшов, А. Б. Рубин, 2014. - 215 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Imagination and rigor / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Радиотехника и кибернетика : материалы временных коллективов, 2013. - 212 с. - Текст : непосредственный. Калинина Н.А. Система 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 с. - Текст : непосредственный. Самойленко В.И. Техническая кибернетика / В. И. Самойленко, В. А. Пузырев, И. В. Грубрин, 1994. - 279 c. - Текст : непосредственный. Показать все результаты Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Марков А.А. О разложении корневых деревьев : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. А. Марков, 1994. - 11 с. - Текст : непосредственный. Таранников Ю.В. Множества -уравновешенных булевых наборов и функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Таранников, 1994. - 12 с. - Текст : непосредственный. Таразевич Ю.Г. О сложности реализации функций в некоторых классах плоских контактных схем : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. Г. Таразевич, 1994. - 9 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Кочергин А.В. О глубине функций многозначной логики : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / А. В. Кочергин, 2013. - 11 с. - Текст : непосредственный. Жданов Д.А. Мартингальные методы построения моделей объектов, эволюционирующих в случайных средах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / Д. А. Жданов, 1999. - 17 с. - Текст : непосредственный. Кудрявцев В.В. Условия выразимости и полноты для функциональных систем пучков функций к-значной логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. В. Кудрявцев, 1997. - 11 с. - Текст : непосредственный. Тарасова О.С. О классах функций k-значной логики, замкнутых относительно операций суперпозиции и перестановки : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / О. С. Тарасова, 2004. - 12 c. - Текст : непосредственный. Сафин Р.Ф. О глубине и сложности формул в предполных классах k-значной логики : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Р. Ф. Сафин, 2004. - 8 c. - Текст : непосредственный. Голунков Ю.В. Проблемы полноты в функциональных системах программного типа : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09 / Ю. В. Голунков, 1992. - 22 с. - Текст : непосредственный. Панин Д.Ю. О порождении монотонных функций из некоторых классов многозначной логики : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Д. Ю. Панин, 2014. - 11 с. - Текст : непосредственный. Дарсалия В.Ш. Проблема полноты для функциональных систем полиномов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. Ш. Дарсалия, 1998. - 15 с. - Текст : непосредственный. Золотых Н.Ю. Расшифровка пороговых и близких к ним функций многозначной логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / Н. Ю. Золотых, 1998. - 12 с. - Текст : непосредственный. Жуков Д.А. О глубине и площади клеточных схем : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Д. А. Жуков, 2004. - 10 с. - Текст : непосредственный. Дудакова О.С. О конечной порожденности предполных классов монотонных функций многозначной логики : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / О. С. Дудакова, 2007. - 8 с. - Текст : непосредственный. Подолько Д.К. О классах функций многозначной логики, замкнутых относительно усиленной операции суперпозиции : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Д. К. Подолько, 2014. - 14 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
