Справка
x
Customize font
Версия сайта для слабовидящих
Login/Registration
Электронная библиотечная система
Консультант студента
Books
ru
en
Электронная библиотечная система
Консультант студента
Books
Login/Registration
Profile
Password change
Access
Bookmarks
Notifications
My lists
My reports
Get access remotely
User's Manual
Exit
Во всей библиотеке
Закрыть
Искать
Везде
По названиям
По авторам
Издательство
Тип издания
Год издания
Publishing Houses
Abris
Akademichesky Proyekt
Alpina PRO
Alpina Biznes Bux
Alpina non-fikshn
Alpina Pablisher
Altair
ANTELKOM
ASV
Aspekt-Press
AST-PRESS KNIGA
Belorusskaya nauka
BINOM
Blok-Print
Briansky GAU
VAKO
VGUIT
Veche
VKN
VLADOS
Vremia
VSHOUZ-KMK
Visshaya shkola ekonomiki
Visheyshaya shkola
Galart
Gangut
Genezis
GIORD
Gornaya kniga
Goriachaya liniya - Telekom
Gramota
GEOTAR-Media
Dashkov i K
Delo
Delovoy stil
Direkt-Media
Direktmedia Pablishing
Dmitry Sechin
DMK-press
DODEKA
Zertsalo-M
Zlatoust
Znak
Ivanovskaya GSKHA
Ivanovsky GKHTU
Izdatelsky dom "GENZHER"
Izdatelsky dom V. Yema
Institut obshegumanitarnikh issledovany
Institut psikhologii RAN
Intellekt-Tsentr
Intellektualnaya literatura
Intermediator
Intermediya
INTUIT
Infra-Inzheneriya
Kazansky GMU
Karo
KGAVM
Knigodel
Knizhny mir
KNITU
Kogito-Tsentr
KolosS
Korvet
KTK "Galaktika"
KFU
Laboratoriya znany
Litterra
Logos
Mashinostroyeniye
MGIMO
MGTU im. N.E. Baumana
MGU im. Lomonosova
Meditsina
Mezhdunarodniye otnosheniya
Menedzher zdravookhraneniya
Mir i obrazovaniye
MISI - MGSU
MISiS
Molodaya gvardiya
MEI
Nizhegorodsky GASU
Novosibircky GU
Novosibirsky GTU
Olimpiya
Orenburgsky GU
Original-maket
Pero
Perse
Politekhnika
Progress-Traditsiya
Prometey
Prosvesheniye
Prospekt
Prospekt Nauki
R. Valent
RG-Press
RGGU
Remont i Servis 21
RIPO
Rodniki
RUDN
Rukopisniye pamiatniki Drevney Rusi
Rusistika
Russko-kitayskoye yuridicheskoye obshestvo
Russkoye slovo - uchebnik
RiazGMU
Sankt-Peterburgsky mediko-sotsialny institut
SAFU
V. Sekachev
Sekvoyia
SibGUTI
SibGUFK
Sibirskoye universitetskoye izdatelstvo
Sinergiya
SKIFIYA
Sovetsky sport
SOLON-Press
Sotsium
Sport
Stavropolsky GAU
Statut
Strelka Press
Studiya ARDIS
SFU
TGASU
Text
Terevinf
Terra-Sport
Tekhnosfera
Tomsky GU
Tochka
Universitetskaya kniga
Fenix
Fizmatlit
Finansi i statistika
Flinta
Khimizdat
Khobbiteka
Chelovek
Expert-Nauka
Yuniti-Dana
Yustitsinform
YUFU
Yaziki slavianskikh kultur
Check all
Uncheck all
**Данные блоки поддерживают скрол
Title Types
avtoreferat dissertatsii
adresnaya/telefonnaya kniga
antologiya
afisha
biobibliografichesky spravochnik/slovar
biografichesky spravochnik/slovar
bukvar
dokumentalno-khudozhestvennoye izdaniye
zadachnik
ideografichesky slovar
instruktivno-metodicheskoye izdaniye
instruktsiya
katalog
katalog auktsiona
katalog biblioteki
katalog vistavki
katalog tovarov i uslug
materiali konferentsii (syezda, simpoziuma)
monografiya
muzeyny katalog
nauchno-khudozhestvennoye izdaniye
nauchny zhurnal
nomenklaturny katalog
orfografichesky slovar
orfoepichesky slovar
pamiatka
perevodnoy slovar
pesennik
praktikum
prakticheskoye posobiye
prakticheskoye rukovodstvo
preyskurant
preprint
prolegomeni, vvedeniye
promishlenny katalog
prospekt
putevoditel
rabochaya tetrad
razgovornik
samouchitel
sbornik nauchnikh trudov
slovar
spravochnik
standart
tezisi dokladov/soobsheny nauchnoy konferentsii (syezda, simpoziuma)
terminologichesky slovar
tolkovy slovar
ustavnoye izdaniye
uchebnaya programma
uchebnik
uchebno-metodicheskoye posobiye
uchebnoye nagliadnoye posobiye
uchebnoye posobiye
uchebny komplekt
khrestomatiya
chastotny slovar
entsiklopedichesky slovar
entsiklopediya
etimologichesky slovar
yazikovoy slovar
Check all
Uncheck all
**Данные блоки поддерживают скрол вверх/вниз
Авторы
Закревский А. Д., Поттосин Ю. В., Черемисинова Л. Д.
Логические основы проектирования дискретных устройств.
Издательство
Физматлит
Тип издания
учебное пособие
Год издания
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 (дата обращения: 27.11.2024). - Режим доступа : по подписке.
Аннотация
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений. Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Downloaded
2014-07-04
Table of contents
Оборот титула
Предисловие
Часть 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. Секвенциальный автомат
+
Список литературы
Предметный указатель