Об'єктом дослідження є процес розробки математичного забезпечення автоматизованих систем тестування. Метою роботи є дослідження логіко-алгебраїчних методів оцінювання знань та розробка математичного забезпечення автоматизованої системи тестування. Методи дослідження: методи алгебри логіки, булевої алгебри, теорії кінцевих предикатів та логіки множин. Виконано розробку структури програми. Розроблені методи оцінювання знань. Розроблено програмну систему мовою C#. ИНТЕЛЕКТУАЛЬНИЙ АНАЛІЗ ДАНИХ, АСОЦІАЦІЯ, АСОЦІАТИВНЕ ПРАВИЛО, ПАТЕРН A research object is a development of the mathematical providing of CASS of testing process. The purpose of course project is research-and-development of methodsevaluation, knowledge mathematical providing, CASS of testing. Research methods: methods of boolean, boole algebra, theory of eventual predicates and logic of great numbers algebra. Development of program structure is executed. The structure of database is worked out. The program is worked out by the language of C#. DATA MINING, ASSOCIATION , ASSOCIATION RULES , PATTERNS