получить навыки моделирования для использования их в программировании, при решении задач в области искусственного интеллекта, при доказательстве правильности программ.
Prerekvizita of a course: for the study subjects we need knowledge of higher mathematics, General algebra, number theory.
Course post-requisites: Knowledge of this discipline is necessary in the study of model theory.
Purpose: The purpose of the course – the development of the basic concepts and methods of algebra and algebraic system.
Contents: Algebra, algebraic systems
Competences:
- master the basic methods of formalizing reasoning;
- to gain modeling skills for using them in programming, in solving problems in the field of artificial intelligence, in proving the correctness of programs.
