Приложение
для AndroidПолное описание
Минитаева, А. М. Кодирование информации. Системы счисления. Основы логики : учебное пособие / А. М. Минитаева ; Московский государственный технический университет имени Н. Э. Баумана (национальный исследовательский университет). - Москва : Изд-во МГТУ им. Н. Э. Баумана, 2019. - 106, [1] с. : ил. - (Учебное пособие МГТУ им. Н. Э. Баумана). - Библиогр.: с. 85 (7 назв.). - 100 экз. - ISBN 978-5-7038-5244-6. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 28.21.19 | 519.72 | |
| 50.33.03 | 004.222 | |
| 27.03.19 | 510 |
Рубрики:
Кодирование и декодирование
Вычислительные машины -- Системы счисления
Математическая логика
Доп. точки доступа:
Московский государственный технический университет имени Н. Э. Баумана (национальный исследовательский университет)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-19/67627)
Шифр в сводном ЭК: 185367d7c1124a9a1fdafa930cca573e
Минитаева А.М. Информатика и программирование : Конспект лекций для дистанционного обучения / А.М. Минитаева, Т.И. Завьялова, 2005. - 95 с. - Текст : непосредственный.Минитаева А.М. Разработка и стандартизация программных средств и информационных технологий : учеб. пособие / А. М. Минитаева, 2011. - 90 с. - Текст : непосредственный.Минитаева А.М. Решение прикладных задач с помощью MATLAB, расширения Simulink : Учебное пособие / А.М.Минитаева,В.С.Щербаков, 2004. - 95 с. - Текст : непосредственный.Минитаева А.М. Правовые системы в бизнесе : учеб. пособие / А. М. Минитаева, 2010. - 85 с. - Текст : непосредственный.Минитаева А.М. Разработка программных модулей для автоматизации проектирования токарных переходов на основе декомпозиции движений, выраженных векторными функциями в параметрах станочных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.12 / А. М. Минитаева, 2002. - 16 с. - Текст : непосредственный.Минитаева А.М. Кодирование информации. Системы счисления. Основы логики : учебное пособие / А. М. Минитаева, 2019. - 106, [1] с. - Текст : непосредственный.Минитаева А.М. Разработка метода экологического мониторинга с оценкой состава вредных выбросов на окружающую среду / А. М. Минитаева. - Текст : непосредственный // Современные проблемы информационной безопасности и программной инженерии. - М. : Сам полиграфист, 2013. - с. 112-117Минитаева А.М. Решение задач анализа и синтеза систем управления с помощью MATLAB, расширения SIMULINK : Учеб. пособие / А. М. Минитаева, Л. Д. Федорова, В. С. Щербаков, 2003. - 59 с. - Текст : непосредственный.Андреева Е.Г. Разработка и стандартизация программных средств : Учеб. пособие / Е. Г. Андреева, А. М. Минитаева, 2006. - 39 с. - Текст : непосредственный.
Руководство к решению задач по векторному анализу : выставочные материалы / Н. И. Сидняев, Н. М. Гордеева, Е. С. Попушина, О. Д. Рыбдылова, 2015. - 51 с. - Текст : непосредственный.Выполнение и чтение чертежей сборочных единиц в курсе "Инженерная графика" : выставочные материалы / Т. Л. Белобородова, Н. В. Палий, Л. С. Сенченкова, В. И. Серегин, 2015. - 65 с. - Текст : непосредственный.Деменков Н.П. Вычислительные методы решения задач оптимального управления на основе принципа максимума Понтрягина : выставочные материалы / Н. П. Деменков, 2015. - 78 с. - Текст : непосредственный.Кокуева Ж.М. Управление проектами : учебное пособие / Ж. М. Кокуева, 2018. - 142 с. - Текст : непосредственный.Ковгар А.А. Базовые средства ассемблера в языках высокого уровня : учебное пособие / А. А. Ковгар, В. П. Осипов, 2018. - 71 с. - Текст : непосредственный.Куприянов А.И. Радиосигналы и радиоустройства в информационных системах : учебное пособие : в двух частях. Ч. 2 : Основные радиотехнические процессы, устройства и системы, 2018. - 121 с. - Текст : непосредственный.Куприянов А.И. Радиосигналы и радиоустройства в информационных системах : учебное пособие : в двух частях. Ч. 1 : Радиосистемы и радиосигналы, 2018. - 119 с. - Текст : непосредственный.Вельтищев В.В. Методы имитационного моделирования систем управления движением подводного аппарата : учебное пособие / В. В. Вельтищев, А. Б. Минеев, 2018. - 122, [1] с. - Текст : непосредственный.Васильев Б.Е. Численное моделирование задач динамики и прочности деталей газотурбинных установок и двигателей : учебное пособие / Б. Е. Васильев, 2018. - 174 с. - Текст : непосредственный.Никитин А.В. Иерархические структуры данных: бинарные деревья : учебное пособие / А. В. Никитин, Т. Н. Ничушкина, 2018. - 53, [1] с. - Текст : непосредственный.Васильев, Игорь Александрович. Основы микропроцессорной техники с элементами моделирования в среде Multisim : учебное пособие / И. А. Васильев, 2018. - 59 с. - Текст : непосредственный.Ничушкина Т.Н. Разработка программ рекурсивной структуры : учебное пособие / Т. Н. Ничушкина, 2018. - 42, [5] с. - Текст : непосредственный.Гелин, Дмитрий Владиленович. Основные признаки и характеристики взрывоопасных предметов : учебное пособие / Д. В. Гелин [и др.], 2019. - 73 с. - Текст : непосредственный.Савченкова В.А. Комплексная оценка лесовозобновления на вырубках и проектирование лесовосстановительных работ : учебное пособие / В. А. Савченкова, 2019. - 56 с. - Текст : непосредственный.Вуллер А.А. Английский язык. Экология и промышленная безопасность : учебное пособие / А. А. Вуллер, Л. В. Степанова, 2019. - 50, [3] с. - Текст : непосредственный.Овечкин, Василий Сергеевич. Микроволновые твердотельные усилители : учебное пособие / В. С. Овечкин, А. И. Суворов, М. Е. Голубцов, 2019. - 92, [4] с. - Текст : непосредственный.Горелов В.А. Программные средства автоматизированного анализа динамики наземных транспортно-технологических комплексов : учебное пособие / В. А. Горелов, А. И. Комиссаров, Б. В. Падалкин, 2019. - 33, [2] с. - Текст : непосредственный.Гладков Н.А. Механика в общем курсе физики : учебное пособие / Н. А. Гладков, А. Н. Морозов, Ю. А. Струков, 2019. - 122, [1] с. - Текст : непосредственный.Леонов А.Г. Космические аппараты обслуживания : учебное пособие по дисциплине "Компоновка космических аппаратов": направление подготовки 24.00.00 "Авиационная и ракетно-космическая техника", специальность 24.05.01 "Проектирование, производство и эксплуатация ракет и ракетно-космических комплексов" (уровень специалитета) / А. Г. Леонов, В. В. Зеленцов, Г. А. Щеглов, 2019. - 48 с. - Текст : непосредственный.Никифоров, Юрий Валентинович. Адсорбционные воздухоразделительные установки для получения газообразного и жидкого азота : учебное пособие / Ю. В. Никифоров, А. А. Казакова, М. Б. Алёхина, 2019. - 63 с. - Текст : непосредственный.
Показать все результатыКокуева Ж.М. Управление проектами : учебное пособие / Ж. М. Кокуева, 2018. - 142 с. - Текст : непосредственный.Чиж М.А. Разработка методов обработки радиоголографических данных для неразрушающего контроля диэлектрических покрытий / М. А. Чиж, 2018. - 21 с. - Текст : непосредственный.Кононов Г.Н. Методы определения компонентного состава древесных тканей : учебное пособие / Г. Н. Кононов, 2018. - 40, [4] с. - Текст : непосредственный.Аринчев С.В. MSC Apex. Рекомендации для начинающих : учебное пособие / С. В. Аринчев, А. В. Гуменюк, 2018. - 36 с. - Текст : непосредственный.Хасаншин Р.Х. Интерполяционные многочлены : учебное пособие / Р. Х. Хасаншин, П. А. Ивлиев, 2018. - 46 с. - Текст : непосредственный.Ковгар А.А. Базовые средства ассемблера в языках высокого уровня : учебное пособие / А. А. Ковгар, В. П. Осипов, 2018. - 71 с. - Текст : непосредственный.Новые подходы и технологии проектирования, производства, испытаний и промышленного дизайна изделий ракетно-космической техники / Московский государственный технический университет имени Н. Э. Баумана (национальный исследовательский университет), 2018. - 475 с. - Текст : непосредственный.Кононов Г.Н. Методы синтеза и анализа производных растительных метаболитов : учебное пособие / Г. Н. Кононов, 2018. - 35, [4] с. - Текст : непосредственный.Котов А.А. Машины и механизмы в лесном и лесопарковом хозяйстве : учебное пособие / А. А. Котов, 2018. - 86 с. - Текст : непосредственный.Белоус В.В. Редактирование базы данных через интерфейс конечного пользователя : учебное пособие / В. В. Белоус, Н. В. Пивоварова, Е. М. Смирнова, 2018. - 20 с. - Текст : непосредственный.Подготовка главы "Безопасность жизнедеятельности" выпускной квалификационной работы бакалавра : учебно-методическое пособие / Н. В. Гренц [и др.], 2018. - 24 с. - Текст : непосредственный.Вельтищев В.В. Методы имитационного моделирования систем управления движением подводного аппарата : учебное пособие / В. В. Вельтищев, А. Б. Минеев, 2018. - 122, [1] с. - Текст : непосредственный.Васильев Б.Е. Численное моделирование задач динамики и прочности деталей газотурбинных установок и двигателей : учебное пособие / Б. Е. Васильев, 2018. - 174 с. - Текст : непосредственный.Меженная Н.М. Основы теории вероятностей и математической статистики : материалы для подготовки к семинарским занятиям: учебно-методическое пособие / Н. М. Меженная, И. А. Рудаков, 2018. - 117, [1] с. - Текст : непосредственный.Никитин А.В. Иерархические структуры данных: бинарные деревья : учебное пособие / А. В. Никитин, Т. Н. Ничушкина, 2018. - 53, [1] с. - Текст : непосредственный.Васильев И.А. Исследование и проектирование комбинационных логических устройств в программной среде Multisim : учебно-методическое пособие / И. А. Васильев, Е. С. Люминарская, 2018. - 21, [5] с. - Текст : непосредственный.Инновационные технологии реновации в машиностроении : сборник трудов Международной научно-технической конференции, посвящённой 150-летию факультета "Машиностроительные технологии" и кафедры "Технологии обработки материалов" МГТУ им. Н. Э. Баумана (4-5 февраля 2019 г., Москва) / Министерство науки и высшего образования РФ, Московский государственный технический университет имени Н. Э. Баумана (национальный исследовательский университет), 2019. - 481 с. - Текст : непосредственный.Васильев, Игорь Александрович. Основы микропроцессорной техники с элементами моделирования в среде Multisim : учебное пособие / И. А. Васильев, 2018. - 59 с. - Текст : непосредственный.Ламинина О.Г. Основы теории социальной коммуникации: введение в специальность : учебно-методическое пособие / О. Г. Ламинина, 2018. - 76 с. - Текст : непосредственный.Захаров, Михаил Николаевич. Надежность механических систем : учебно-методическое пособие / М. Н. Захаров, П. А. Ларюшкин, 2018. - 40, [3] с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Гливенко Е.В. Параллельный процессор первичной обработки информации / Е. В. Гливенко, 1992. - 105 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Помехоустойчивые коды / В. В. Калмыков, А. С. Косолапов, Ю. Н. Себекин, А. И. Сенин ; Ред. А. И. Сенин, 1990. - 48 c. - Текст : непосредственный.Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный.Tutorial : материалы временных коллективов / Ред.Compl. D. D. Gajski, 1987. - IX,593 p. p. - Текст : непосредственный.Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный.Jiang Y. practical guide to error-control coding using MATLAB / Y. Jiang, 2010. - 1 o=электрон. опт. диск (CD-ROM). - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 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 с. - Текст : непосредственный.Зайцев В.Ф. Кодирование информации в ЕС ЭВМ / В. Ф. Зайцев, 1990. - 143 c. - Текст : непосредственный.Фрумкин М.А. Систолические вычисления / М. А. Фрумкин ; ред. Ю. Г. Дадаев, 1990. - 191 c. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Захарова Ю. Ф. Архитектура ЭВМ : Учеб. пособие. Ч. 2,3, 2007. - 112 с. - Текст : непосредственный.Жмакин А.П. Архитектура ЭВМ : учебное пособие / А. П. Жмакин, 2010. - 344 с. - Текст : непосредственный.Digital image processing: techniques and applications, 1994. - XI,386 p. p. - Текст : непосредственный.Мищенко В.К. Архитектура высокопроизводительных вычислительных систем : учеб. пособие. Ч. 1, 2013. - 39 с. - Текст : непосредственный.MeikUS 92 : материалы временных коллективов / Ed.: A. Grant, P. Dew, 1993. - 78 p. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Технологии сетей связи. Особенности кодирования цифровых факсимильных сообщений / О. И. Атакищев, Г. Н. Медведев, А. В. Варганов, 2002. - 158 с. - Текст : непосредственный.Зайцев В.Ф. Кодирование информации в ЕС ЭВМ / В. Ф. Зайцев, 1990. - 143 c. - Текст : непосредственный.Чертов Л.Ф. Знаковость : монография / Л. Ф. Чертов, 1993. - 379 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.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. - Текст : непосредственный.Когновицкий О.С. Двойственный базис и его применение в телекоммуникациях / О. С. Когновицкий, 2009. - 423 с. - Текст : непосредственный.Проненко В.Д. Кодирование, коммутация и сжатие данных в ИС : учебное пособие / В. Д. Проненко, 2008. - 80 с. - Текст : непосредственный.Орехов Ю.В. Математическая логика / Ю. В. Орехов, Э. Ю. Орехов, 2006. - 161 с. - Текст : непосредственный.Тропин М.П. Алгебра: многочлены, алгебраические числа, элементы теории кодирования : учебное пособие / М. П. Тропин, А. А. Урман, 2008. - 87 с. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M. Makkai, 1993. - X,106 p. p. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Чернавский Д.С. Синергетика и информация / Д. С. Чернавский, 1990. - 46 c. - Текст : непосредственный.Помехоустойчивые коды / В. В. Калмыков, А. С. Косолапов, Ю. Н. Себекин, А. И. Сенин ; Ред. А. И. Сенин, 1990. - 48 c. - Текст : непосредственный.Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Jiang Y. practical guide to error-control coding using MATLAB / Y. Jiang, 2010. - 1 o=электрон. опт. диск (CD-ROM). - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный.Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный.Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный.HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Зайцев В.Ф. Кодирование информации в ЕС ЭВМ / В. Ф. Зайцев, 1990. - 143 c. - Текст : непосредственный.Roederer J.G. Information and its role in nature / J. G. Roederer, 2005 r=on-line. - Текст : электронный.
Показать все результатыЗаказ фрагмента документа ₽