Пусть e – булевское выражение, зависящее от n булевских переменных. Какие утверждения справедливы для истинностных присваиваний и таблицы истинности этого выражения?
Программирование и математика близки. Но мир математики – это бесконечный, непрерывный мир. Мир программирования конечен и дискретен. Математика статична, программирование – динамично. Ощутите разницу на следующем примере. Рассмотрим переменную вещественного типа x: REAL. Укажите, какие утверждения относительно этой переменной справедливы для программирования, но не справедливы для математики?
В тексте класса LINE_BUILDING дано объявление fancy_line: LINE, задающее воображаемую линию метро. Предположим, что задано еще одно объявление - real_line: LINE. Какие утверждения справедливы для этих двух сущностей?
Какие утверждения, связанные с вызовом компонента – x. f, являются корректными?
Какие утверждения о семантике вызова x.f являются корректными?
В тексте класса LINE_BUILDING объявлен атрибут fancy_line класса LINE. Какие утверждения справедливы для fancy_line?
Какие утверждения справедливы для семантики присваивания target := source в языке Eiffel?
Какие утверждения справедливы для синтаксиса присваивания target := source в языке Eiffel?
Какие утверждения являются корректными для связанных понятий – вызова, сущности, объекта, ссылки, void?
Какие утверждения являются корректными для связанных понятий – вызова, сущности, объекта, ссылки, void ?
