Приложение
для AndroidПолное описание
| ГРНТИ | УДК | |
| 50.09.29 | 004.3'12 | |
| ББК | ||
| 32.965.6 | ||
| 22.18 |
Рубрики:
Дискретные устройства -- Проектирование
Аннотация: Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений.Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Доп. точки доступа:
Поттосин, Ю.В.
Черемисинова, Л.Д.
Физматлит
https://biblioclub.ru/index.php?page=book&id=68136
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-07/38558)
ЭБС Университетская библиотека онлайн : 117342, г. Москва, ул. Обручева, д. 34/63, стр. 3 (Шифр в БД-источнике (BIBLIO): 68136)
Шифр в сводном ЭК: 5b3ba08656c309854973bf4d6d613408
Кондратьев А.С. Задачи по термодинамике, статистической физике и кинетической теории / А. С. Кондратьев, П. А. Райгородский, П. А. Райгородский, 2007. - 253 с. - Текст : электронный.Путинцев Н.М. Классическая теория поляризации молекулярных систем / Н. М. Путинцев, Д. Н. Путинцев, Д. Н. Путинцев, 2011. - 176 с. - Текст : непосредственный.Башкин В.А. Численное исследование задач внешней и внутренней аэродинамики / В. А. Башкин, И. В. Егоров, И. В. Егоров, 2013. - 331 с. - Текст : электронный.Формальский А.М. Управление движением неустойчивых объектов / А. М. Формальский, 2014. - 229 с. - Текст : электронный.Мелешко Е.А. Быстродействующая импульсная электроника / Е. А. Мелешко, 2007. - 317 с. - Текст : электронный.Сабитов К.Б. К теории уравнений смешанного типа / К. Б. Сабитов, 2014. - 300 с. - Текст : электронный.Абрамочкин Е.Г. Современная оптика гауссовых пучков / Е. Г. Абрамочкин, В. Г. Волостников, В. Г. Волостников, 2010. - 184 с. - Текст : электронный.Петров А.Г. Аналитическая гидродинамика : учебное пособие / А. Г. Петров, 2010. - 518 с. - Текст : электронный.Мазалова, Виктория Леонидовна. Нанокластеры: рентгеноспектральные исследования и компьютерное моделирование / В. Л. Мазалова, А. Н. Кравцова, А. В. Солдатов, 2012. - 182 с. (Введено оглавление). - Текст : непосредственный.Салимов Р.Б. Математика для инженеров и технологов / Р. Б. Салимов, 2009. - 483 с. - Текст : электронный.Воропаева Н.В. Геометрическая декомпозиция сингулярно возмущенных систем / Н. В. Воропаева, В. А. Соболев, В. А. Соболев, 2009. - 255 с. - Текст : электронный.Савинов В.П. Физика высокочастотного емкостного разряда / В. П. Савинов, 2013. - 307 с. - Текст : электронный.Винтизенко И.И. Релятивистские магнетроны / И. И. Винтизенко, 2013. - 360 с. - Текст : непосредственный.Бисикало, Дмитрий Валерьевич. Газодинамика тесных двойных звезд / Д. В. Бисикало, А. Г. Жилкин, А. А. Боярчук, 2013. - 632 с. - Текст : непосредственный.Соболев В.А. Редукция моделей и критические явления в макрокинетике / В. А. Соболев, Е. А. Щепакина, Е. А. Щепакина, 2010. - 319 с. - Текст : электронный.Щитов И.Н. Асимптотические разложения решений сингулярно возмущенных задач для обыкновенных дифференциальных уравнений / И. Н. Щитов, 2013. - 169 с. - Текст : электронный.Карлов Н.В. Начальные главы квантовой механики / Н. В. Карлов, Н. А. Кириченко, Н. А. Кириченко, 2006. - 359 с. - Текст : электронный.Карасев И.П. Теория функций комплексного переменного : учебное пособие / И. П. Карасев, 2008. - 214 с. - Текст : электронный.Пугачев В.С. Теория вероятностей и математическая статистика / В. С. Пугачев, 2002. - 496 с. - Текст : электронный.Автоматизация логического проектирования дискретных систем : сборник научных трудов / Институт технической кибернетики (Минск), 1991. - 123 с. - Текст : непосредственный.
Показать все результатыГоловешкин В.А. Теория рекурсии для программистов / В. А. Головешкин, М. В. Ульянов, 2006. - 292 с. - Текст : непосредственный.Сачков Ю.Л. Управляемость и симметрии инвариантных систем на группах Ли и однородных пространствах / Ю. Л. Сачков, 2007. - 223 с. - Текст : непосредственный.Герасимчук В.С. Курс классической математики в примерах и задачах : учеб. пособие: в 3 т. Ч. 1, 2008. - 668 с. - Текст : непосредственный.Герасимчук В. С. Курс классической математики в примерах и задачах : учеб. пособие: в 3 т. Т. 2, 2008. - 503 с. - Текст : непосредственный.
Закревский А.Д. Логические основы проектирования дискретных устройств / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова, 2007. - 589 с. - Текст : непосредственный.Шевчук В.П. Расчет динамических погрешностей интеллектуальных измерительных систем / В. П. Шевчук, 2008. - 283 с. - Текст : непосредственный.Герасимчук, В. С. Курс классической математики в примерах и задачах : Учеб. пособие: в 3 т. Ч. 3, 2009. - 475 с. - Текст : непосредственный.Мышкис А.Д. Прикладная математика для инженеров : Спец. курсы / А. Д. Мышкис, 2007. - 687 с. - Текст : непосредственный.Шевчук В.П. Моделирование метрологических характеристик интеллектуальных измерительных приборов и систем / В. П. Шевчук, 2011. - 319 с. - Текст : электронный.Стрекаловский А.С. Биматричные игры и билинейное программирование / А. С. Стрекаловский, А. В. Орлов, 2007. - 223 с. - Текст : непосредственный.Бурдонов И.Б. Теория соответствия для систем с блокировками и разрушениями / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, 2008. - 411 с. - Текст : непосредственный.Сабитов К.Б. Уравнения математической физики : учебник / К. Б. Сабитов, 2013. - 352 с. - Текст : электронный.Чернов В.М. Арифметические методы синтеза быстрых алгоритмов дискретных ортогональных преобразований / В. М. Чернов, 2007. - 261 с. - Текст : электронный.Сигал И.Х. Введение в прикладное дискретное программирование. Модели и вычислительные алгоритмы : учеб. пособие / И. Х. Сигал, А. П. Иванова, 2007. - 304 с. - Текст : непосредственный.Злобина С.В. Математический анализ в задачах и упражнениях : Учеб. пособие / С. В. Злобина, Л. Н. Посицельская, 2009. - 360 с. - Текст : электронный.Мышкис, Анатолий Дмитриевич. Прикладная математика для инженеров. Специальные курсы : Учебное пособие / А. Д. Мышкис, 2007. - 688 с. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Юшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный.Кармазинский А.Н. Анализ и синтез цифровых устройств / А. Н. Кармазинский, 1989. - 67 c. - Текст : непосредственный.Садовая И.М. Оценка точности моделей задержек фрагментов субмикронных МОП БИС / И. М. Садовая, 2004. - 16 с. - Текст : непосредственный.Гришкин А.С. Генераторы псевдослучайных символов на регистрах сдвига с внутренними сумматорами по модулю при использовании инвесных выходов : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : диссертация на соискание ученой степени канд. техн. наук / А. С. Гришкин, 2006. - 17 с. - Текст : непосредственный.Mahapatra S. Hybrid CMOS single-electron-transistor device and circuit design / S. Mahapatra, A. M. Ionescu, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Токарев В.Л. Базовые схемы цифровой вычислительной техники / В. Л. Токарев, 1995. - 127 c. - Текст : непосредственный.Быстрицкий А.В. Проектирование структуры межсоединений программируемых логических интегральных схем / А. В. Быстрицкий, 2012. - 16 с. - Текст : непосредственный.Кузелин М.О. Современные семейства ПЛИС фирмы XILINX / М. О. Кузелин, Д. А. Кнышев, В. Ю. Зотов, 2004. - 440 с. - Текст : непосредственный.Опадчий Ю.Ф. Аналоговая и цифровая электроника / Ю. Ф. Опадчий, О. П. Глудкин, А. И. Гуров, 2000. - 768 с. - Текст : непосредственный.Останин С.А. Методы синтеза контролепригодных дискретных устройств : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Останин, 2000. - 23 с. - Текст : непосредственный.Инютин С.А. Арифметико-логические основы вычислительных систем / С. А. Инютин, 2001. - 117 с. - Текст : непосредственный.Браммер Ю.А. Импульсные и цифровые устройства / Ю. А. Браммер, И. Н. Пащук, 2002. - 351 с. - Текст : непосредственный.Микропроцессорные, аналоговые и цифровые системы: проектирование и схемотехника, теория и вопросы применения : материалы временных коллективов / Южно-Российский гос. технический ун-т (Новочеркасск), 2007. - 59 с. - Текст : непосредственный.Мальцев П.П. Цифровые интегральные микросхемы / П. П. Мальцев, П. П. Мальцев, Н. С. Долидзе, М. И. Критенко, 1994. - 240 c. - Текст : непосредственный.Цифровые интегральные микросхемы : Справочник / Сост.:В.Ю.Толкачев, Т.А.Кузьмина. Т. 2 : Логические быстродействующие биполярные микросхемы, триггеры и коммутаторы, 1994. - 288 с. - Текст : непосредственный.Ицхоки Я.С. Импульсные и цифровые устройства, 1973. - 591, [1] с. - Текст : непосредственный.Музыченко О.Н. Универсальные методы синтеза логических схем : учеб. пособие. Кн.1, 2005. - 149 с. - Текст : непосредственный.Битар Б. Логические программируемые элементы : препринт / Б. Битар, 1993. - 22 с. - Текст : непосредственный.Деменкова Т.А. Современные методы проектирования цифровых устройств / Т. А. Деменкова, Ю. Д. Тювин, Г. А. Оганян, 2001. - 61 с. - Текст : непосредственный.Hamblen J.O. Rapid prototyping of digital systems / J. O. Hamblen, M. D. Furman, T. S. Hall, 2008 r=on-line
Показать все результатыОстанин С.А. Методы синтеза контролепригодных дискретных устройств : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Останин, 2000. - 23 с. - Текст : непосредственный.Деменкова Т.А. Современные методы проектирования цифровых устройств / Т. А. Деменкова, Ю. Д. Тювин, Г. А. Оганян, 2001. - 61 с. - Текст : непосредственный.Hamblen J.O. Rapid prototyping of digital systems / J. O. Hamblen, M. D. Furman, T. S. Hall, 2008 r=on-lineNavabi Z. Digital design and implementation with field programmable devices / Z. Navabi, 2005 r=on-line.Чередов А.Д. Проектирование цифровых устройств / А. Д. Чередов, 1994. - 96 c. - Текст : непосредственный.Computer-aided design of discrete devices. CAD DD'97 : Second international conference: Proceedings, Minsk, November 12-14,1997 / Институт технической кибернетики (Минск), International conference on computer-aided design of discrete devices(2;1997;Minsk). Vol. 1, 1997. - 189 с. - Текст : непосредственный.Хородов В.С. Разработка методов и средств многоагентного распределенного автоматизированного проектирования структурно-функциональных лингвистических моделей вычислительных устройств / В. С. Хородов, 2015. - 23 с. - Текст : непосредственный.Проектирование средств вычислительной техники.Проектирование цифровых устройств РТС : сборник научных трудовЧ. 2 / Ред. В. Б. Смолов, 1973. - 270 c. - Текст : непосредственный.Макаров Г.В. Проектирование цифровых устройств на микропроцессорах / Г. В. Макаров, Е. Д. Алперин, В. Я. Кнох, 2004. - 194 с. - Текст : непосредственный.Грушвицкий Р.И. Проектирование систем на микросхемах с программируемой структурой / Р. И. Грушвицкий, А. Х. Мурсаев, Е. П. Угрюмов, 2006. - 736 с. - Текст : непосредственный.Матушкин Н.Н. Проектирование дискретных устройств на больших интегральных схемах / Н. Н. Матушкин, 1998. - 35 с. - Текст : непосредственный.Рябец Л.В. Сложность и алгоритмы построения проверяюших тестов и некоторых классов полиномиальных форм булевых функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Л. В. Рябец, 2007. - 18 с. - Текст : непосредственный.Грушвицкий Р. Проектирование систем на микросхемах программируемой логики / Р. Грушвицкий, А. Мурсаев, Е. Угрюмов, 2002. - 606 с. - Текст : непосредственный.Филиппов В.А. Разработка методов синтеза программно-аппаратных комплексов с использованием высокоуровневых языков описания : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. А. Филиппов, 2001. - 16 с. - Текст : непосредственный.Уэйкерли Д.Ф. Проектирование цифровых устройств. Т. 1, 2002. - 543 с. - Текст : непосредственный.Nedjah N. Co-design for system acceleration / N. Nedjah, L. D. Mourelle, 2007 r=on-line. - Текст : электронный.Макаров Н.Н. Конструкторское проектирование электронных модулей : выставочные материалы / Н. Н. Макаров, Е. Н. Викулова, П. С. Кулясов, 2017. - 61 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽
Просмотр издания Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация