ГПНТБ России - Полное описание

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Полное описание

Порешин, П. П. Дискретная математика: множества, отношения, логика, автоматы : учеб. пособие / П. П. Порешин, Б. Н. Попов ; Моск. авиац. ин-т. - М. : Изд-во МАИ-ПРИНТ, 2014. - 187 с. : ил. - Библиогр.: с. 187 (17 назв.). - 200 экз. - ISBN 978-5-7035-2325-4. - Текст : непосредственный.

ГРНТИ	УДК
27.01.33	51"735"

Рубрики:
Множеств теория
Отношения (матем.)
Математическая логика
Автоматов теория

Доп. точки доступа:
Попов, Б.Н.
Московский авиационный ин-т (нац. исследовательский ун-т)

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-14/19000)

Шифр в сводном ЭК: c64fc2e322694f9dbe0f0869d12c75bb

Гребенюк Г.И. Основы расчета и оптимизации конструкций с использованием метода конечных элементов / Г. И. Гребенюк, Б. Н. Попов, Е. В. Яньков, 1992. - 96 с. - Текст : непосредственный.Попов Б.Н. Администрирование информационных систем : рекомендовано методсоветом ВУЗа / Б. Н. Попов, 2018. - 95 с. - Текст : непосредственный.Попов Б.Н. Цифровые устройства систем приводов летательных аппаратов : учеб. пособие / Б. Н. Попов, 2008. - 124 с. - Текст : непосредственный.Электропривод летательных аппаратов : Учеб. для втузов / В.А.Полковников,Б.И.Петров,Б.Н.Попов и др.;Под общ. ред. В. А. Полковникова, 1990. - 352 c. - Текст : непосредственный.Попов Б.Н. Культурология : Курс лекций для вузов / Б.Н.Попов, 2000. - 125 с. - Текст : непосредственный.Попов Б.Н. Цифровые устройства следящих приводов ЛА : Учеб. пособие / Б.Н.Попов, 1992. - 76 с. - Текст : непосредственный.Обыкновенные дифференциальные уравнения : Учеб.пособие / В.В.Адищев,В.Б.Кардаков,Б.Н.Попов,Г.И.Гребенюк, 1994. - 80 c. - Текст : непосредственный.Метод начальных параметров в курсе "Сопротивление материалов" : Учеб. пособие / Г.И.Гребенюк,Б.Н.Попов,В.В.Адищев,В.Б.Кардаков, 1994. - 56 c. - Текст : непосредственный.Денисов С.Г. Транспьютеры в системах управления и приводах : Учеб. пособие по курсу "Транспьютер. технологии в системах упр. и приводах" / С. Г. Денисов, П. Б. Панфилов, Б. Н. Попов, 1996. - 43 с. - Текст : непосредственный.Попов Б.Н. Методы проектирования и аппаратная реализация цифровых регуляторов для систем управления быстропротекающими процессами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Б. Н. Попов, 1991. - 16 с. - Текст : непосредственный.Порешин П.П. Дискретная математика: множества, отношения, логика, автоматы : учеб. пособие / П. П. Порешин, Б. Н. Попов, 2014. - 187 с. - Текст : непосредственный.Силовые системы управления парашютируемыми объектами : Учеб.пособие для студентов высш.техн.учеб.заведений по направлению "Авиа- и ракетостроение" / В.И.Толмачев,А.Н.Геращенко,В.В.Глазунов,Б.Н.Попов;Под ред.В.И.Толмачева, 1995. - 167 c. - Текст : непосредственный.Вебер, Макс. Город : - / М. Вебер; переводчик Б. Н. Попов, под общей редакцией Н. И. Кареева., 2025. - 158 с. - Текст : электронный.

Порешин П.П. Дискретная математика: множества, отношения, логика, автоматы : учеб. пособие / П. П. Порешин, Б. Н. Попов, 2014. - 187 с. - Текст : непосредственный.

Березуев А.В. Динамика продольного движения воздушных летательных аппаратов : выставочные материалы / А. В. Березуев, В. Д. Елисеев, П. В. Мулин, 2016. - 143 с. - Текст : непосредственный.Бершадский В.А. Основы технологии стендовых испытаний двигательных установок жидкостных ракет. Комплексная отработка / В. А. Бершадский, А. И. Коломенцев, 2016. - 161 с. - Текст : непосредственный.Гришанина Т.В. Колебания вращающейся лопасти несущего винта вертолета : выставочные материалы / Т. В. Гришанина, С. В. Русских ; Ред. Ф. Н. Шклярчук, 2016. - 55 с. - Текст : непосредственный.Бадалова А.Г. Стратегическое управление рисками предприятий авиационно-промышленного комплекса / А. Г. Бадалова, Э. С. Минаев, 2016. - 164 с. - Текст : непосредственный.Макаров В.Ф. Защита информации в телекоммуникационных системах. Кодирование сообщений : выставочные материалы / В. Ф. Макаров, А. И. Куприянов, 2016. - 40 с. - Текст : непосредственный.Юдин В.Н. Активные радиопомехи противорадиолокационной защиты ЛА : выставочные материалы / В. Н. Юдин, Н. А. Осавчук, 2016. - 87 с. - Текст : непосредственный.Машуков Е.В. Конструирование электронных устройств преобразования, передачи и использования электрической энергии : выставочные материалы / Е. В. Машуков, Г. М. Ульященко, 2016. - 83 с. - Текст : непосредственный.Васин А.А. Двухпроводные линии передачи, вибраторные излучатели и антенные решетки : выставочные материалы / А. А. Васин, О. А. Волков, О. В. Терехин ; Ред. Л. И. Пономарев, 2016. - 95 с. - Текст : непосредственный.Прикладная экология. Экологический практикум : выставочные материалы / А. Е. Сорокин, Л. Б. Метечко, Т. И. Хуснетдинова [и др.], 2016. - 94 с. - Текст : непосредственный.Куликов Н.И. Методы косвенного измерения параметров сердечно-сосудистой системы : выставочные материалы / Н. И. Куликов, А. С. Колосов, 2016. - 96 с. - Текст : непосредственный.Бобошина С.Б. Тепловые процессы : выставочные материалы / С. Б. Бобошина, Г. Н. Измайлов, 2016. - 97 с. - Текст : непосредственный.Калабухова Е.П. Основы теории эффективности воздушной стрельбы и бомбометания : выставочные материалы / Е. П. Калабухова, 2017. - 363 с. - Текст : непосредственный.

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Показать все результаты

