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