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

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

Bibliografiske detaljer
Hovedforfatter:	Колдаев В. Д. Виктор Дмитриевич
Summary:	В пособии рассматриваются автоматы и формальные языки, классификация языков по Хомскому, порождающие грамматики, распознаватели и конечные автоматы, модель дискретного преобразователя Глушкова, абстрактный и структурный синтез, кодирование состояний синхронного и асинхронного автомата, явление состязаний элементов памяти и гонок в структурном автомате, проблемы и перспективы автоматизации проектирования, системы искусственного интеллекта. Для студентов, обучающихся по направлению и специальностям программного обеспечения вычислительной техники и автоматизированных систем, прикладной математики и обработки информации. Пособие также будет полезно широкому кругу специалистов, занятых в области компьютерного моделирования.
Sprog:	russisk
Udgivet:	Москва, Форум, 2011
Serier:	Высшее образование
Fag:	Цифровые автоматы > Проектирование логическое проектирование арифметические основы логические основы абстрактная теория структурная теория формальные языки классификация по Хомскому распознаватели конечные автоматы дискретный преобразователь Глушкова модели синхронные автоматы асинхронные автоматы кодирование структурные автоматы память искусственный интеллект история робототехника учебные пособия
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=205215

Lignende værker

Введение в методы трансляции учебное пособие
af: Двоенко С. Д.
Udgivet: (Тула, ТулГУ, 2024)

Математические модели автоматов и формальных языков в сфере искусственного интеллекта учебное пособие для вузов
af: Золкин А. Л.
Udgivet: (Санкт-Петербург, Лань, 2025)

Теория и практика языковых процессоров: учебное пособие
af: Шорников Ю. В. Юрий Владимирович
Udgivet: (Новосибирск, Изд-во НГТУ, 2004)

Комбинаторно-алгебраические методы в прикладной математике: межвузовский сборник
Udgivet: (Горький, Изд-во ГГУ, 1983)

Лекции по дискретной математике
Udgivet: (СПб., БХВ-Петербург, 2004)

Дискретная математика: учебник
af: Спирина М. С. Марина Савельевна
Udgivet: (Москва, Академия, 2007)

Дискретная математика: учебник
af: Спирина М. С. Марина Савельевна
Udgivet: (Москва, Академия, 2006)

Теоретические основы проектирования компиляторов: пер. с англ.
af: Льюис Ф. Филип
Udgivet: (Москва, Мир, 1979)

Теория автоматов: учебник для бакалавриата и магистратуры
af: Кудрявцев В. Б. Валерий Борисович
Udgivet: (Москва, Юрайт, 2019)

Логические эксперименты с автоматами
af: Твердохлебов В. А. Владимир Александрович
Udgivet: (Саратов, Изд-во Саратовского ун-та, 1988)

Тестирование программной реализации протокола IRC на основе модели расширенного автомата; Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 5 : Управление, вычислительная техника и информатика
Udgivet: (2011)

Синтез самопроверяемых синхронных цифровых автоматов; Молодежь и современные информационные технологии
af: Ладыженский С. О.
Udgivet: (2005)

Конечноавтоматные системы управления (принципы построения и анализ поведения)
af: Новорусский В. В. Валерий Владимирович
Udgivet: (Новосибирск, Наука, 1982)

Частичные автоматы
af: Чирков М. К. Михаил Константинович
Udgivet: (Ленинград, Изд-во ЛГУ, 1983)

Создание игровой логики. Практикум учебное пособие для вузов
af: Капанов А. А.
Udgivet: (Санкт-Петербург, Лань, 2023)

Модели и методы автоматического чтения
af: Переверзев-Орлов В. С. Вячеслав Сергеевич
Udgivet: (Москва, Наука, 1976)

Введение в теорию автоматов, языков и вычислений: пер. с англ.
af: Хопкрофт Дж. Джон
Udgivet: (Москва, Вильямс, 2002)

Оценка полноты проверки при пассивном тестировании на основе автоматной модели; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика
af: Жигулин М. В.
Udgivet: (2009)

Лекции по теории экспериментов с конечными автоматами: учебное пособие
af: Сперанский Д. В. Дмитрий Васильевич
Udgivet: (Москва, Интернет-Университет информационных технологий, 2010)

Ориентированные графы и конечные автоматы
af: Мелихов А. Н. Аскольд Николаевич
Udgivet: (Москва, Наука, 1971)

Введение в теорию автоматов
af: Кудрявцев В. Б. Валерий Борисович
Udgivet: (Москва, Наука, 1985)

Элементы алгебраической теории автоматов: учебное пособие
af: Плоткин Б. И. Борис Исаакович
Udgivet: (Москва, Высшая школа, 1994)

Прикладная теория цифровых автоматов: учебник для вузов
Udgivet: (Киев, Вища школа, 1987)

Разработка и реализация алгоритмов логического проектирования управляющих автоматов, устойчивых к состязаниям: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.13.01
af: Липский В. Б. Валерий Борисович
Udgivet: (Томск, 1994)

Кибернетическая смесь: Впечатления, находки, случаи, заметки, размышления, рассказанное и увиденное - 50 поводов для разговора о кибернетике
af: Пекелис В. Д. Виктор Давыдович
Udgivet: (Москва, Знание, 1973)

Проектирование автоматизированных систем учеб. пособие
af: Петров А. М.
Udgivet: (Норильск, ЗГУ им. Н.М. Федоровского, 2023)

Дискретные автоматы и сети связи
Udgivet: (Москва, Наука, 1970)

Арифметические и логические основы цифровых автоматов: учебник
af: Лысиков Б. Г. Борис Григорьевич
Udgivet: (Минск, Вышэйшая школа, 1980)

Общемашиностроительные нормативы времени и режимов резания на токарно-автоматные работы. ОНВ; Револьверные и многошпиндельные горизонтальные токарные автоматы: Среднесерийное, крупносерийное и массовое производство; Часть I
Udgivet: (Москва, Экономика, 1989)

Преобразование кодовых сигналов: учебное пособие
af: Филипчук Е. В. Евгений Викторович
Udgivet: (Москва, Изд-во МИФИ, 1979)

Lab VIEW и SWITCH-технология; Промышленные АСУ и контроллеры; № 6
af: Вавилов К. В.
Udgivet: (2006)

Эквивалентные представления дискретных устройств
af: Аскеров Ч. И. Чингиз Исфендияр
Udgivet: (Москва, Энергия, 1978)

Теория автоматов учебник для вузов
af: Кудрявцев В. Б. Валерий Борисович
Udgivet: (Москва, Юрайт, 2024)

Теория автоматов учебник для вузов
af: Кудрявцев В. Б. Валерий Борисович
Udgivet: (Москва, Юрайт, 2025)

Теория автоматов учебник для вузов
af: Кудрявцев В. Б. Валерий Борисович
Udgivet: (Москва, Юрайт, 2022)

Теория автоматов учебник для вузов
af: Кудрявцев В. Б. Валерий Борисович
Udgivet: (Москва, Юрайт, 2023)

Сборник задач по дискретной математике: учебное пособие для студентов вузов обучающихся по специальности "Прикладная математика"
af: Гаврилов Г. П. Гарий Петрович
Udgivet: (Москва, Наука, 1977)

Т. 3; Криптографические методы защиты информации
Udgivet: (2014)

Читающие устройства: сборник докладов на конференции по обработке информации, машинному переводу и автоматическому чтению текста
Udgivet: (Москва, [Б. и.], 1962)

Абстрактная и структурная теория релейных устройств
Udgivet: (Москва, Наука, 1982)