Abstract :Bilgisayar bilimleri, bilgisayar mühendisliği, yazılım mühendisliği ve kısacası bilişim bilimine dayalı tüm disiplinlerin en temel konusu bilişim matematiğidir. Eğer, “matematik tüm bilimlerin kraliçesi” ise “bilişim uygulamaları da katkısından dolayı tüm bilimlerin kralıdır”, denilebilir. Bilişim matematiği bir açıdan da “uygulamalı ayrık matematik” gibi düşünülebilir ancak ayrık matematik hem konular açısından hem de ele alınan örnekler açısından günümüz bilişim uygulamalarını tam olarak kapsayamaması özel olarak bilişim matematiğini gündeme getirmiştir. Bilişim matematiği genel olarak ayrık matematik konularını, veri yapıları ve algoritma konularını, graf teorisini, ağaçlar tanımını, otomata kuramını, kriptografi konusunu ve olasılık teorisini kapsamaktadır. Bilgisayar olimpiyat soruları incelendiğinde, soruların büyük bir kısmının bilişim matematiği kapsamında olduğu ve bilişim matematiği ile çözülebileceği görülür. Bu çalışmada bilişimin kuramsal temellerinin neler olabileceği konusu hem bilimciler hem de sektör çalışanları geribildirimlerine göre tartışılmış, konuları belirlenmiş ve hazırlanan örnek belgelerin metodolojisi ele alınmıştır. Bilişimin kuramsal temellerine gerektiği gibi vakıf olmak hem yazılan kodların verimliliğine hem de bilişim projelerinin kalitesine olumlu yansıyacaktır. Ayrıca uluslararası bilgisayar olimpiyatlarında, ülkemizden daha fazla katılım olmasına katkı sağlayacaktır. Keywords : kuramsal bilişim, bilişim matematiği, sayılar teorisi, kümeler teorisi, ağaçlar, graf teorisi, stokastik süreçler, arama makinaları modellenmesi
