NEW
Font size
WorksheetsС++ 26-49
Total questions: 25
Worksheet time: 13mins
Является развитием ламбда-исчисления и представляет собой формальный язык, подобный языку функционального программирования.
комбинаторная логика Х. Каррим
аксиоматический метод Ч. Хоара
метод индуктивных утверждений Р. Флойда
ламбда-исчисление А.Черча
Основными концепциями, характеризующими объектно-ориентированное программирование, являются
<variant> наследование, инкапсуляция, понятие полиморфизма
<variant> наследование, инкапсуляция, понятие полиморфизма, метаданные
<variant> семантика и синтаксис
<variant> ламбда-исчисление, рекурсивные вычисления, комбинаторная логика
Возможность неявно определять тип выражения, исходя из типов выражений, которые его окружают
Выводимость типов
Инкапсуляция
Полиморфная типизация
Рекурсия
Содержат не сами объекты, а лишь ссылки на них, и могут принимать значение null.
Ссылочные типы
Типы значения
Делегаты
Перечисления
Содержат непосредственно объекты данных.
Типы-значения
Ссылочные значения
Перечесления
Типы
Указатели на функцию
Делегаты
Интерфейсы
Массивы
Ти
Перечисления, массивы, классы, интерфейсы и делегаты относятся к
Определённые пользователем типы
Предопределенные типы
Ссылочные типы
Типы значения
Эти преобразования инициируются программистом или пользователем приложения, а следовательно, требуют явного вызова и при этом могут завершаться ошибкой, а также приводить к потере точности
Явные
Неявные
Ссылочные
Простые
Они передаются компилятору в ходе трансляции программы на том или ином языке программирования под управлением среды Microsoft .NET по ссылке (при этом используется опция /r или /reference )
Ссылки
Делегаты
Ссылочные типы
Интерфейсы
Типы
Что не является подтипом типов-значений
Ссылочный
Перечисляемый
Структурный
Какими бывают типы:
<variant> предопределенными и userdefined
<variant> предопрделенными и непредопределенными
<variant> вещественными и существенными
<variant> ссылочными и предопределенными
<variant> ссылочными
совокупность объектов
Класс
Свойство
Метод
Множество
Инициализация объекта класса C# производится посредством оператора
New
Public
Class
В языке программирования C# инициализация поля
Необязательным
Обязательным
Инициализации нет
В любом месте
Что является экземпляром (instantiation) класса в языке программирования
Объект
Класс
Поле
Тип
Операция, которая определена над объектами того или иного класса .
Метод
Массив
Домен
Функция
Оператор
Семантика – это
<variant> смысловое значение слов
<variant> синтаксическое значение слов
<variant> начальное смысловое значение операторов
<variant> математическое значение операторов
<variant> математическое значение
Домент параметра «состояние» …
State
Memory
Bool
Vlue
Домен параметра «значение»…
Value
Memory
Bool
State
Float
Что такое формальная модель ?
<variant>модель, заданная на математическом или любом другом формализованном языке
<variant> модель объекта
<variant> модель объекта, представленная в виде информации, описывающей существенные для данного рассмотрения параметры и переменные величины объекта
<variant> схема
<variant> то система, исследование которой служит средством для получения информации о другой системе
Логическое выражение..
True and false
I=E
m.memory
While A
While B
Домен значений представляет собой дизъюнктную сумму доменов, содержащих существующие в языке C# типы …
Int и bool
v, s'
State и exp
Sate и bool
Денотатом отрицания выражения является
<variant> отрицание его значения
<variant> значение в новом состоянии
<variant> сообщение об ошибке
<variant> значение в прежнем состоянии
<variant> значение
Денотатом присваивания является
<variant> присвоенное значение в новом состоянии
<variant> сообщение об ошибке
<variant> значение суммы в новом состоянии
<variant> отрицание его значения
Денотатом сложения является
<variant> значение суммы в новом состоянии
<variant> сообщение об ошибке
<variant> отрицание его значения
<variant> присвоенное значение в новом состоянии
<variant> присвоенное значение
