Основы логического проектирования: учебное пособие

Bibliographic Details
Main Author: Колдаев В. Д. Виктор Дмитриевич
Summary:В пособии рассматриваются автоматы и формальные языки, классификация языков по Хомскому, порождающие грамматики, распознаватели и конечные автоматы, модель дискретного преобразователя Глушкова, абстрактный и структурный синтез, кодирование состояний синхронного и асинхронного автомата, явление состязаний элементов памяти и гонок в структурном автомате, проблемы и перспективы автоматизации проектирования, системы искусственного интеллекта. Для студентов, обучающихся по направлению и специальностям программного обеспечения вычислительной техники и автоматизированных систем, прикладной математики и обработки информации. Пособие также будет полезно широкому кругу специалистов, занятых в области компьютерного моделирования.
Language:Russian
Published: Москва, Форум, 2011
Series:Высшее образование
Subjects:
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=205215

MARC

LEADER 00000nam0a2200000 4500
001 205215
005 20231101225252.0
010 |a 9785819904589 
010 |a 978-5-16-004643-3 
035 |a (RuTPU)RU\TPU\book\223673 
090 |a 205215 
100 |a 20111207d2011 m y0rusy50 ca 
101 0 |a rus 
102 |a RU 
105 |a a j 001zy 
200 1 |a Основы логического проектирования  |e учебное пособие  |f В. Д. Колдаев 
210 |a Москва  |c Форум  |c Инфра-М  |d 2011 
215 |a 448 с.  |c ил. 
225 1 |a Высшее образование 
320 |a Библиогр.: с. 441-442. 
320 |a Глоссарий: с. 443-447. 
330 |a В пособии рассматриваются автоматы и формальные языки, классификация языков по Хомскому, порождающие грамматики, распознаватели и конечные автоматы, модель дискретного преобразователя Глушкова, абстрактный и структурный синтез, кодирование состояний синхронного и асинхронного автомата, явление состязаний элементов памяти и гонок в структурном автомате, проблемы и перспективы автоматизации проектирования, системы искусственного интеллекта. Для студентов, обучающихся по направлению и специальностям программного обеспечения вычислительной техники и автоматизированных систем, прикладной математики и обработки информации. Пособие также будет полезно широкому кругу специалистов, занятых в области компьютерного моделирования. 
606 1 |a Цифровые автоматы  |x Проектирование  |2 stltpush  |3 (RuTPU)RU\TPU\subj\18364  |9 43811 
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.52/.53.001.6(075.8)  |v 4 
700 1 |a Колдаев  |b В. Д.  |g Виктор Дмитриевич 
801 1 |a RU  |b 63413507  |c 20111207 
801 2 |a RU  |b 63413507  |c 20150709  |g RCR 
900 |a Логическое проектирование 
942 |c BK 
959 |a 98/20111207  |d 2  |e 390,83  |f ЧЗТЛ:1  |f АНЛ:1