Математическая логика (часть 1) Ресурс проверен

Статья из журнала "МИФ"-2 №3 за 2002 год. Статья посвящена важнейшему предмету для освоения искусства программирования - математической логике. Этот курс настолько важен, что время от времени, мы его повторяем, но каждый раз несколько иначе, поэтому он будет полезен и тем, кто займётся математической логикой, впервые, и тем, кто уже изучал этот материал в курсе физмат школы.

Просмотреть ресурс | Информация о ресурсе | Скачать целиком