@iamthelaw

прошу помощи,нужны эти теоритические вопросы(в гугле ничего найти не могу) этих лекций у меня нет(тут 1-2 лекции)
пожалуйста,напишите,или дайте ссылку...
44. Различие между ЕХЕ – и СОМ – фаилами, требования, предъявляемые к исходному модулю, предназначенному для создания СОМ – файла, примеры программ.
45. Понятие структурного программирования, этап проектирования - композиция и декомпозиция, понятие статической и динамической структуры программы, спецификация программы.
46. Понятие частичной и полной корректности программы, правила вывода - общий вид, правила консеквенции.
47. Правила вывода для операторов С/С++: пустого, присваивания, составного.
48. Правила вывода для операторов ветвления.
49. Правила вывода для циклов с предусловием и постусловием, пример использования правил вывода для реализации цикла с постусловием оператором цикла с постусловием.
50. Пример доказательства правильности программы.

1