پارامترهای ثبتنام
Данная дисциплина предназначена для ознакомления студентов с основами формальных исчислений и формированию навыков работы с методами определения правильности рассуждений. В качестве примеров формальных исчислений рассматриваются исчисление высказываний и исчислений предикатов. Кроме того, рассматриваются основы нечеткой логики.
- Преподаватель: Аристова Екатерина Михайловна
- Преподаватель: Леденева Татьяна Михайловна
مهمانها اجازهٔ دسترسی به این درس را ندارند، لطفاً با حساب کاربری خود وارد شوید.