Полное описание
Кузнецов, В. А.
ГРНТИ УДК 27.03.19 510(04) 03.91
Рубрики: Математическая логика
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/17370/91.19)
Шифр в сводном ЭК: 44533a5ccb0357338483eda252dc4178
Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Инженерные системы зданий и сооружений. Теплогазоснабжение и вентиляция : выставочные материалы / Е. М. Авдолимов, В. А. Жила, Л. И. Жуйкова [и др.] ; Ред. П. А. Хаванов, 2014. - 319 с. - Текст : непосредственный. Кузнецов В.А. Геохимия аллювиального литогенеза, 1973. - 278 с. - Текст : непосредственный. Кузнецов В.А. Обоснование технологии буровзрывных работ в карьерах и открытых горно-строительных выработках на основе деформационного зонирования взрываемых уступов : специальность 25.00.20 "Геомеханика, разрушение горных пород, рудничная аэрогазодинамика и горная теплофизика" : диссертация на соискание ученой степени д-ра техн. наук / В. А. Кузнецов, 2010. - 43 с. - Текст : непосредственный. Материаловедение и технология конструкционных материалов : учебное пособие / В. Б. Арзамасов, А. Н. Волчков, В. А. Головин [и др.], 2011. - 447 с. - Текст : непосредственный. Кузнецов В.А. Основы гидрогазодинамики : выставочные материалы / В. А. Кузнецов, 2012. - 107 с. - Текст : электронный. Теплогазоснабжение и вентиляция : выставочные материалы / Е. М. Авдолимов, О. Н. Брюханов, В. А. Жила [и др.], 2014. - 400 с. - Текст : непосредственный. Сравнительная озерная седиментация в пространстве и времени : монография / В. А. Кузнецов, А. Л. Жуховицкая, Я. К. Еловичева, 1992. - 46,44 с. с. - Текст : непосредственный. Черепахин А.А. Материаловедение : выставочные материалы / А. А. Черепахин, И. И. Колтунов, В. А. Кузнецов, 2015. - 237 с. - Текст : электронный. Кузнецов В.А. Роль ионного обмена в формировании природных вод и рассолов : специальность 02.00.01 "Неорганическая химия" : автореферат диссертации на соискание ученой степени д-ра хим. наук / В. А. Кузнецов, 1997. - 53 с. - Текст : непосредственный. Кузнецов В.А. Математика - 9 для студентов вузов. Математическая статистика / В. А. Кузнецов, Ю. П. Самарин, 2002. - 115 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Боднар О.Я. Динамическая симметрия / О. Я. Боднар, 1990. - 69 с. - Текст : непосредственный. Спектр спиновых возбуждений в негейзенбергских антиферромагнетиках со структурой La2 Ni O4 с учетом мультиплетности атомных состояний / М. Б. Гусейнов, Х. М. Пашаев, Н. Г. Гусейнов, М. Т. Касумов, 1991. - 34 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Солдатенко Г.А. Постоянные магниты в осветителе электронного микроскопа высокого разрешения / Г. А. Солдатенко, 1988. - 16 c. - Текст : непосредственный. Кристовский Г.В. Электронно-физическое моделирование КМОП БИС / Г. В. Кристовский, Л. А. Маслова, Ю. В. Фастовец, 1990. - 15 с. - Текст : непосредственный. Герман-Галкин С.Г. Применение силовых полупроводниковых приборов в преобразовательной технике / С. Г. Герман-Галкин, В. А. Рудский, Н. Н. Юрченко, 1990. - 32 с. - Текст : непосредственный. Новицкий В.В. Декомпозиция линейных управляемых систем / В. В. Новицкий, 1990. - 27 с. - Текст : непосредственный. Новицкий В.В. Декомпозиция и модальное управление в линейных системах / В. В. Новицкий, 1990. - 27 с. - Текст : непосредственный. Федорин Я.В. Метод численного моделирования конвективного и адвективного тепломассопереноса для многослоистых сред / Я. В. Федорин, 1990. - 29 c. - Текст : непосредственный. Богданов Ю.И. Вынужденное излучение трубчатого электронного пучка в ондуляторе с переменным периодом / Ю. И. Богданов, 1990. - 10 с. - Текст : непосредственный. Сидоренко И.Н. Particle loss regions in phase space for torsatron configurations. 1 / И. Н. Сидоренко, А. А. Шишкин, 1990. - 16 p. - Текст : непосредственный. Чечкин В.В. On a mechanism of antenna phasing effect on impurity production during icrf plasma heating / В. В. Чечкин, Л. И. Григорьева, 1990. - 15 p. - Текст : непосредственный. Коллективное взаимодействие моноэнергетических РЭП большой энергии с плазмой / А. К. Березин, В. А. Киселев, И. Н. Онищенко, Я. Б. Файнберг, 1989. - 16 c. - Текст : непосредственный. Салеев В.А. J/ production in hadron-nucleus and nucleus-nucleus collisions at high energies / В. А. Салеев, Н. П. Зотов, 1990. - 17 p. - Текст : непосредственный. Многоцелевой детекторный модуль для регистрации нейтронов в околеземном пространстве / М. И. Панасюк, П. И. Шаврин, О. Ю. Нечаев, 1990. - 23 с. - Текст : непосредственный. Возбуждение колебаний при взаимодействии электронного пучка с создаваемой им плазмой / Ю. П. Блиох, Н. М. Землянский, М. Г. Любарский, 1990. - 7 c. - Текст : непосредственный. Качаловская Н.Е. Равновесие упругой среды с эллипсоидальной неоднородностью при условии гладкого контакта на ее границе / Н. Е. Качаловская, А. Ф. Улитко, 1989. - 34 с. - Текст : непосредственный. Информационная система "ГИС-сейсморазведка" при детальном изучении строения нефтегазовых объектов / Е. А. Галаган, П. Г. Гильберштейн, Л. В. Кузнецова, 1989. - 81 c. - Текст : непосредственный. Рыков В.А. Передача импульса молекулам газа дрейфовыми потоками ионов и электронов / В. А. Рыков, А. В. Худяков, 1999. - 13 с. - Текст : непосредственный. Беляев Ю.Э. Моделирование роста фрактальных кластеров в газовой фазе / Ю. Э. Беляев, Ю. Е. Лозовик, А. А. Пурецкий, 1991. - 31 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Chen Y. Meshless methods in solid mechanics / Y. Chen, J. Lee, A. Eskandarian, 2006 r=on-line Romano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-line Teodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-line Иванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Иванова, 2007. - 15 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Разностные схемы : сборник№ 5 / Ред. В. Г. Дулов, 1989. - 162 с. - Текст : непосредственный. Хованский А.Д. Геохимия аквальных ландшафтов / А. Д. Хованский, 1993. - 239 c. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Кузнецов П.Б. Основы нечеткой математики. Теория нечетких множеств / П. Б. Кузнецов, Ю. К. Оленикова, 2003. - 154 с. - Текст : непосредственный. Арсеньев Д.Г. Адаптивное управление в стохастических методах вычислительной математики и механики : учебное пособие / Д. Г. Арсеньев, В. М. Иванов, М. Л. Кореневский, 2008. - 423 с. - Текст : непосредственный. Цивинский С.В. Специальная теория относительности, понятие времени, новая возможность уточнения классической механики и зависимость физических свойств от скорости движения / С. В. Цивинский, 1989. - 33 л. - Текст : непосредственный. Численные методы механики сплошной среды : материалы временных коллективов / АН СССР, Сибирское отделение, 1991. - 171 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Орехов Ю.В. Математическая логика / Ю. В. Орехов, Э. Ю. Орехов, 2006. - 161 с. - Текст : непосредственный. Makkai M. Duality and definability in first order logic / M. Makkai, 1993. - X,106 p. p. - Текст : непосредственный. Лексаченко В.А. Дискретная математика. Математическая логика и теория множества / В. А. Лексаченко, 1998. - 49 с. - Текст : непосредственный. Тимофеева И.Л. Математическая логика / И. Л. Тимофеева, 2007. - 303 с. - Текст : непосредственный. Шрайнер П.А. О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями / П. А. Шрайнер, 1998. - 21 с. - Текст : непосредственный. Тишковский Д.Е. Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик / Д. Е. Тишковский, 1998. - 15 с. - Текст : непосредственный. Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный. Исследования по конструктивной математике и математической логике : Сб. 10, 1997. - 152 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : учебное пособие / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с. - Текст : непосредственный. Показать все результаты Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Шрайнер П.А. О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями / П. А. Шрайнер, 1998. - 21 с. - Текст : непосредственный. Тишковский Д.Е. Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик / Д. Е. Тишковский, 1998. - 15 с. - Текст : непосредственный. Шестопал В.Е. Теория элементов и множеств / В.Е.Шестопал, 1990. - 34 с. - Текст : непосредственный. Кутателадзе С.С. Что такое булевозначный анализ? / С. С. Кутателадзе, 2006. - 27 с. - Текст : непосредственный. Кудинов О.В. Проблема описания автоустойчивых моделей / О.В.Кудинов, 1995. - 16 c. - Текст : непосредственный. Стрыгин В.З. Матричная логика и комбинаторные машины / В.З.Стрыгин, 1998. - 19 с. - Текст : непосредственный. Стрыгин В.З. Переборные задачи, сводимые к решенным матричной логикойЧ. 2 / В.З.Стрыгин, 2002. - 16 с. - Текст : непосредственный. Стрыгин В.З. Метаматематическое, теоретико-множественное и математико-логическое обоснование решения некоторых NP-полных задач полиномиальными алгоритмами / В.З.Стрыгин, 1994. - 35 с. - Текст : непосредственный. Чернавский Д.С. Явление неустойчивости и проблемы логики / Д.С.Чернавский,В.А.Намиот, 2002. - 15 с. - Текст : непосредственный. Стрыгин В.З. Закон третьего и линейный алгоритм выявления общезначимости (выполняемости) булевых формул / В.З.Стрыгин, 1995. - 7 c. - Текст : непосредственный. Кузнецов Е.В. Алгоритмические задачи / Е.В.Кузнецов, 1990. - 48 с. - Текст : непосредственный. Стрыгин В.З. Переборные задачи, сводимые к решенным матричной логикой / В.З.Стрыгин, 2001. - 15 с. - Текст : непосредственный. Поваров Г.Н. Простой метод записи и проверки формул исчисления предикатов / Г.Н.Поваров, 1990. - 20 c. - Текст : непосредственный. Стрыгин В.З. Решение переборных задач сведением к матричной логике / В.З.Стрыгин, 2001. - 12 с. - Текст : непосредственный.
Приложение
для Android
