İçeriğe atla

Makarna yiyen düşünürler sorunu

Düşünürler makarna yemek için bir masada.

Bilgisayar mühendisliğinde, makarna yiyen düşünürler sorunu paralellik, eşzamanlılık ve proseslerle ilgili klasik bir sorundur. 1965 yılında, Edsger Dijkstra tarafından önerilmiştir.[1][2]

Sorun

5 kişilik bir masa var ve 5 düşünür var. Bu düşünürler sadece yemek yer ve düşünürler. Ancak bir düşünür makarnayı tek çatalla yemek zor olduğundan ancak 2 çatalla yiyebilir. Bir düşünürün önünde bir tabak makarna ve tabaklar arasında çatallar vardır. Düşünürler açlıktan ölmeden makarna yiyebilirler mi, yerlerse nasıl?

Ayrıca bakınız

Kaynakça

  1. ^ J. Díaz; I. Ramos (1981). Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19–25, 1981. Proceedings. Birkhäuser. ss. 323, 326. ISBN 9783540106999. 19 Aralık 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Haziran 2011. 
  2. ^ Hoare, C. A. R. (2004). "Communicating Sequential Processes" (PDF). usingcsp.com (originally published in 1985 by Prentice Hall International). 27 Ocak 2016 tarihinde kaynağından arşivlendi (PDF). Erişim tarihi: 1 Haziran 2011.  |yayımcı= dış bağlantı (yardım)

Dış bağlantılar

İlgili Araştırma Makaleleri

<i>Godotyu Beklerken</i>

Godot'yu Beklerken, Samuel Beckett'ın 1949 yılında Fransızca olarak yazılan ve ilk kez 1953'te Paris'te sahnelenen ünlü eseridir. Zamanla ülke çapında ün kazanıp 1954 yılında Beckett tarafından bazı değişikliklerle İngilizceye çevrilmiş ve başka ülkelerde de sahnelenmeye başlanmıştır.

<span class="mw-page-title-main">Makarna</span> geleneksel İtalyan yiyeceği

Makarna, geleneksel İtalyan mutfağının temel besini ve ulusal yemeğidir. İlk defa 1154 yılında Sicilya'da ortaya çıkmıştır. Makarnanın bir çeşidi olan itriya Ağlebîler tarafından Sicilya adasına taşınmıştır. Genellikle irmik, tam buğday veya durum buğdayından elde edilmiş una yumurta karıştırılarak hazırlanmış türlü biçimlerdeki kuru hamur ve bu hamurdan yapılır Türkçeye İtalyanca maccherone sözcüğünden geçmiştir.

<span class="mw-page-title-main">Kenneth Arrow</span> Amerikalı ekonomist (1921 – 2017)

Kenneth Joseph Arrow, Amerikalı iktisatçı.

<span class="mw-page-title-main">Arhitas</span> MÖ 4. yüzyıl Yunan filozof, matematikçi, astronom ve devlet adamı

Tarantolu Arhitas, erken Pisagorcu geleneğin son önemli temsilcisi matematikçi, devlet adamı ve filozoftur. Taranto'da 7 kez art arda komutan seçilmiş nüfuzlu bir siyaset adamı ve Platon'un (Eflatun) arkadaşıdır. Pisagorcu filozoflar arasında yer alan ve Sokrates'ten sonra yaşamış olmasına rağmen Sokrates öncesi düşünürler içinde ismi yer edinmiş olan filozof. Pisagorcular evreni matematiksel bir dizgeyle açıklama eğilimde olmuşlar ve bu yönde bir tür sezgiciliğe ve mistisizme varmışlardır. Demokritos'un düşüncelerinin aksine Pisagorcular evreni madde ile bir sayma eğilimde olmuşlar ve duyumların yanıltıcılığını öne sürmüşlerdir. Bu yönde bir eleştirel yaklaşım Arhitas ve yandaşlarında görülür. "Nesnelerin gerçek niteliklerini dokunma duyumuzla ya da başka duyumlarla bilemeyiz" önermesini geliştirmişlerdir. Matematik, fizik, müzik felsefesi, mekanik, siyaset alanlarında etkili olmuştur.

8 Vezir Bulmacası, 8x8'lik bir satranç tahtasına 8 adet vezirin hiçbiri olağan vezir hamleleriyle birbirini alamayacak biçimde yerleştirmesi sorunudur. Her bir vezirin konumunun diğer bir vezire saldırmasına engel olması için hiçbir vezir başka bir vezirle aynı satıra, aynı kolona ya da aynı köşegene yerleştirilemez. 8 Vezir Bulmacası daha genel olan n Vezir Bulmacası'nın özel bir durumudur.

