"Turing Ödülü" sayfasının sürümleri arasındaki fark

Arşiv bağlantısı eklendi
(→‎Yıla göre: ref -> kay.)
(Arşiv bağlantısı eklendi)
| website = {{URL|http://amturing.acm.org}}
}}
'''Turing Ödülü''', modern [[bilgisayar bilimi]]nin kurucularından sayılan [[Alan Turing]] anısına, 1966'dan beri her yıl [[Association for Computing Machinery]] (ACM) tarafından bilişim dünyasına katkıda bulunanlara verilen bir ödüldür. Ödüle değer görülen katkılarda "kalıcı olma ve bilgisayar bilimi dünyasına önemli bir etki yapma" koşulu aranmaktadır.<ref name=ACM /> Bilişim konulu en önemli ödül olduğu düşünülen<ref>{{Cite book| last1=Dasgupta | first1=Sanjoy| last2=Papadimitriou | first2=Christos | authorlink2=Christos Papadimitriou| last3=Vazirani | first3=Umesh | authorlink3=Umesh Vazirani| title=Algorithms| publisher=[[McGraw-Hill]]| year=2008| isbn=978-0-07-352340-8 |sayfa=317}}</ref><ref>{{Web kaynağı | url = http://www.informatik.uni-trier.de/~ley/db/journals/cacm/turing.html | başlık = Bibliography of Turing Award lectures | yayımcı = [[DBLP]] | arşivurl = http://web.archive.org/web/20150102222046/http://www.informatik.uni-trier.de/~ley/db/journals/cacm/turing.html | arşivtarihi = 2 Ocak 2015}}</ref> Turing Ödülü bilgisayar dünyasının [[Nobel Ödülü]] olarak da anılmaktadır.<ref>{{Web kaynağı | url = http://www.acm.org/press-room/news-releases-2007/turingaward/ | başlık = ACM'S Turing Award Prize Raised To $250,000 | yayımcı = [[Association for Computing Machinery|ACM]] press release | tarih = 27 Temmuz 2007 | erişimtarihi = 16 Kasım 2017 | author = Steven Geringer | arşivurl = http://web.archive.org/web/20170130153824/http://www.acm.org:80/press-room/news-releases-2007/turingaward | arşivtarihi = 30 Ocak 2017}}</ref><ref>{{Web kaynağı | url = http://www.networkworld.com/article/2177705/data-center/why-there-s-no-nobel-prize-in-computing.html | başlık = Why there's no Nobel Prize in Computing | yazar = [http://www.networkworld.com/author/Bob-Brown/ Brown, Bob] | yayımcı = [[Network World]] | tarih = 6 Haziran 2011 | erişimtarihi = 16 Kasım 2017 | arşivurl = http://web.archive.org/web/20161022090049/http://www.networkworld.com/article/2177705/data-center/why-there-s-no-nobel-prize-in-computing.html | arşivtarihi = 22 Ekim 2016}}</ref>
 
Ödül, adını [[Manchester Üniversitesi]]'nde [[reader]] olarak çalışan Britanyalı matematikçi ve yazar Alan Turing'den almıştır. Alan Turing [[kuramsal bilgisayar bilimi]] ve [[Yapay zekâ|yapay zeka]]nın kurucusu olarak kabul edilmektedir.<ref>{{cite book|author=Homer, Steven and Alan L. |title=Computability and Complexity Theory|url=https://books.google.com/?id=r5kOgS1IB-8C&pg=PA35|publisher=Springer via Google Books limited view|pages=35|isbn=0-387-95055-9|accessdate=16 Kasım 2017|year=2001}}</ref> Her yıl ACM Awards Banquet'te sahibini bulan Turing Ödülü'ne değer görülen araştırmacılar ACM konferanslarına konuşmacı olarak katılma hakkını da elde etmektedirler.
|{{flagicon|USA}} [[Edmund M. Clarke]]<br />{{flagicon|USA}} [[E. Allen Emerson]]<br />{{flagicon|GRE}} [[Joseph Sifakis]]
|Donanım ve yazılım sanayiinde yaygın olarak kullanılan ve [[model denetimi]] ilkesine dayanan verimli doğrulama teknolojisine yaptıkları katkılar için
|<ref>{{Web kaynağı | url = http://www.ddj.com/206103622 | başlık = 2007 Turing Award Winners Announced | yayımcı = Dr. Dobb's | arşivurl = http://web.archive.org/web/20091102080853/http://www.ddj.com:80/206103622 | arşivtarihi = 2 Kasım 2009}}</ref>
|-
!2008
589.172

değişiklik