Ayrık matematik içerisinde yer alan konular veri yapıları, algoritmalar, veri tabanı ve otomata teorisi gibi bilgisayar mühendisliği alanlarına matematiksel temel oluşturur. Ayrık matematik içerisinde mantık, küme teorisi, sayılar teorisi ve çizge kuramı gibi konuları barındırır. Ayrık matematik dersinin ilk konusu önermeli mantıktır. Peki önerme nedir? Önerme : Doğru ya da yanlış olan bir durumu ifade eden cümlelere önerme denir. Önerme olan bir ifade ya doğrudur ya da yanlıştır. Önerme kısmen doğru ya da kısmen yanlış olamaz. Soru cümleleri ve belirsiz cümleler önerme değildir. Önermeler genellikle p, q, r, s, t gibi harflerle gösterilirler. Örnek önermeler: p='Ömer matematik dersini almaktadır." q='Yumurta B12 vitamini içerir.' s='Cep telefonları benzinle çalışır.' Yukardaki p, q ve s önermeleri doğru ya da yanlış bir ifade belirtmektedirler. Aşağıdaki z ve k ifadeleri ise doğru veya yanlış olarak nitelendirilemediği için önerme olarak kabul edilemez. z=&#