Yazan: Şadi Evren ŞEKER Bilgisayar bilimleri açısından matematiksel olarak ispat edilmişi kaziyeler (önermeler, statements) birer nazariyedir. Bazı kaziyelerin(önermelerin) doğruluğu ise sırf  farklı teorilerin ıspatına yardımcı oluyor diye ıspatlanır. Bu tip kaziyelere (önermelere) ise önkuram (önsav, lemma) adı verilmektedir. Bazı durumlarda…

Yazan: Şadi Evren ŞEKER Bir dilde tanımlı olan ve o dildeki alfabenin üyesi olan semboller ile üretilmiş her dizginin alt dizgisi olabilir. Alt dizgi o dizginin belirli bir kısmına verilen isimdir. Buna göre örneğin boş dizgi her dizginin alt dizgisidir….

  Yazan: Şadi Evren ŞEKER Bir dilde bulunan ve o dilin tanımlı olan alfabesi içerisindeki sembollerin çeşitli sayılarda ve çeşitli sırada dizilmesi ile elde edilen yazılardır. Örneğin bir dildeki alfabe aşağıdaki şekilde tanımlı olsun: ∑1 = {0,1} Buna göre dilimizde…

Yazan: Şadi Evren ŞEKER Bilgisayar bilimlerinde kullanılan ve yazıları ifade etmeye yarayan sembollerden oluşmuş kümelere verilen isimdir. Buna göre bir dildeki olası bütün semboller kullanılarak oluşturulan alfabeler kullanılarak metinlerin elde edilmesi mümkündür. Bilgisayar bilimlerindeki alfabelerde bulunan semboller sınırlı sayıda kabul…

Yazan: Şadi Evren ŞEKER Bilgisayar bilimlerinde kullanılan ve yazıları ifade etmeye yarayan en küçük ifade birimine verilen isimdir. Buna göre bir dildeki olası bütün semboller kullanılarak oluşturulan alfabeler kullanılarak metinlerin elde edilmesi mümkündür. Bilgisayar bilimlerindeki alfabelerde bulunan semboller sınırlı sayıda…

Yazan: Şadi Evren ŞEKER Bir grafta bulunan bütün düğümleri diğer bütün düğümlere bağlayan birer kenar bulunuyorsa bu grafa güçlü bağlı graf adı verilir.

Yazan: Şadi Evren ŞEKER Bir graftaki bir döngünün başlangıç ve bitiş düğümleri olan düğümü dışındaki bütün düğümlerin, bu döngü içerisinde sadece bir kere geçmesi durumunda bu döngüye basit döngü adı verilir.

Yazan: Şadi Evren ŞEKER Bir graftaki bütün düğümleri diğer bütün düğümlere bağlayan bir yol bulunuyorsa bu graflara bağlı graf denilir.

Yazan: Şadi Evren ŞEKER Graf teorisinde bir düğümden başlayıp aynı düğümde biten yola döngü adı verilir Örneğin yukarıdaki grafta A düğümünden başlayarak gene bu düğümde biten {A,C,D}  döngüsü tasvir edilmiştir.

Yazan: Şadi Evren ŞEKER Bir grafikte bulunan düğüm ve kenarlardan sadece bir kısmını içeren grafa verilen isimdir. Her altgraf da bir graftır. Ayrıca grafın kendisi de altgraflarından bir tanesidir. Örneğin yukarıdaki şekilde bir graf ve bir alt grafı yanyana gösterilmiştir.