Nur auf LitRes lesen

Das Buch kann nicht als Datei heruntergeladen werden, kann aber in unserer App oder online auf der Website gelesen werden.

Теоретическая информатика. Доказательство правильности
ТекстTextPDF

Umfang 51 seite

2016 Jahr

0+

Теоретическая информатика. Доказательство правильности

Nur auf LitRes lesen

Das Buch kann nicht als Datei heruntergeladen werden, kann aber in unserer App oder online auf der Website gelesen werden.

0,82 €

Über das Buch

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

marmelad-club

Отличный вариант для начинающих. Рекомендую, но с оговоркой, что следующая работа будет еще понятней. Автору – респект!!! Спасибо, что поднимаете такую трудную тему!

Hinterlassen Sie eine Bewertung

Einloggen, um das Buch zu bewerten und eine Rezension zu hinterlassen
Buch Е. Л. Веретельниковой «Теоретическая информатика. Доказательство правильности» — online auf der Website lesen. Hinterlassen Sie Kommentare und Bewertungen, stimmen Sie für Ihre Favoriten.
Altersbeschränkung:
0+
Veröffentlichungsdatum auf Litres:
25 April 2018
Schreibdatum:
2016
Umfang:
51 S.
ISBN:
978-5-7782-2875-7
Gesamtgröße:
1.6 МБ
Gesamtanzahl der Seiten:
51