Скорубский В.И.

Пособие содержит описание и примеры выполнения лабораторных работ по курсу ''Организация ЭВМ''. В качестве основной технологической базы используется доступная в Интернет демо-версия интегрированной системы проектирования (IDE) Keil одноименного подразделения фирмы ARM. В качестве основы для изучения различных вопросов организации и работы компьютеров используется программная модель микрокомпьютер...

Учебное пособие. – СПб: СПб НИУ ИТМО, 2012. – 51 с.Пособие содержит обзор моделей алгоритма: - алгоритмы распознавания регулярных языков конечными автоматами; - свойства читающих, записывающих конечных автоматов и автоматов с выходом; - преобразования блок-схем в конечные автоматы и регулярные выражения; - машины Тьюринга и Поста; - ассоциативные вычисления; - рекурсивные функции. Приводятся задан...

Пособие содержит методику проектирования компьютера со сложной системой команд CISC. Для демонстрации методики используется программная модель микрокомпьютера MCS51, которая изучается в курсе лабораторных работ ''Организация ЭВМ''. Приводится более подробное описание системы команд, ориентированное на разработку схемы и микропрограммирование. Проектирование выполняется в интегрированной среде прое...

В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в лог...