Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Discrete math with computers_3

.pdf
Скачиваний:
87
Добавлен:
16.03.2016
Размер:
2.29 Mб
Скачать

INDEX

441

Undefined, 286 union, 192 universal

elimination, 177 universe, 164, 191, 194, 199

finite, 166, 172 infinite, 166

of discourse, 164

vacuous, 155 value, 5

variable, 122, 163 binding, 168 meta, 127 propositional, 127 scope, 168

weakest element, 254 well order, 259

well-formed formula, 118, 146–147, 164 WFF, 118, 120, 127, 146–147

word, 366

zip, 51 zipWith, 24, 54

Соседние файлы в предмете Дискретная математика