Теория вычислительных процессов. Часть 2. Теория сетей Петри и моделирование систем [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2010 - .Теория вычислительных процессов. Часть 2. Теория сетей Петри и моделирование систем / Веретельникова Е. Л. - 2010. - 61 с. - ISBN 978-5-7782-1340-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): вычислительный процесс -- сеть Петри -- моделирование Аннотация: Приведены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Пособие подразделено на темы, в рамках каждой из которых предложены теоретический материал, проиллюстрированный примерами, а также упражнения для самостоятельной работы. Пособие адресовано студентам, изучающим теорию вычислительных процессов. Свободных экз. нет |
Веретельникова, Е. Л. Теоретическая информатика. Теория сетей Петри и моделирование систем [Электронный ресурс] : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2018. - 82 с. - ISBN 978-5-7782-3559-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): дерево достижимости -- конечный автомат -- маркированная сеть -- матричное уравнение -- моделирование системы -- мультиграф -- сеть петри -- теоретическая информатика Аннотация: В работе изложены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Материал подразделен на двенадцать тем, объединенных в три главы, и сгруппирован таким образом, чтобы на аудиторном занятии изучались соответственно две-три темы. В рамках каждой темы предлагаемый теоретический материал иллюстрируется примерами, а затем предлагаются упражнения для самостоятельной работы. Пособие будет полезно и для студентов других специальностей, интересующихся теорией сетей Петри и вопросами моделирования систем. Свободных экз. нет |
Веретельникова, Е. Л. Теоретическая информатика. Доказательство правильности [Электронный ресурс] : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2016. - 51 с. - ISBN 978-5-7782-2875-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): доказательство правильности -- индуктивное утверждение -- математическая индукция -- правильность блок-схемы -- правильность программы -- рекурсивная программа -- структурная индукция -- теоретическая информатика -- язык программирования Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ. Свободных экз. нет |