Akademik Dersler - İçerik

0 : Desteklemiyor 1 : Alt seviyede destekliyor 2 : Orta seviyede destekliyor 3 : Üst seviyede destekliyor

Öğrenme Çıktıları	1	2	3	4	6
Önermeli mantık, belirtmeli mantık, tümevarım ve özyineleme ve bağıntı konularını açıklar.	3	2	1	1	1
Bool cebiri konularını açıklayabilirler.	3	2	1	1	1
Özyinelemeli ve iteratif algoritmaların formal tanımını ifade ederler.	3	2	1	1	1
Mühendislikte çeşitli problemleri çözmek için mantıksal akıl yürütmeyi uygulayabilecektir	3	2	1	1	1
Bir ispat yazma ve değerlendirme becerisini gösterebilecek veya her bir ispat tekniğinin temel yapısını özetleyebilecek ve örnekler verebilecektir.	3	2	1	1	1