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

Opis bibliograficzny
1. autor: Закревский А. Д. Аркадий Дмитриевич
Kolejni autorzy: Поттосин Ю. В. Юрий Васильевич, Черемисинова Л. Д. Людмила Дмитриевна
Streszczenie:Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений. Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Wydane: Москва, Физматлит, 2007
Seria:Математика. Прикладная математика
Hasła przedmiotowe:
Format: Książka
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=145805
Opis
Opis fizyczny:592 с. ил.
Streszczenie:Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений. Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
ISBN:9785922108119