Булевозначная функция - Boolean-valued function
 | Эта статья может потребоваться переписан соответствовать требованиям Википедии стандарты качества. (Март 2011 г.) |
| Функция | |||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Икс ↦ ж (Икс) | |||||||||||||||||||||||||||||||||
| Примеры домен и codomain | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
| Классы / свойства | |||||||||||||||||||||||||||||||||
| Постоянный · Идентичность · Линейный · Полиномиальный · Рациональный · Алгебраический · Аналитический · Гладкий; плавный · Непрерывный · Измеримый · Инъекционный · Сюръективный · Биективный | |||||||||||||||||||||||||||||||||
| Конструкции | |||||||||||||||||||||||||||||||||
| Ограничение · Сочинение · λ · Обратный | |||||||||||||||||||||||||||||||||
| Обобщения | |||||||||||||||||||||||||||||||||
| Частичное · Многозначный · Неявный | |||||||||||||||||||||||||||||||||
А Булевозначная функция (иногда называемый предикат или предложение ) это функция типа f: X → B, где X - произвольный набор и где B это Логический домен, то есть общий двухэлементный набор (например, B = {0, 1}), элементы которого интерпретируются как логические значения, например, 0 = ложный и 1 = правда, т.е. одиночный немного из Информация.
в формальные науки, математика, математическая логика, статистика, и их прикладные дисциплины, булевозначная функция может также называться характеристической функцией, индикаторная функция, предикат или предложение. Во всех этих случаях подразумевается, что различные термины относятся к математическому объекту, а не к соответствующему объекту. семиотический знак или синтаксическое выражение.
В формальная семантика теории правда, а предикат истины является предикатом фразы из формальный язык, интерпретируемый для логики, формализует интуитивное понятие, которое обычно выражается утверждением, что предложение истинно. Предикат истины может иметь дополнительные области за пределами области формального языка, если это то, что требуется для определения окончательного значение истины.
Смотрите также
использованная литература
- Браун, Фрэнк Маркхэм (2003), Булевы рассуждения: логика булевых уравнений, 1-е издание, Kluwer Academic Publishers, Norwell, MA. 2-е издание, Dover Publications, Mineola, NY, 2003.
- Кохави, Цви (1978), Теория переключений и конечных автоматов, 1-е издание, McGraw-Hill, 1970. 2-е издание, McGraw-Hill, 1978.
- Корфхаге, Роберт Р. (1974), Дискретные вычислительные структуры, Academic Press, Нью-Йорк, штат Нью-Йорк.
- Математическое общество Японии, Энциклопедический математический словарь, 2-е издание, 2 тома, Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993. Цитируется как EDM.
- Мински, Марвин Л., и Паперт, Сеймур, А. (1988), Персептроны, Введение в вычислительную геометрию, MIT Press, Кембридж, Массачусетс, 1969. Пересмотрено, 1972 г. Расширенное издание, 1988 г.