В работе говорится о важности внедрения информационных технологий в образовательный процесс. Рассматриваются проблемы, которые возникают из-за новых вызовов современного информационного общества. На примере работы, которая внедрена на кафедре математического и программного обеспечения информационных систем мы предлагаем комплексный подход к организации учебного процесса по дисциплине «Избранные вопросы математической логики». Актуальность данной статьи в том, что проверка и оценка знаний, умений и навыков владения математической логикой студентами технических специальностей в вузе является очень важной и необходимой составной частью учебного процесса, а овладение методикой проверки знаний является одной из важных и трудных задач, стоящих перед преподавателем. Авторы, пользуясь современными образовательными технологиями упрощают эту проблему, при этом качество остаточных знаний и адаптация к среде и профессии дают положительный и качественный результат.
The article discusses the importance of introduction of information technologies in educational process. The article covers the problems which arise due to new challenges of the modern information society. On the example of the work which is introduced at the Department of Mathematical and Software Support of Information Systems, the authors offer an integrated approach to the organization of educational process for the discipline "Selected questions of mathematical logic". The article is of immediate interest due to the fact that evaluation and assessment of knowledge and skills of mathematical logic in university students of technical specialties is a very important and necessary component of educational process. Mastering a technique of assessment of knowledge is one of the important and difficult tasks of any teacher. Using modern educational technologies, the authors solve this problem, at that, the quality of residual knowledge and adaptation to a professional environment produce a positive and qualitative result.