| dbo:abstract
|
- تُمنح جائزة جودل (بالإنكليزية: Gödel Prize) سنوياً للأبحاث المتميزة في مجال علوم الحاسوب النظري مُشاركةً من قِبل الجمعية الأروربية لعلوم الحاسوب النظرية (EATCS) ومجموعة رابطة مكائن الحوسبة المعنية بشكل خاص بالخوارزميات ونظرية الحوسبة (ACM SIGACT)، وقد سُميت الجائزة بهذا الاسم نسبةً لكورت غودل، وهو فيلسوف نمساوي أمريكي بارز وعالم بالرياضيات والمنطق، وفيما يتعلق بعلوم الحاسوب النظرية، كان أول من ذكر مسألة كثير الحدود وكثير الحدود غير القطعي (P versus NP)، وذلك في رسالة وجهها عام 1956 لجون رون نيومان سائلاً إياه فيها عن إمكانية حل مسألة كثيرة حدود غير قطعية كاملة في زمن تربيعي أو خطي. وقد قُدّمت جائزة غودل منذ عام 1993، ويتم التكريم إما خلال ندوة رابطة مكائن الحوسبة السنوية عن نظرية الحوسبة (STOC)، والتي تُعد إحدى المؤتمرات الرئيسية عن علوم الحاسوب النظرية المُقامة في أمريكا الشمالية)، أو في الندوة الدولية عن التشغيل الذاتي، واللغات والبرمجة (ICALP)، وهي من أهم المؤتمرات الأوروبية في هذا المجال، وحتى يكون المرء جديراً بالجائزة، ينبغي أن يكون قد نشر بحثاً له في دورية محكّمة خلال السنوات الـ14 الماضية (كانت المدة 7 سنوات سابقاً)، وتتضمن الجائزة مكافأة قدرها 5000 دولاراً أمريكياً. ويجري اختيار الفائز بالجائزة بواسطة لجنة مؤلفة من ستة أعضاء، إذ يعيّن كل من رئيس الـ(EATCS) ورئيس الـ(SIGACT) ثلاثة أعضاء فيها، وذلك لمدة ثلاثة سنوات متعاقبة، ويرأس اللجنة ممثلون من الجهتين بالتناوب. (ar)
- Gödelova cena je vědecké ocenění udělované od roku 1993 každoročně za nejlepší odborné články z oblasti teoretické informatiky. Uděluje ji European Association for Theoretical Computer Science a Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory. Součástí ceny je finanční odměna ve výši 5000$. Cena je pojmenována po rakouském matematikovi a logikovi Kurtu Gödelovi. (cs)
- El Premi Gödel és un premi que es lliura a autors d'articles relacionats amb la teoria de la computació. El nom del premi es deu al matemàtic Kurt Gödel, i és atorgat per l' (EATCS) i el Grup d'Interès Especial d'Algorismes i Teoria de la Computació de l'Association for Computing Machinery (ACM). El Premi Gödel es lliura anualment des de 1993, ja sigui en l'STOC (ACM Symposium on Theory of Computing), una de les principals conferències dels Estats Units en l'àrea d'informàtica teòrica, o bé en l'ICALP (International Colloquium on Automata, Languages, and Programming), una de les principals conferències europees a la mateixa àrea. A part de la distinció, inclou un bo de 5000 dòlars. Com a requisit per rebre el premi, l'article guanyador ha d'haver estat publicat en una revista científica un màxim de 14 anys enrere (anteriorment n'eren només 7 anys). (ca)
- Der Gödel-Preis (englisch Goedel Prize) wird jährlich seit 1993 für herausragende Veröffentlichungen in der theoretischen Informatik von der European Association for Theoretical Computer Science (EATCS) und der Association for Computing Machinery (ACM) Special Interest Group on Algorithms and Computation Theory (ACM SIGACT) verliehen. Er ist mit 5000 Dollar dotiert und wird auf der STOC (Symposium on Theory of Computing) der ACM in den USA oder der entsprechenden europäischen Konferenz, der ICALP (International Colloquium on Automata, Languages and Programming) verliehen. Die Arbeit darf nicht älter als 14 Jahre sein (anfangs sogar nicht älter als 7 Jahre). Der Preis ist nach dem bedeutenden Logiker Kurt Gödel benannt. (de)
- The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT). The award is named in honor of Kurt Gödel. Gödel's connection to theoretical computer science is that he was the first to mention the "P versus NP" question, in a 1956 letter to John von Neumann in which Gödel asked whether a certain NP-complete problem could be solved in quadratic or linear time. The Gödel Prize has been awarded since 1993. The prize is awarded either at STOC (ACM Symposium on Theory of Computing, one of the main North American conferences in theoretical computer science) or ICALP (International Colloquium on Automata, Languages and Programming, one of the main European conferences in the field). To be eligible for the prize, a paper must be published in a refereed journal within the last 14 (formerly 7) years. The prize includes a reward of US$5000. The winner of the Prize is selected by a committee of six members. The EATCS President and the SIGACT Chair each appoint three members to the committee, to serve staggered three-year terms. The committee is chaired alternately by representatives of EATCS and SIGACT. (en)
- Le prix Gödel est une distinction créée en 1992 par l'European Association for Theoretical Computer Science (EATCS) et le Special Interest Group on Algorithms and Computation Theory (SIGACT) de l'Association for Computing Machinery (ACM) pour honorer des travaux remarquables d'informatique théorique. Il est nommé en l'honneur du logicien Kurt Gödel. (fr)
- El Premio Gödel es un premio que se entrega a autores de artículos relacionados con teoría de la computación. El nombre del premio se debe al matemático Kurt Gödel, y es otorgado por la Asociación Europea para la Informática Teórica (EATCS) y el Grupo de Interés Especial de Algoritmos y Teoría de la Computación de la Association for Computing Machinery (ACM). El Premio Gödel se entrega anualmente desde 1993, ya sea en el STOC (ACM Symposium on Theory of Computing), una de las principales conferencias de estadounidenses en el área de informática teórica, o bien en el ICALP (International Colloquium on Automata, Languages, and Programming), una de las principales conferencias europeas en la misma área. Aparte de la distinción, incluye un bono de 5000 dólares. Como requisito para recibir el premio, el artículo ganador debe haber sido publicado en una revista científica hace máximo 14 años atrás (anteriormente eran sólo 7 años). (es)
- 괴델상(Gödel Prize)은 쿠르트 괴델을 기리기 위해 만들었으며 이론 컴퓨터 과학 부문에서 특출난 논문을 발표한 사람에게 주는 상이다. 이론 컴퓨터 과학 유럽 연합(EATCS)(en)과 ACM SIGACT가 공동으로 수여한다. 이론 컴퓨터 과학에 대한 괴델과의 연관을 말하자면, 그는 1956년 존 폰 노이만에게 편지를 썼는데 특정 NP-완전 문제가 제곱, 혹은 선형의 시간 내에 풀릴 수 있는 지에 대해 물어봤으며 그때 처음으로 P-NP 문제를 언급한 사람이었다. 괴델상은 1993년부터 수여되기 시작했다. 수여식은 STOC(컴퓨터 이론 ACM 심포지엄, 북미의 주요 이론 컴퓨터 과학 학회 중 하나)과 ICALP(en)(International Colloquium on Automata, Languages and Programming, 유럽의 주요 이론 컴퓨터 과학 학회 중 하나) 중 한 군데에서 열린다. 상을 받을 자격이 되려면, (이전에는 최근 7년 이었다.) 최근 14년 내에 학술지에 게재된 논문이어야 한다. 괴델상은 5000 미국 달러를 포함하고 있다. 위원회 중 여섯 명이 수상자를 지목한다. EATCS 연합장과 SIGACT 연합장이 3년의 기간을 두고 각각의 위원회에서 3명씩 임명한다. EATCS와 SIGACT의 대표는 번갈아 가면서 위원회의 위원장을 맡는다. (ko)
- ゲーデル賞 (Gödel Prize) は、理論計算機科学分野で優れた功績を残した人に、ACM（国際計算機学会）のアルゴリズムと計算量理論に関する部会と（ヨーロッパ理論コンピュータ学会）が贈る賞である。受賞者には賞金5,000ドルが贈られる。論理学者クルト・ゲーデルに由来する。計算機科学分野ではチューリング賞と並んで権威を持つ賞である。 (ja)
- Il premio Gödel è un premio per lavori originali e straordinari in informatica teorica. Prende il suo nome dal matematico Kurt Gödel ed è bandito annualmente, dal 1993, congiuntamente dall'EATCS e dall'ACM.Il premio comprende una somma di 5000 $. Un lavoro scientifico, per essere preso in considerazione ai fini del premio, deve essere stato pubblicato nei 14 anni precedenti su una delle principali riviste matematiche internazionali accreditate. (it)
- O Prêmio Gödel é um prêmio por artigos de destaque em teoria da ciência da computação, homenageando Kurt Gödel e concedido conjuntamente pela (EATCS) e pela . O prêmio é concedido anualmente desde 1993. Seu valor monetário é de 5 mil dólares. O prêmio é concedido durante o "Simpósio sobre Teoria da Computação" ou durante o "Colóquio Internacional sobre Autômatos, Linguagem e Programação". Para ser elegível ao prêmio, um artigo deve ter sido publicado em uma revista especializada com revisores nos 14 anos precedentes. Anteriormente o tempo era de 7 anos. (pt)
- Nagroda Gödla – nagroda przyznawana przez EATCS i ACM za wybitne osiągnięcia w dziedzinie informatyki teoretycznej. Nazwana tak dla uczczenia Kurta Gödla, jednego z najwybitniejszych logików. Nagroda w wysokości 5000 dolarów przyznawana jest corocznie, poczynając od roku 1993. Wręczana jest podczas sympozjum ACM na temat teorii obliczeń lub międzynarodowego kolokwium EATCS na temat automatów, języków i programowania. Nagradzani są autorzy znaczących publikacji, które ukazały się w ciągu ostatnich 14 lat (pierwotnie było to 7 lat). (pl)
- Премія Геделя (англ. Gödel Prize) — щорічна премія за визначні праці у теоретичній інформатиці, що присуджується з 1993 року організаціями ACM та EATCS (англ. European Association for Theoretical Computer Science). Названа на честь австрійського логіка і математика Курта Геделя. Премія включає у себе нагороду у розмірі 5000 доларів США. Премія вручається або на американському симпозіумі STOC (англ. Symposium on Theory of Computing), або на європейській конференції ICALP (англ. International Colloquium on Automata, Languages and Programming). До участі приймаються усі роботи, час від першої публікації яких не перевищує 14 років. (uk)
- Премия Гёделя (англ. Gödel Prize) — премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT, (Special Interest Group on Algorithms and Computation Theory) и EATCS, (European Association for Theoretical Computer Science) за выдающиеся труды по логике и теоретической информатике. Премия вручается с 1993 года и сопровождается денежным вознаграждением размером в 5000 долларов США. Награждение проходит либо на американском симпозиуме , (Symposium on Theory of Computing), либо на европейской конференции , (International Colloquium on Automata, Languages and Programming). Основным требованием к работе является дата первой публикации — к номинации допускаются лишь труды не старше 14 лет. (ru)
- 哥德尔奖（英語：Gödel Prize）是一個頒發給理論計算機科學領域傑出論文的年度獎項，由（EATCS）和美國計算機協會算法和計算理論特別興趣小組（）聯合頒發。該獎項是為紀念庫爾特·哥德爾而命名的。哥德爾是第一個提出P/NP問題的人，在1956年寫給約翰·馮·諾伊曼的信中，哥德爾問某個NP完全的問題是否可以用二次或是線性時間來解決。 哥德爾獎於1993年開始在STOC（ACM，北美理論計算機科學的主要會議之一）或ICALP（，該領域的主要歐洲會議之一）上頒發。獲獎論文必須在理論計算機領域具有開創性重大貢獻，同時需在獲獎前14年內在學術期刊上正式發表。該獎項包括5,000美元的獎金。 哥德爾獎的評審委員會由6名成員組成，分別由EATCS主席和SIGACT主席各提名三名成員，任期三年並交錯進行。委員會由EATCS和SIGACT的代表輪流擔任主席。 (zh)
|
| rdfs:comment
|
- Gödelova cena je vědecké ocenění udělované od roku 1993 každoročně za nejlepší odborné články z oblasti teoretické informatiky. Uděluje ji European Association for Theoretical Computer Science a Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory. Součástí ceny je finanční odměna ve výši 5000$. Cena je pojmenována po rakouském matematikovi a logikovi Kurtu Gödelovi. (cs)
- Le prix Gödel est une distinction créée en 1992 par l'European Association for Theoretical Computer Science (EATCS) et le Special Interest Group on Algorithms and Computation Theory (SIGACT) de l'Association for Computing Machinery (ACM) pour honorer des travaux remarquables d'informatique théorique. Il est nommé en l'honneur du logicien Kurt Gödel. (fr)
- ゲーデル賞 (Gödel Prize) は、理論計算機科学分野で優れた功績を残した人に、ACM（国際計算機学会）のアルゴリズムと計算量理論に関する部会と（ヨーロッパ理論コンピュータ学会）が贈る賞である。受賞者には賞金5,000ドルが贈られる。論理学者クルト・ゲーデルに由来する。計算機科学分野ではチューリング賞と並んで権威を持つ賞である。 (ja)
- Il premio Gödel è un premio per lavori originali e straordinari in informatica teorica. Prende il suo nome dal matematico Kurt Gödel ed è bandito annualmente, dal 1993, congiuntamente dall'EATCS e dall'ACM.Il premio comprende una somma di 5000 $. Un lavoro scientifico, per essere preso in considerazione ai fini del premio, deve essere stato pubblicato nei 14 anni precedenti su una delle principali riviste matematiche internazionali accreditate. (it)
- O Prêmio Gödel é um prêmio por artigos de destaque em teoria da ciência da computação, homenageando Kurt Gödel e concedido conjuntamente pela (EATCS) e pela . O prêmio é concedido anualmente desde 1993. Seu valor monetário é de 5 mil dólares. O prêmio é concedido durante o "Simpósio sobre Teoria da Computação" ou durante o "Colóquio Internacional sobre Autômatos, Linguagem e Programação". Para ser elegível ao prêmio, um artigo deve ter sido publicado em uma revista especializada com revisores nos 14 anos precedentes. Anteriormente o tempo era de 7 anos. (pt)
- Nagroda Gödla – nagroda przyznawana przez EATCS i ACM za wybitne osiągnięcia w dziedzinie informatyki teoretycznej. Nazwana tak dla uczczenia Kurta Gödla, jednego z najwybitniejszych logików. Nagroda w wysokości 5000 dolarów przyznawana jest corocznie, poczynając od roku 1993. Wręczana jest podczas sympozjum ACM na temat teorii obliczeń lub międzynarodowego kolokwium EATCS na temat automatów, języków i programowania. Nagradzani są autorzy znaczących publikacji, które ukazały się w ciągu ostatnich 14 lat (pierwotnie było to 7 lat). (pl)
- 哥德尔奖（英語：Gödel Prize）是一個頒發給理論計算機科學領域傑出論文的年度獎項，由（EATCS）和美國計算機協會算法和計算理論特別興趣小組（）聯合頒發。該獎項是為紀念庫爾特·哥德爾而命名的。哥德爾是第一個提出P/NP問題的人，在1956年寫給約翰·馮·諾伊曼的信中，哥德爾問某個NP完全的問題是否可以用二次或是線性時間來解決。 哥德爾獎於1993年開始在STOC（ACM，北美理論計算機科學的主要會議之一）或ICALP（，該領域的主要歐洲會議之一）上頒發。獲獎論文必須在理論計算機領域具有開創性重大貢獻，同時需在獲獎前14年內在學術期刊上正式發表。該獎項包括5,000美元的獎金。 哥德爾獎的評審委員會由6名成員組成，分別由EATCS主席和SIGACT主席各提名三名成員，任期三年並交錯進行。委員會由EATCS和SIGACT的代表輪流擔任主席。 (zh)
- تُمنح جائزة جودل (بالإنكليزية: Gödel Prize) سنوياً للأبحاث المتميزة في مجال علوم الحاسوب النظري مُشاركةً من قِبل الجمعية الأروربية لعلوم الحاسوب النظرية (EATCS) ومجموعة رابطة مكائن الحوسبة المعنية بشكل خاص بالخوارزميات ونظرية الحوسبة (ACM SIGACT)، وقد سُميت الجائزة بهذا الاسم نسبةً لكورت غودل، وهو فيلسوف نمساوي أمريكي بارز وعالم بالرياضيات والمنطق، وفيما يتعلق بعلوم الحاسوب النظرية، كان أول من ذكر مسألة كثير الحدود وكثير الحدود غير القطعي (P versus NP)، وذلك في رسالة وجهها عام 1956 لجون رون نيومان سائلاً إياه فيها عن إمكانية حل مسألة كثيرة حدود غير قطعية كاملة في زمن تربيعي أو خطي. (ar)
- El Premi Gödel és un premi que es lliura a autors d'articles relacionats amb la teoria de la computació. El nom del premi es deu al matemàtic Kurt Gödel, i és atorgat per l' (EATCS) i el Grup d'Interès Especial d'Algorismes i Teoria de la Computació de l'Association for Computing Machinery (ACM). (ca)
- Der Gödel-Preis (englisch Goedel Prize) wird jährlich seit 1993 für herausragende Veröffentlichungen in der theoretischen Informatik von der European Association for Theoretical Computer Science (EATCS) und der Association for Computing Machinery (ACM) Special Interest Group on Algorithms and Computation Theory (ACM SIGACT) verliehen. Er ist mit 5000 Dollar dotiert und wird auf der STOC (Symposium on Theory of Computing) der ACM in den USA oder der entsprechenden europäischen Konferenz, der ICALP (International Colloquium on Automata, Languages and Programming) verliehen. Die Arbeit darf nicht älter als 14 Jahre sein (anfangs sogar nicht älter als 7 Jahre). (de)
- The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT). The award is named in honor of Kurt Gödel. Gödel's connection to theoretical computer science is that he was the first to mention the "P versus NP" question, in a 1956 letter to John von Neumann in which Gödel asked whether a certain NP-complete problem could be solved in quadratic or linear time. (en)
- El Premio Gödel es un premio que se entrega a autores de artículos relacionados con teoría de la computación. El nombre del premio se debe al matemático Kurt Gödel, y es otorgado por la Asociación Europea para la Informática Teórica (EATCS) y el Grupo de Interés Especial de Algoritmos y Teoría de la Computación de la Association for Computing Machinery (ACM). (es)
- 괴델상(Gödel Prize)은 쿠르트 괴델을 기리기 위해 만들었으며 이론 컴퓨터 과학 부문에서 특출난 논문을 발표한 사람에게 주는 상이다. 이론 컴퓨터 과학 유럽 연합(EATCS)(en)과 ACM SIGACT가 공동으로 수여한다. 이론 컴퓨터 과학에 대한 괴델과의 연관을 말하자면, 그는 1956년 존 폰 노이만에게 편지를 썼는데 특정 NP-완전 문제가 제곱, 혹은 선형의 시간 내에 풀릴 수 있는 지에 대해 물어봤으며 그때 처음으로 P-NP 문제를 언급한 사람이었다. 괴델상은 1993년부터 수여되기 시작했다. 수여식은 STOC(컴퓨터 이론 ACM 심포지엄, 북미의 주요 이론 컴퓨터 과학 학회 중 하나)과 ICALP(en)(International Colloquium on Automata, Languages and Programming, 유럽의 주요 이론 컴퓨터 과학 학회 중 하나) 중 한 군데에서 열린다. 상을 받을 자격이 되려면, (이전에는 최근 7년 이었다.) 최근 14년 내에 학술지에 게재된 논문이어야 한다. 괴델상은 5000 미국 달러를 포함하고 있다. (ko)
- Премия Гёделя (англ. Gödel Prize) — премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT, (Special Interest Group on Algorithms and Computation Theory) и EATCS, (European Association for Theoretical Computer Science) за выдающиеся труды по логике и теоретической информатике. (ru)
- Премія Геделя (англ. Gödel Prize) — щорічна премія за визначні праці у теоретичній інформатиці, що присуджується з 1993 року організаціями ACM та EATCS (англ. European Association for Theoretical Computer Science). Названа на честь австрійського логіка і математика Курта Геделя. (uk)
|