<span class="mw-page-title-main">Mark Millar</span>

Mark Millar, İskoç çizgi roman yazarıdır. Wanted, Marvel Knights, Spider-Man, Ultimate Fantastik Dörtlü, Kick-Ass ve Civil War en tanınmış kitaplarıdır. 2007'de ise Şikago'da Stan Lee ödülünü kazanmıştır.

<span class="mw-page-title-main">Go (programlama dili)</span> programlama dili

Go, statik tipli, derlenen, yüksek seviyeli bir programlama dilidir. Robert Griesemer, Rob Pike ve Ken Thompson tarafından Google'da 2007 yılından itibaren geliştirilmeye başlanmıştır. Sözdizimi C'ye benzerdir fakat hafıza erişimi güvenlidir, kullanılmayan hafıza kaynakları sisteme otomatik olarak geri verilir, interface veri tipleri sayesinde yapısal tip sistemini destekler ve eşzamanlı (concurrent) çalışan işlemlerin (process) ortak hafıza kullanabilmelerinin yanında birbiriyle iletişim kurmalarını sağlayan ögelere sahiptir. Eski alan adı golang.org olduğundan sık sık golang ismiyle anılır ama asıl adı Go'dur.

Tanrının algoritması, Rubik Küpü ile benzeri bulmaca ve matematiksel oyunların çözüm yöntemlerini konu alan bir kavram. Sözü edilen bulmacaları olabilecek en az adımda çözmeyi başaran algoritmayı tanımlamak için kullanılan bu terim, herhangi bir anda çözüme giden en kısa yolu bulabilen bir bilgenin var olduğu düşüncesine dayanmaktadır.

<span class="mw-page-title-main">Topaklanmış sarmal galaksi</span>

Topaklanmış sarmal gökada, büyük dizayn sarmal gökadanın işlevsel olarak tersi olan bir sarmal gökada türüdür. büyük dizayn gökadaların iyi tanımlanmış sarmal yapısının aksine topaklanmış gökadalar, sürekliliği olmayan sarmal kollarıyla daha derme çatma gibidir. Sarmalların yüzde otuzu topaklanmış, yüzde onu büyük dizayn ve geri kalanları çoklu-kolludur.

Bilgisayar bilimleri'nde NoSQL, klasik ilişkisel veritabanı yönetim sistemlerinden (İVTYS) bir şekilde farklı olan veritabanı yönetim sistemleri için kullanılan bir kavramdır. Bu veri depolarının sabit tabela düzenlerine ihtiyaçları olmayabilir, alışılagelmiş join işlemleri kullanılmaz, tipik olarak yatay ölçeklemeye gidilir. Akademisyenlerce ve makalelerde tipik olarak böyle veri depolarına yapılanmış bellek denir. Bu kavram klasik ilişkisel veritabanlarını altküme olarak görür. Bu kavram aynı zamanda SQL ve Daha Fazlası olarak da adlandırılmaktadır.

<span class="mw-page-title-main">Evrim düşüncesinin tarihi</span> bilim tarihinin bir yönü

Evrim düşüncesi; türlerin zaman içerisinde değişmelerini ifade eden kavram olarak köklerini eski çağlardan; Yunanistan'dan, Roma'dan, Çin'den ve Orta Çağ İslâm biliminden alır. 17. yüzyıl sonlarında biyolojik taksonominin başlangıcıyla Avrupa'daki biyolojik düşünce; doğal teolojiye tam olarak uyan ve ortaçağ Aristo metafiziği kavramı olan, her türün kendi karakteristiği olduğunu öne süren özcülükten etkilendi. Diğer yandan Aydınlanma Çağı'nda evrimsel kozmoloji ve mekanik felsefe, fizik bilimlerinden doğa tarihine kadar yayıldı. Natüralistler türlerin çeşitliliğine odaklandı ve sonradan "soy tükenmesi" kavramı ile doğa görüşünün temelini sarsan paleontoloji ortaya çıktı. 19. yüzyılın başlarında Jean-Baptiste Lamarck, ilk tamamen biçimlendirilmiş evrim teorisi olan türlerin transmutasyonu teorisini ortaya attı.

