Отличный вариант для начинающих. Рекомендую, но с оговоркой, что следующая работа будет еще понятней. Автору – респект!!! Спасибо, что поднимаете такую трудную тему!
tekstPDFMaht 51 lehekülg
2016 aasta
Теоретическая информатика. Доказательство правильности
0,81 €
Raamatust
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
Žanrid ja sildid
Esmalt populaarsed
Jätke arvustus
Logi sisse, et hinnata raamatut ja jätta arvustus
Raamat Е. Л. Веретельниковой «Теоретическая информатика. Доказательство правильности» — loe veebis. Jäta kommentaare ja arvustusi, hääleta lemmikute poolt.
Vanusepiirang:
0+Ilmumiskuupäev Litres'is:
25 aprill 2018Kirjutamise kuupäev:
2016Objętość:
51 lk ISBN:
978-5-7782-2875-7Üldsuurus:
1.6 МБLehekülgede koguarv:
51Õiguste omanik:
Новосибирский государственный технический университет
Arvustused
1