Олонлог, түүн дээрх үйлдлүүд, математик логик, логик хэллэгүүд, сэлгэмэл, хэсэглэл зэрэг комбинаторикийн үндсэн ойлголтууд, баталгааны техникүүд, математик индукцийн арга, рекурсив функц, түүнийг бодох аргууд, алгоритмийн шинжилгээ, тооны онолын үндэс, графийн тухай ойлголт, логик алгебрийн функц, төгсгөлөг төлөвт автоматыг бодох арга алгоритмтэй танилцана.