Deadlock ya da kilitlenme, iki ya da daha fazla eylemin devam etmek için birbirlerinin bitmesini beklemesi ve sonuçta ikisinin de devam edememesi durumu. Genellikle "yumurta mı tavuk mu önce gelir?" gibi paradokslarda görülür.

<span class="mw-page-title-main">Richmond, Virginia</span>

Richmond, ABD'nin Virginia eyaletinin başkenti. Richmond, hiçbir "kontluk" idaresine bağlı olmadan doğrudan doğruya "bağımsız şehir" statüsüne haizdir.

<span class="mw-page-title-main">OpenMP</span>

OpenMP; Solaris, IBM AIX, HP-UX, GNU/Linux, MAC OS X ve Windows işletim sistemleri üzerinde çoğu işlemci mimarisi üzerinde Fortran, C++, C programlama dillerinde çoklu platform paylaşımlı bellek çoklu işlemeyi destekleyen bir uygulama geliştirme arayüzüdür, yani bir API'dir. OpenMP derleyici yönergelerinin kütüphane rutinlerini ve ortam değişkenlerinin çalışma zamanı davranışını etkileyen bir kümesini içerir.

George Armitage Miller, bilişsel psikolojinin kurucularından Amerikalı psikolog. Dil psikolojisine ve bilişsel bilimlere yaptığı genel katkılarla da tanınmaktadır. Çevrimiçi kelime bağlantı veritabanı olan, WordNet 'in oluşturulması sürecini yönetmiştir. 20.yüzyılın en önemli psikologlarından birisi olarak kabul edilmektedir.

Ernst denklemi, matematik'te doğrusal-olmayan bir kısmi diferansiyel denklem'dir.

<span class="mw-page-title-main">Dimitri Bertsekas</span>

Dimitri Bertsekas Massachusetts Institute of Technology Bilgisayar Bilimleri ve Denetim Kuramı profesörü.

<span class="mw-page-title-main">İki devletli çözüm</span> İsrail-Filistin çatışması için önerilen diplomatik çözüm

İki devletli çözüm, İsrail-Filistin çatışmasını çözmek için "iki grup halk için iki devlet" yaklaşımıdır. İki devletli çözüm, Ürdün Nehri'nin batısındaki İsrail Devleti'nin yanında bağımsız bir Filistin Devleti öngörmektedir. İki ülke arasındaki sınır hala anlaşmazlık ve müzakereye tabidir. Filistin ve Arap liderliği İsrail tarafından kabul edilmeyen "1967 sınırları" üzerinde ısrarcıdır. Filistin Devleti'nin bir parçasını oluşturmayacak olan eski Filistin Mandası toprakları ise İsrail topraklarının bir parçası olacaktır.

<span class="mw-page-title-main">Özbek mutfağı</span> Özbekistan yemekleri ve mutfak gelenekleri

Özbek mutfağı, Özbekistan'a özgü yemek pişirme tarzıdır. Özbek mutfağı, Orta Asya'daki diğer Türk halklarının mutfak geleneklerini paylaşmaktadır. Özbekistan'da yaygın olarak tahıl tarımı yapıldığından ekmek ve erişte önemli yer tutmaktadır ve Özbek mutfağı "erişte açısından zengin" olarak nitelendirilmektedir. Koyun eti, ülkede koyun bolluğu nedeniyle popüler bir et çeşididir ve çeşitli Özbek yemeklerinin bir parçasıdır. Özbekistan'ın özel yemeği, tipik olarak pirinç, et parçaları, rendelenmiş havuç ve soğan ile yapılan ana yemek olan pilavdır.

<span class="mw-page-title-main">DBLP</span>

DBLP, bilgisayar bilimi bibliyografya sitesidir. 1993'te Almanya'daki Universität Trier'de başlayarak, küçük bir HTML dosyaları koleksiyonundan büyüdü ve bir veritabanı ve mantık programlama bibliyografya sitesi barındıran bir organizasyon haline geldi. Kasım 2018'den bu yana DBLP, Schloss Dagstuhl – Leibniz-Zentrum für Informatik'in (LZI) bir şubesidir. DBLP, 1995'te yaklaşık 14.000 ve Temmuz 2016'da 3,66 milyon olan bilgisayar bilimi üzerine Aralık 2020'de 5,4 milyondan fazla dergi makalesi, konferans makalesi ve diğer yayın listeledi.. Bilgisayar bilimi ile ilgili tüm önemli dergiler izlenir. Birçok konferansın tutanakları da takip edilmektedir. İnternetteki üç sitede yansıtılır.