Önermeli Mantık
Mantık bilimi bilgisayar bilimlerinde oldukça geniş bir alana sahiptir. Mantık biliminde yer alan belli başlı kurallar vardır ve bu kurallar matematiksel ifadelerin net bir şekilde açıklanması için kullanılırlar. Bu kurallar, mantıksal devre tasarımı, programlama, programların doğrulanması ve testi ve simülasyon…