Справка
x
Настроить шрифт
Версия сайта для слабовидящих
Вход / регистрация
Электронная библиотечная система
Консультант студента
Книги
ru
en
Электронная библиотечная система
Консультант студента
Книги
Вход / регистрация
Профиль
Смена пароля
Доступ
Закладки
Уведомления
Мои списки
Мои отчеты
Получить доступ удалённо
Инструкция пользователя
Выход
Во всей библиотеке
Закрыть
Искать
Везде
По названиям
По авторам
Издательство
Тип издания
Год издания
Издательства
Абрис
Академический Проект
Альпина ПРО
Альпина Бизнес Букс
Альпина нон-фикшн
Альпина Паблишер
Альтаир
АНТЕЛКОМ
АСВ
Аспект-Пресс
АСТ-ПРЕСС КНИГА
Белорусская наука
БИНОМ
Блок-Принт
Брянский ГАУ
ВАКО
ВГУИТ
Вече
ВКН
ВЛАДОС
Время
ВШОУЗ-КМК
Высшая школа экономики
Вышэйшая школа
Галарт
Гангут
Генезис
ГИОРД
Горная книга
Горячая линия - Телеком
Грамота
ГЭОТАР-Медиа
Дашков и К
Дело
Деловой стиль
Директ-Медиа
Директмедиа Паблишинг
Дмитрий Сечин
ДМК-пресс
ДОДЭКА
Зерцало-М
Златоуст
Знак
Ивановская ГСХА
Ивановский ГХТУ
Издательский дом "ГЕНЖЕР"
Издательский дом В. Ема
Институт общегуманитарных исследований
Институт психологии РАН
Интеллект-Центр
Интеллектуальная литература
Интермедиатор
Интермедия
ИНТУИТ
Инфра-Инженерия
Казанский ГМУ
Каро
КГАВМ
Книгодел
Книжный мир
КНИТУ
Когито-Центр
КолосС
Корвет
КТК "Галактика"
КФУ
Лаборатория знаний
Литтерра
Логос
Машиностроение
МГИМО
МГТУ им. Н.Э. Баумана
МГУ им. Ломоносова
Медицина
Международные отношения
Менеджер здравоохранения
Мир и образование
МИСИ - МГСУ
МИСиС
Молодая гвардия
МЭИ
Нижегородский ГАСУ
Новосибирcкий ГУ
Новосибирский ГТУ
Олимпия
Оренбургский ГУ
Оригинал-макет
Перо
Персэ
Политехника
Прогресс-Традиция
Прометей
Просвещение
Проспект
Проспект Науки
Р. Валент
РГ-Пресс
РГГУ
Ремонт и Сервис 21
РИПО
Родники
РУДН
Рукописные памятники Древней Руси
Русистика
Русско-китайское юридическое общество
Русское слово - учебник
РязГМУ
Санкт-Петербургский медико-социальный институт
САФУ
В. Секачев
Секвойя
СибГУТИ
СибГУФК
Сибирское университетское издательство
Синергия
СКИФИЯ
Советский спорт
СОЛОН-Пресс
Социум
Спорт
Ставропольский ГАУ
Статут
Стрелка Пресс
Студия АРДИС
СФУ
ТГАСУ
Текст
Теревинф
Терра-Спорт
Техносфера
Томский ГУ
Точка
Университетская книга
Феникс
Физматлит
Финансы и статистика
Флинта
Химиздат
Хоббитека
Человек
Эксперт-Наука
Юнити-Дана
Юстицинформ
ЮФУ
Языки славянских культур
отметить все
снять все метки
**Данные блоки поддерживают скрол
Типы изданий
автореферат диссертации
адресная/телефонная книга
антология
афиша
биобиблиографический справочник/словарь
биографический справочник/словарь
букварь
документально-художественное издание
задачник
идеографический словарь
инструктивно-методическое издание
инструкция
каталог
каталог аукциона
каталог библиотеки
каталог выставки
каталог товаров и услуг
материалы конференции (съезда, симпозиума)
монография
музейный каталог
научно-художественное издание
научный журнал
номенклатурный каталог
орфографический словарь
орфоэпический словарь
памятка
переводной словарь
песенник
практикум
практическое пособие
практическое руководство
прейскурант
препринт
пролегомены, введение
промышленный каталог
проспект
путеводитель
рабочая тетрадь
разговорник
самоучитель
сборник научных трудов
словарь
справочник
стандарт
тезисы докладов/сообщений научной конференции (съезда, симпозиума)
терминологический словарь
толковый словарь
уставное издание
учебная программа
учебник
учебно-методическое пособие
учебное наглядное пособие
учебное пособие
учебный комплект
хрестоматия
частотный словарь
энциклопедический словарь
энциклопедия
этимологический словарь
языковой словарь
отметить все
снять все метки
**Данные блоки поддерживают скрол вверх/вниз
Авторы
Закревский А. Д., Поттосин Ю. В., Черемисинова Л. Д.
Логические основы проектирования дискретных устройств.
Издательство
Физматлит
Тип издания
учебное пособие
Год издания
2007
Читать online
Скачать приложение
Содержание
Предисловие
Часть 1. Множества, отношения, графы. Глава 1. Основные понятия теории множеств
+
Глава 2. Отношения бинарные и n-арные
+
Глава 3. Основные понятия теории графов
+
Глава 4. Изоморфизм графов
+
Глава 5. Циклы и разрезы
+
Глава 6. Доминирующие и независимые множества
+
Глава 7. Раскраска графа
+
Глава 8. Обходы графа
+
Глава 9. Планарные графы
+
Часть 2. Комбинаторные алгоритмы дискретной математики. Глава 10. Комбинаторные задачи и методы комбинаторного поиска
+
Глава 11. Задача о кратчайшем покрытии
+
Глава 12. Задача о вырожденности троичной матрицы
+
Глава 13. Задача о диагностическом тесте
+
Глава 14. Задачи о разбиениях
+
Часть 3. Алгебра логики. Глава 15. Элементы логики высказываний
+
Глава 16. Тавтологии логики высказываний
+
Глава 17. Элементы логики предикатов
+
Глава 18. Элементы абстрактной булевой алгебры. Интерпретации
+
Глава 19. Отношения между формулами, равносильные преобразования
+
Глава 20. Нормальные формы
+
Глава 21. Функциональная полнота
+
Часть 4. Оптимизация в булевом пространстве. Глава 22. Булево пространство
+
Глава 23. Булевы функции
+
Глава 24. Упрощение дизъюнктивных нормальных форм
+
Глава 25. Минимизация ДНФ: метод Квайна-МакКласки
+
Глава 26. Минимизация ДНФ: метод Блейка-Порецкого
+
Глава 27. Визуальный метод минимизации булевых функций
+
Глава 28. Не полностью определенные булевы функции
+
Глава 29. Минимизация слабо определенных булевых функций
+
Глава 30. Нахождение ядра в безызбыточной ДНФ
+
Глава 31. Метод простых совокупностей
+
Глава 32. Минимизация систем булевых функций
+
Глава 33. Минимизация числа аргументов
+
Глава 34. Ортогонализация ДНФ
+
Глава 35. Декомпозиция булевых функций
+
Часть 5. Полиномиальные представления булевых функций. Глава 36. Дифференцирование булевых последовательностей
+
Глава 37. Дифференцирование булевых функций
+
Глава 38. Полиномы Жегалкина и Рида-Маллера
+
Глава 39. Матричные преобразования совершенной ДНФ в полином Жегалкина и обратно
+
Глава 40. Реализация частичных булевых функций полиномами Жегалкина
+
Глава 41. Лестничный алгоритм минимизации полиномов Жегалкина
+
Глава 42. Приближенный алгоритм минимизации полиномов Жегалкина
+
Глава 43. Элементы теории линейных векторных пространств
+
Глава 44. Реализация системы частичных булевых функций полиномами Жегалкина
+
Часть 6. Проектирование логических схем. Глава 45. Системы логического управления и задачи их проектирования
+
Глава 46. Анализ комбинационных схем
+
Глава 47. Синтез комбинационных схем
+
Глава 48. Моделирование логических схем на ЭВМ
+
Глава 49. Диагностика неисправностей в комбинационных схемах
+
Глава 50. Контактные схемы
+
Глава 51. Схемы на транзисторах
+
Глава 52. Транзисторные матричные схемы
+
Глава 53. Программируемые логические матрицы
+
Часть 7. Методы теории автоматов. Глава 54. Понятие и типы конечных автоматов
+
Глава 55. Представление событий в автоматах
+
Глава 56. Минимизация полных автоматов
+
Глав а 57. Минимизация частичных автоматов
+
Глава 58. Кодирование состояний синхронного автомата
+
Глава 59. Кодирование состояний асинхронного автомата
+
Глава 60. Схемная реализация автоматов
+
Часть 8. Алгоритмы логического управления. Глава 61. Алгоритмы и их формальные представления
+
Глава 62. Сети Петри
+
Глава 63. Анализ сетей Петри
+
Глава 64. Параллельные алгоритмы логического управления
+
Глава 65. Параллельный автомат
+
Глава 66. Кодирование состояний параллельного автомата
+
Глава 67. Секвенциальный автомат
+
Список литературы
Предметный указатель
Скопировать биб. запись
Для каталога
Закревский, А. Д. Логические основы проектирования дискретных устройств. / Закревский А. Д. , Поттосин Ю. В. , Черемисинова Л. Д. - Москва : ФИЗМАТЛИТ, 2007. - 592 с. - ISBN 978-5-9221-0811-9. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785922108119.html (дата обращения: 28.12.2024). - Режим доступа : по подписке.
Аннотация
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений. Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Загружено
2014-07-04
Оглавление
Оборот титула
Предисловие
Часть 1. Множества, отношения, графы. Глава 1. Основные понятия теории множеств
+
Глава 2. Отношения бинарные и n-арные
+
Глава 3. Основные понятия теории графов
+
Глава 4. Изоморфизм графов
+
Глава 5. Циклы и разрезы
+
Глава 6. Доминирующие и независимые множества
+
Глава 7. Раскраска графа
+
Глава 8. Обходы графа
+
Глава 9. Планарные графы
+
Часть 2. Комбинаторные алгоритмы дискретной математики. Глава 10. Комбинаторные задачи и методы комбинаторного поиска
+
Глава 11. Задача о кратчайшем покрытии
+
Глава 12. Задача о вырожденности троичной матрицы
+
Глава 13. Задача о диагностическом тесте
+
Глава 14. Задачи о разбиениях
+
Часть 3. Алгебра логики. Глава 15. Элементы логики высказываний
+
Глава 16. Тавтологии логики высказываний
+
Глава 17. Элементы логики предикатов
+
Глава 18. Элементы абстрактной булевой алгебры. Интерпретации
+
Глава 19. Отношения между формулами, равносильные преобразования
+
Глава 20. Нормальные формы
+
Глава 21. Функциональная полнота
+
Часть 4. Оптимизация в булевом пространстве. Глава 22. Булево пространство
+
Глава 23. Булевы функции
+
Глава 24. Упрощение дизъюнктивных нормальных форм
+
Глава 25. Минимизация ДНФ: метод Квайна-МакКласки
+
Глава 26. Минимизация ДНФ: метод Блейка-Порецкого
+
Глава 27. Визуальный метод минимизации булевых функций
+
Глава 28. Не полностью определенные булевы функции
+
Глава 29. Минимизация слабо определенных булевых функций
+
Глава 30. Нахождение ядра в безызбыточной ДНФ
+
Глава 31. Метод простых совокупностей
+
Глава 32. Минимизация систем булевых функций
+
Глава 33. Минимизация числа аргументов
+
Глава 34. Ортогонализация ДНФ
+
Глава 35. Декомпозиция булевых функций
+
Часть 5. Полиномиальные представления булевых функций. Глава 36. Дифференцирование булевых последовательностей
+
Глава 37. Дифференцирование булевых функций
+
Глава 38. Полиномы Жегалкина и Рида-Маллера
+
Глава 39. Матричные преобразования совершенной ДНФ в полином Жегалкина и обратно
+
Глава 40. Реализация частичных булевых функций полиномами Жегалкина
+
Глава 41. Лестничный алгоритм минимизации полиномов Жегалкина
+
Глава 42. Приближенный алгоритм минимизации полиномов Жегалкина
+
Глава 43. Элементы теории линейных векторных пространств
+
Глава 44. Реализация системы частичных булевых функций полиномами Жегалкина
+
Часть 6. Проектирование логических схем. Глава 45. Системы логического управления и задачи их проектирования
+
Глава 46. Анализ комбинационных схем
+
Глава 47. Синтез комбинационных схем
+
Глава 48. Моделирование логических схем на ЭВМ
+
Глава 49. Диагностика неисправностей в комбинационных схемах
+
Глава 50. Контактные схемы
+
Глава 51. Схемы на транзисторах
+
Глава 52. Транзисторные матричные схемы
+
Глава 53. Программируемые логические матрицы
+
Часть 7. Методы теории автоматов. Глава 54. Понятие и типы конечных автоматов
+
Глава 55. Представление событий в автоматах
+
Глава 56. Минимизация полных автоматов
+
Глав а 57. Минимизация частичных автоматов
+
Глава 58. Кодирование состояний синхронного автомата
+
Глава 59. Кодирование состояний асинхронного автомата
+
Глава 60. Схемная реализация автоматов
+
Часть 8. Алгоритмы логического управления. Глава 61. Алгоритмы и их формальные представления
+
Глава 62. Сети Петри
+
Глава 63. Анализ сетей Петри
+
Глава 64. Параллельные алгоритмы логического управления
+
Глава 65. Параллельный автомат
+
Глава 66. Кодирование состояний параллельного автомата
+
Глава 67. Секвенциальный автомат
+
Список литературы
Предметный указатель