Журналы
Email: Пароль: Войти Регистрация
Программы обучения
Математическая логика в широком смысле этого слова включает в себя теорию логических исчислений, фомализованные теории, теорию алгоритмов и теорию сложности алгоритмов. Все эти разделы были созданы в прошлом веке. Для специальностей, готовящих будущих программистов и разработчиков разнообразных математических алгоритмов (а не только кодировщиков известных алгоритмов), на математико-механическом факультете Санкт-Петербургского государственного университета в течение 15 лет читался курс математической логики. С. 45-49.

Mathematical logic in the broad sense of this word includes theory of logic calculuses, formalized theories, theory of algorithms and theory of algorithm complexity. All these parts were developed in the last century. The course of mathematical logic for specialities of future programmers and developers of various algorithms (but not simply coders of a well-known algorithm) was presented at the faculty of mathematics and mechanics of St.Petersburg State University during 15 years.

Ключевые слова: математическая логика, обучение, программирование.
Keywords: mathematical logic, teaching, programming.
Для пополнения баланса выберите страну, оператора и отправьте СМС с кодом на указанный номер. Отправив одну смс, вы получаете доступ к одной статье.
Закрыть