Логические основы проектирования дискретных устройств

Bibliographische Detailangaben
1. Verfasser: Закревский А. Д. Аркадий Дмитриевич
Weitere Verfasser: Поттосин Ю. В. Юрий Васильевич, Черемисинова Л. Д. Людмила Дмитриевна
Zusammenfassung:Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений. Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Sprache:Russisch
Veröffentlicht: Москва, Физматлит, 2007
Schriftenreihe:Математика. Прикладная математика
Schlagworte:
Format: Buch
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=145805

MARC

LEADER 00000nam0a2200000 4500
001 145805
005 20231101221200.0
010 |a 9785922108119 
035 |a (RuTPU)RU\TPU\book\158041 
090 |a 145805 
100 |a 20081022d2007 km y0rusy50 ca 
101 0 |a rus 
102 |a RU 
105 |a a z 001zy 
200 1 |a Логические основы проектирования дискретных устройств  |f А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова 
210 |a Москва  |c Физматлит  |d 2007 
215 |a 592 с.  |c ил. 
225 1 |a Математика. Прикладная математика 
320 |a Библиогр.: с. 581-583. 
320 |a Предметный указатель: с. 584-589. 
330 |a Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений. Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении. 
606 1 |a Дискретные устройства  |x Проектирование  |2 stltpush  |3 (RuTPU)RU\TPU\subj\9603  |9 36818 
610 1 |a множества 
610 1 |a отношения 
610 1 |a графы 
610 1 |a изоморфизм 
610 1 |a дискретная математика 
610 1 |a комбинаторные алгоритмы 
610 1 |a алгебра логики 
610 1 |a логика 
610 1 |a высказывания 
610 1 |a предикаты 
610 1 |a булевы алгебры 
610 1 |a булево пространство 
610 1 |a булевы функции 
610 1 |a ДНФ 
610 1 |a дизъюнктивные нормальные формы 
610 1 |a минимизация 
610 1 |a метод Квайна-МакКласки 
610 1 |a метод Блейка-Порецкого 
610 1 |a ортогонализация 
610 1 |a декомпозиция 
610 1 |a дифференцирование 
610 1 |a полиномы Жегалкина 
610 1 |a полиномы Рида-Маллера 
610 1 |a логические схемы 
610 1 |a проектирование 
610 1 |a конечные автоматы 
610 1 |a логическое управление 
610 1 |a математика 
610 1 |a прикладная математика 
675 |a 681.322.001  |v 3 
700 1 |a Закревский  |b А. Д.  |g Аркадий Дмитриевич 
701 1 |a Поттосин  |b Ю. В.  |g Юрий Васильевич 
701 1 |a Черемисинова  |b Л. Д.  |g Людмила Дмитриевна 
801 1 |a RU  |b 63413507  |c 20081022  |g PSBO 
801 2 |a RU  |b 63413507  |c 20100419  |g PSBO 
900 |a Дискретная микропроцессорная техника 
900 |a Дискретные устройства 
900 |a Дискретные устройства и микропроцессоры 
942 |c BK 
959 |a 92/20081021  |d 1  |e 629,20  |f ЧЗТЛ:1