«Математическая логика и теория алгоритмов для программистов» kitobiga sharhlar, 2 izohlar

Идеально подобран учебный материал по математической логике именно для будущих программистов, т.е. нет длинных доказательств математических формул, всё лаконично, по делу с четкой ориентацией на дальнейшее применение. Аналогов лично я не знаю, хотя подобную литературу отслеживаю последние лет 15. Можно в разных учебниках найти отдельные темы, но такое сочетание – редко. Студентам можно смело рекомендовать.

Книга полезна как для студентов, так и для преподавателей высших технических учебных заведений. Книга пользуется повышенным спросом и отсутствует во многих интернет-магазинах.