İkinci Derece Mantık (Second Order Logic)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimleri de dahil olmak üzere, felsefe, matematik veya dilbilim gibi pek çok alanda kullanılan bir mantık modellemesinin ismidir. Buna göre modellenecek sistemdeki varlıklar ve bu varlıklar üzerine uygulanacak olan işlemler ayrı ayrı ele alınır…
Birinci Derece Mantık (First Order Logic)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin de aralarında bulunduğu, başta felsefe olmak üzere, matematik ve dilbilim gibi alanlarda kullanılan bir mantık modelidir. Bu modelin özelliği kıyas ve tümden gelim yaklaşımına göre ispatlanabilir özellikte olmasıdır (deductive). Yani bir makine, veya…
Hasse Çizgeleri (Hasse Diagrams)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimleri de dahil olmak üzere çok sayıdaki bilim ve mühendislik alanında kullanılan bir modelleme biçimidir. Şekilde (graph) kullanılan düğümler (nodes) birer kümeyi ifade etmektedir. Çizimdeki geçişler (transitions) bir kümeden diğer kümeye bir eleman ile…
Zeki Vekiller (Akıllı Ajanlar, Intelligent Agents, Zeki Etmenler )
Yazan : Şadi Evren ŞEKER Zeki vekiller (etmenler, ajanlar) kavram olarak, bilgisayar bilimlerine, felsefe, biyoloji ve ekonomi alanındaki çalışmalardan sonra girmiştir. Bu alanlardaki anlamı ve kullanımı, genellikle herhangi bir işin farklı bir vekil tarafından yürütülmesi olarak anlaşılabilir. Bilgisayar bilimlerin açısından…
C ile programlamaya giriş final sınavı çözümleri
Yazan : Şadi Evren ŞEKER Soru 0) Programın çalıştığı dizinde, “deneme.txt” isimli bir dosya açarak, bu dosyanın içerisine, birden yüze kadar olan sayıları bastıran bir kod yazınız. (10 puan) (sadece bu soru için program tam olmalı (include, return satırları gibi)…
C ile Programlamaya Giriş Quiz Soruları ve Çözümleri
Yazan : Şadi Evren ŞEKER Soru 1) Bir dosyaya isminizi yazdırınız. Çözüm 1) dosyaya ismimizi yazdıran kodu aşağıdaki şekilde yazabiliriz: Yukarıdaki kodda dikkat edilecek bir husus, dosyanın “r” değil “w” şekliyle açılması ve dosyanın mutlaka kapatılmasıdır. Bilindiği üzere kapatılmayan dosyalara…
Mere Paradoksu (Mere’s Paradox)
Yazan : Şadi Evren ŞEKER Olasılık teorisinde kullanılan ve bir toplumun nüfusu ve yaşam standartları arasında bir çelişki oluşturan paradokstur. Paradoksun tanımında, bir toplumun refah seviyesinin yaşamaya yetecek kadar olması (yani olabilecek en düşük seviyede olması) ve nüfusunun azami seviyede…
Güvercin Yuvası Kaidesi (Pigeonhole Principle)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimleri de dahil olmak üzere pek çok matematik temelli bilim ve mühendislik alanında kullanılan oldukça basit bir umdedir. İsmini güvercin yuvalarından alan bu kaideye göre yuva sayısından fazla güvercin varsa, ve bütün güvercinler bir…
Tepe Tırmanma Algoritması (Hill Climbing Algorithm)
Tepe Tırmanma Algoritması (Hill Climbing Algorithm) Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde kullanılan arama algoritmalarından birisidir. Arama işleminin yapıldığı grafikteki tepelerden ismini alır. Basitçe bir grafikte bulunan en düşük noktanın aranması sırasında grafikte yapılan hareketin aslında tepe tırmanmaya benzemesinden…
Arama Algoritmaları (Search Algorithms)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde, çeşitli veri yapılarının (data structures) üzerinde bir bilginin aranması sırasına kullanılan algoritmaların genel ismidir. Örneğin bir dosyada bir kelimenin aranması, bir ağaç yapısında (tree) bir düğümün (node) aranması veya bir dizi (array) üzerinde…