Автор: Е. Л. Веретельникова
Теоретическая информатика. Доказательство правильности
Е. Л. Веретельникова
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал...
Теоретическая информатика. Теория сетей Петри и моделирование систем
Е. Л. Веретельникова
В работе изложены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Материал подразделен на двенадцать тем, объединенных в три главы, и сгруппирован таким...
