Iverson bracket
http://dbpedia.org/resource/Iverson_bracket
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.
rdf:langString
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.
rdf:langString
수학에서 아이버슨 괄호(Iverson括弧, 영어: Iverson bracket)는 수학 표기법의 하나이다. 이 표기법에 따르면, 명제를 포함하는 대괄호는 명제가 참일 때 정수 1을, 명제가 거짓일 때 정수 0을 나타낸다.
rdf:langString
アイバーソンの記法（英語: Iverson bracket）はケネス・アイバーソンにちなんで名づけられた記法。Pが真ならば1で偽ならば0である。
rdf:langString
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:
rdf:langString
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.
rdf:langString
在数学中，以Kenneth E. Iverson命名的“艾佛森括号”（Iverson bracket），是一种用方括号记号，如果方括号内的条件满足则为1，不满足则为0. 更确切地讲， 此处 P 是一个可真可假的命题。该记号由Kenneth E. Iverson在他的编程语言APL中引进，而特别使用方括号则是由高德纳倡导的，目的是避免含括号的表达式中的歧义。
rdf:langString
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 .
rdf:langString
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.
rdf:langString
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 ;
rdf:langString
Скобка Айверсона — функция, возвращающая 1 для истинного высказывания, и 0, если аргумент ложный: Нотация введена Кеннетом Айверсоном для языка программирования APL, и оказалась очень удобным математическим обозначением, например, с ним можно лаконично определить:
* символ Кронекера: ,
* индикаторную функцию: ,
* функцию Хевисайда: ,
* функцию знака числа: . Также нотация удобна при обращении с суммами, поскольку позволяет выражать их без ограничений на индекс суммирования, например: , Пример вычисления с использованием нотации Айверсона суммы для последовательности : ,,, , то: .
rdf:langString
rdf:langString
Prädikatabbildung
rdf:langString
Corchete de Iverson
rdf:langString
Crochet d'Iverson
rdf:langString
Iverson bracket
rdf:langString
Parentesi di Iverson
rdf:langString
아이버슨 괄호
rdf:langString
アイバーソンの記法
rdf:langString
Colchetes de Iverson
rdf:langString
Скобка Айверсона
rdf:langString
Iversonklammer
rdf:langString
艾佛森括号
rdf:langString
Дужка Айверсона
xsd:integer
1721092
xsd:integer
1117957295
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
수학에서 아이버슨 괄호(Iverson括弧, 영어: Iverson bracket)는 수학 표기법의 하나이다. 이 표기법에 따르면, 명제를 포함하는 대괄호는 명제가 참일 때 정수 1을, 명제가 거짓일 때 정수 0을 나타낸다.
rdf:langString
アイバーソンの記法（英語: Iverson bracket）はケネス・アイバーソンにちなんで名づけられた記法。Pが真ならば1で偽ならば0である。
rdf:langString
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.
rdf:langString
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:
rdf:langString
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.
rdf:langString
Скобка Айверсона — функция, возвращающая 1 для истинного высказывания, и 0, если аргумент ложный: Нотация введена Кеннетом Айверсоном для языка программирования APL, и оказалась очень удобным математическим обозначением, например, с ним можно лаконично определить:
* символ Кронекера: ,
* индикаторную функцию: ,
* функцию Хевисайда: ,
* функцию знака числа: . Также нотация удобна при обращении с суммами, поскольку позволяет выражать их без ограничений на индекс суммирования, например: , то есть индекс пробегает всё множество целых чисел, и формально суммируется бесконечное число слагаемых, но лишь конечное число их отлично от нуля. Пример вычисления с использованием нотации Айверсона суммы для последовательности : ,,, а так как для правой части: , то: .
rdf:langString
在数学中，以Kenneth E. Iverson命名的“艾佛森括号”（Iverson bracket），是一种用方括号记号，如果方括号内的条件满足则为1，不满足则为0. 更确切地讲， 此处 P 是一个可真可假的命题。该记号由Kenneth E. Iverson在他的编程语言APL中引进，而特别使用方括号则是由高德纳倡导的，目的是避免含括号的表达式中的歧义。
xsd:nonNegativeInteger
9173