Next:2.1 Стандартные типы данных
Up:Оглавление
Previous:1.3 Задания
 

2. Простейшие программы

• 2.1 Стандартные типы данных
• 2.1.1 Типы данных, переменные и константы
• 2.1.2 Операции и стандартные функции
• 2.1.3 Логический тип (boolean)
• 2.1.4 Тип целый (integer)
• 2.1.5 Вещественный тип (real)
• 2.1.6 Литерный тип (char)
• 2.1.7 Упражнения
• 2.2 Выражения, операторы и функции
• 2.2.1 Выражения
• 2.2.2 Операторы
• 2.2.3 Оператор присваивания
• 2.2.4 Составной оператор
• 2.2.5 Операторы ввода-вывода
• 2.2.6 Общий вид Zonnon-программ
• 2.2.7 Определяемые функции
• 2.2.8 Упражнения
• 2.3 Доказательство свойств программ
• 2.3.1 Зачем нужны доказательства правильности?
• 2.3.2 Внешняя спецификация программы
• 2.3.3 Утверждения как множества состояний
• 2.3.4 Метод промежуточных утверждений
• 2.3.5 Упражнения
• 2.4 Построение линейных программ
• 2.4.1 Периметр и площадь прямоугольного треугольника
• 2.4.2 Симметричная буква
• 2.4.3 Возведение в степень
• 2.4.4 Площадь треугольника
• 2.4.5 Упражнения
• 2.5 Задания

Next:2.1 Стандартные типы данных Up:ОглавлениеPrevious:1.3 Задания