| rdfs:comment
| - Eine Prädikatabbildung ist eine mathematische Funktion, die einen logischen Wahrheitswert (wahr oder falsch) auf die Zahlen 0 oder 1 abbildet. Dadurch können störende Fallunterscheidungen so umgeformt werden, dass die resultierende Funktion in mathematischen Schlussfolgerungen einfacher verwendbar ist. (de)
- En mathématiques, le crochet d'Iverson, du nom de Kenneth Iverson, est une notation qui renvoie un nombre qui est 1 si une condition est vérifiée et 0 sinon. Plus précisément, où P est une proposition qui peut être vraie ou fausse. Cette notation a été instaurée par Kenneth Iverson dans son langage de programmation APL, alors que l'usage des crochets était préconisé par Donald Knuth pour éviter les ambiguïtés avec le parenthésage des expressions logiques. (fr)
- 수학에서 아이버슨 괄호(Iverson括弧, 영어: Iverson bracket)는 수학 표기법의 하나이다. 이 표기법에 따르면, 명제를 포함하는 대괄호는 명제가 참일 때 정수 1을, 명제가 거짓일 때 정수 0을 나타낸다. (ko)
- アイバーソンの記法（英語: Iverson bracket）はケネス・アイバーソンにちなんで名づけられた記法。Pが真ならば1で偽ならば0である。 (ja)
- Em matemática, os colchetes de Iverson, que recebem o nome em honra a Kenneth Iverson, são definidos conforme a seguir: onde é uma proposição. Por exemplo, o delta de Kronecker pode ser escrito em termos de colchetes de Iverson conforme: (pt)
- En Iversonklammer är inom matematiken en speciell notation för ett tal som är 1 eller 0 beroende på sanningsvärdet av ett påstående: Där P är ett påstående som är sant eller falskt. Notationen introducerades av i programspråket APL. (sv)
- 在数学中，以Kenneth E. Iverson命名的“艾佛森括号”（Iverson bracket），是一种用方括号记号，如果方括号内的条件满足则为1，不满足则为0. 更确切地讲， 此处 P 是一个可真可假的命题。该记号由Kenneth E. Iverson在他的编程语言APL中引进，而特别使用方括号则是由高德纳倡导的，目的是避免含括号的表达式中的歧义。 (zh)
- En matemáticas, el corchete de Iverson, nombrado en honor al matemático canadiense Kenneth Iverson, es una notación utilizada para generalizar la delta de Kronecker. Convierte cualquier proposición lógica en un número que es 1 si la proposición es satisfecha, y 0 si no, y es generalmente escrita colocando la proposición entre corchetes (o paréntesis) rectos: donde es una declaración que puede ser verdadera o falsa. En contexto de sumatoria, la notación puede ser utilizada para escribir cualquier suma como una suma infinita sin límites: Si es cualquier propiedad del entero . (es)
- In mathematics, the Iverson bracket, named after Kenneth E. Iverson, is a notation that generalises the Kronecker delta, which is the Iverson bracket of the statement x = y. It maps any statement to a function of the free variables in that statement. This function is defined to take the value 1 for the values of the variables for which the statement is true, and takes the value 0 otherwise. It is generally denoted by putting the statement inside square brackets: In other words, the Iverson bracket of a statement is the indicator function of the set of values for which the statement is true. (en)
- In matematica e in programmazione le parentesi di Iverson riguardano una notazione che consente di associare ad una proposizione un valore binario. È definita nel modo seguente: dove P rappresenta una proposizione o una relazione. Ad esempio queste parentesi consentono di definire la delta di Kronecker come . Anzi, le parentesi di Iverson possono considerarsi una notazione che generalizza la delta di Kronecker. Le parentesi di Iverson risultano particolarmente utili per semplificare alcune somme e alcuni integrali specifici; ad esempio ; (it)
- Скобка Айверсона — функция, возвращающая 1 для истинного высказывания, и 0, если аргумент ложный: Нотация введена Кеннетом Айверсоном для языка программирования APL, и оказалась очень удобным математическим обозначением, например, с ним можно лаконично определить:
* символ Кронекера: ,
* индикаторную функцию: ,
* функцию Хевисайда: ,
* функцию знака числа: . Также нотация удобна при обращении с суммами, поскольку позволяет выражать их без ограничений на индекс суммирования, например: , Пример вычисления с использованием нотации Айверсона суммы для последовательности : ,,, , то: . (ru)
|
| has abstract
| - Eine Prädikatabbildung ist eine mathematische Funktion, die einen logischen Wahrheitswert (wahr oder falsch) auf die Zahlen 0 oder 1 abbildet. Dadurch können störende Fallunterscheidungen so umgeformt werden, dass die resultierende Funktion in mathematischen Schlussfolgerungen einfacher verwendbar ist. (de)
- En matemáticas, el corchete de Iverson, nombrado en honor al matemático canadiense Kenneth Iverson, es una notación utilizada para generalizar la delta de Kronecker. Convierte cualquier proposición lógica en un número que es 1 si la proposición es satisfecha, y 0 si no, y es generalmente escrita colocando la proposición entre corchetes (o paréntesis) rectos: donde es una declaración que puede ser verdadera o falsa. En contexto de sumatoria, la notación puede ser utilizada para escribir cualquier suma como una suma infinita sin límites: Si es cualquier propiedad del entero . Nótese que, por esta convención, un sumando debe evaluar a 0 independientemente de si está definida.Igualmente para la multiplicatoria: La notación fue originalmente introducida por Kenneth Iverson en su lenguaje de programación APL, aunque limitado a operadores simples relacionales entre paréntesis, mientras que la generalización a declaraciones arbitrarias, limitada notacionalmente a paréntesis rectos, y las aplicaciones en sumatoria, defendida por Donald Knuth para evadir ambigüedades en expresiones lógicas entre paréntesis. (es)
- In mathematics, the Iverson bracket, named after Kenneth E. Iverson, is a notation that generalises the Kronecker delta, which is the Iverson bracket of the statement x = y. It maps any statement to a function of the free variables in that statement. This function is defined to take the value 1 for the values of the variables for which the statement is true, and takes the value 0 otherwise. It is generally denoted by putting the statement inside square brackets: In other words, the Iverson bracket of a statement is the indicator function of the set of values for which the statement is true. The Iverson bracket allows using capital-sigma notation without summation index. That is, for any property of the integer , By convention, does not need to be defined for the values of k for which the Iverson bracket equals 0; that is, a summand must evaluate to 0 regardless of whether is defined.Likewise for products: The notation was originally introduced by Kenneth E. Iverson in his programming language APL, though restricted to single relational operators enclosed in parentheses, while the generalisation to arbitrary statements, notational restriction to square brackets, and applications to summation, was advocated by Donald Knuth to avoid ambiguity in parenthesized logical expressions. (en)
- En mathématiques, le crochet d'Iverson, du nom de Kenneth Iverson, est une notation qui renvoie un nombre qui est 1 si une condition est vérifiée et 0 sinon. Plus précisément, où P est une proposition qui peut être vraie ou fausse. Cette notation a été instaurée par Kenneth Iverson dans son langage de programmation APL, alors que l'usage des crochets était préconisé par Donald Knuth pour éviter les ambiguïtés avec le parenthésage des expressions logiques. (fr)
- 수학에서 아이버슨 괄호(Iverson括弧, 영어: Iverson bracket)는 수학 표기법의 하나이다. 이 표기법에 따르면, 명제를 포함하는 대괄호는 명제가 참일 때 정수 1을, 명제가 거짓일 때 정수 0을 나타낸다. (ko)
- アイバーソンの記法（英語: Iverson bracket）はケネス・アイバーソンにちなんで名づけられた記法。Pが真ならば1で偽ならば0である。 (ja)
- In matematica e in programmazione le parentesi di Iverson riguardano una notazione che consente di associare ad una proposizione un valore binario. È definita nel modo seguente: dove P rappresenta una proposizione o una relazione. Ad esempio queste parentesi consentono di definire la delta di Kronecker come . Anzi, le parentesi di Iverson possono considerarsi una notazione che generalizza la delta di Kronecker. Questa notazione è stata introdotta da Kenneth Iverson nel linguaggio APL e di essa fanno largo uso testi sugli algoritmi come "Matematica Discreta" (Concrete Mathematics) di Graham, Donald Knuth e Patashnik. Le parentesi di Iverson risultano particolarmente utili per semplificare alcune somme e alcuni integrali specifici; ad esempio ; infatti se i è strettamente minore di 0 o strettamente maggiore di 10, il sommando del secondo membro vale 0 e non porta contributo alla somma complessiva. Le parentesi di Iverson consentono di formalizzare in modo preciso molte considerazioni su calcoli nel discreto e facilitano la manipolazione di varie espressioni che si incontrano nello studio di procedimenti di calcolo. (it)
- Em matemática, os colchetes de Iverson, que recebem o nome em honra a Kenneth Iverson, são definidos conforme a seguir: onde é uma proposição. Por exemplo, o delta de Kronecker pode ser escrito em termos de colchetes de Iverson conforme: (pt)
- En Iversonklammer är inom matematiken en speciell notation för ett tal som är 1 eller 0 beroende på sanningsvärdet av ett påstående: Där P är ett påstående som är sant eller falskt. Notationen introducerades av i programspråket APL. (sv)
- Скобка Айверсона — функция, возвращающая 1 для истинного высказывания, и 0, если аргумент ложный: Нотация введена Кеннетом Айверсоном для языка программирования APL, и оказалась очень удобным математическим обозначением, например, с ним можно лаконично определить:
* символ Кронекера: ,
* индикаторную функцию: ,
* функцию Хевисайда: ,
* функцию знака числа: . Также нотация удобна при обращении с суммами, поскольку позволяет выражать их без ограничений на индекс суммирования, например: , то есть индекс пробегает всё множество целых чисел, и формально суммируется бесконечное число слагаемых, но лишь конечное число их отлично от нуля. Пример вычисления с использованием нотации Айверсона суммы для последовательности : ,,, а так как для правой части: , то: . (ru)
- 在数学中，以Kenneth E. Iverson命名的“艾佛森括号”（Iverson bracket），是一种用方括号记号，如果方括号内的条件满足则为1，不满足则为0. 更确切地讲， 此处 P 是一个可真可假的命题。该记号由Kenneth E. Iverson在他的编程语言APL中引进，而特别使用方括号则是由高德纳倡导的，目的是避免含括号的表达式中的歧义。 (zh)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)