Бронштейн И.Н. Справочник по математике для инженеров и учащихся втузов / И. Н. Бронштейн, К. А. Семендяев, 1998. - 608 с. - Текст : непосредственный.Натансон И.П. Краткий курс высшей математики / И. П. Натансон, 2001. - 727 с. - Текст : непосредственный.Сборник задач по высшей математике : сборник / А. А. Адамов, А. П. Вилижанин, Н. М. Гюнтер [и др.], 1912. - V,250 с. - Текст : непосредственный.Успенский А.К. Сборник задач по высшей математике : выставочные материалы / А. К. Успенский, 1933. - 339 с. - Текст : непосредственный.Сагитов Р.В. Сборник задач по математике : сборник / Р. В. Сагитов, В. Г. Шершнев, В. И. Ермаков, Р. В. Сагитов, В. Г. Шершнев, 2006. - 159 с. - Текст : непосредственный.Математика, механика, информатика : библиогр. справ. Публикации по проектам РФФИ, завершен. в 2004 году / Рос. фонд фундам. исслед. Ч. 1 : Математика, 2006. - 342 с. - Текст : непосредственный.Борзистая Е.Л. Сборник задач по высшей математике. Ч. 1, 2007. - 171 с. - Текст : непосредственный.Сборник задач по математике для поступающих во втузы / В. К. Егерев, В. В. Зайцев, Б. А. Кордемский ; Ред. М. И. Сканави, 1990. - 528 c. - Текст : непосредственный.Абрамова Л.Г. Расчетно-графические работы по высшей математике : Учеб.-метод. пособие: в 2 ч. Ч. 2, 2007. - 385 с. - Текст : непосредственный.Аматова Г.М. Математика : Учеб. пособие : в 2-х кн. Кн. 1(2008), 2008. - 249 с. - Текст : непосредственный.Аматова Г.М. Математика : Учеб. пособие : в 2-х кн. Кн. 2(2008), 2008. - 237 с. - Текст : непосредственный.Выгодский М.Я. Справочник по элементарной математике / М. Я. Выгодский, 2003. - 509 с. - Текст : непосредственный.Джемесюк И.А. Тематический сборник основных вопросов и заданий по курсу высшей математики (банк задач) / И. А. Джемесюк, Л. Н. Савова, 2005. - 26 с. - Текст : непосредственный.Шипачев В.С. Высшая математика / В. С. Шипачев, 2002. - 479 с. - Текст : непосредственный.Гаврилов Г.П. Задачи и упражнения по дискретной математике / Г. П. Гаврилов, А. А. Сапоженко, 2004. - 416 с. - Текст : непосредственный.Шолохович Ф.А. Основы высшей математики / Ф. А. Шолохович, В. В. Васин, 2003. - 413 с. - Текст : непосредственный.Никифорова Е.Г. Задачи и упражнения в курсе высшей математики : Учеб. пособие. Ч. 2, 1996. - 68 с. - Текст : непосредственный.Виленкин И.В. Высшая математика. Линейная алгебра, аналитическая геометрия, дифференциальное и интегральное исчисление / И. В. Виленкин, В. М. Гробер, 2011. - 415 с. - Текст : непосредственный.Кузнецов Л.А. Сборник заданий по высшей математике. Типовые расчеты / Л. А. Кузнецов, 1994. - 206 c. - Текст : непосредственный.Гиль Л.Б. Сборник задач по математике : учеб. пособие. Ч. 1 : Линейная алгебра. Векторная алгебра. Аналитическая геометрия, 2013. - 134 с. - Текст : непосредственный.

Показать все результаты

Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Козловский А.В. Дискретная математика: Основные теоретико-множественные конструкции : Учеб. пособие. Ч. 7 / ред. Н. В. Крапухина, 2010. - 127 с. - Текст : непосредственный.Transactions on rough sets V / SpringerLink (Online service), 2006 r=on-line Множества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный.Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Богомолов А.М. Эксперименты с автоматами, 1973. - 144 с. - Текст : непосредственный.Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В. Е. Шестопал, 1997. - 19 с. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.

Показать все результаты

Порешин П.П. Дискретная математика: множества, отношения, логика, автоматы : учеб. пособие / П. П. Порешин, Б. Н. Попов, 2014. - 187 с. - Текст : непосредственный.

Заказ фрагмента документа ₽