Судоплатов
С.В.
Курс состоит в изучении основных классических исчислений математической логики: исчислений высказываний и исчислений предикатов, а также элементов теории алгоритмов и неклассических логик.
Математическая логика и теория алгоритмов (С.В. Судоплатов)
Курс закрыт
Попробуйте войти в систему под своим логином и паролем.
library_booksв рейтинге