Multilevel Mobile Computer Books of Problems in the Formation of Critical Thinking in Teaching Logics in the School Course of Computer Science