Эдсгер Дейкстра: у пошуках найкоротшого шляху» до усвідомленого програмування

image
Зображення з сайту abv24.com

Один з тих людей, з іменами яких пов'язано перетворення програмування з шаманства в науку, — Эдсгер Дейкстра. Він небезуспішно доводив, що програмування — високе мистецтво та інтелектуальна творчість.

У всіх своїх дослідженнях Дейкстра надає велике значення простоті і витонченості математичних міркувань. При написанні своїх робіт він створив новий стиль наукових і технічних повідомлень, який можна описати як щось середнє між журнальними публікаціями і дружній листуванням.

Програмування – не набір рухів і заклинань, не шаманство, не танці з бубном, а математична дисципліна. А всяка дисципліна, якщо вона претендує на щось більше, ніж на зовнішній ефект, повинна будуватися на міцному фундаменті. Таким фундаментом для Дейкстри є математична логіка, а точніше – числення предикатів.

Зараз це не здається чимось незвичайним, але в 50-ті роки це прозвучало як одкровення. Дейкстра зрозумів і переконливо показав, як теорія може і повинна допомогти практиці.
Читати далі →

Переклад підручника по алгоритмах

  
 
Радий повідомити, що вийшов переклад відмінного підручника Дасгупта, Пападімітріу, Вазірані «Алгоритми», над яким я працював останні кілька років. У книзі багато алгоритми пояснені набагато коротше і простіше, ніж в інших підручниках: з одного боку, без зайвого формалізується, з іншого — без втрати математичної строгості. Відкрийте книгу на якому-небудь відомому вам алгоритмі і переконаєтеся в цьому. =)
 
Загалом, угощайтесь: друкований варіант перекладу , електронний варіант перекладу (PDF) , друкований варіант оригіналу , електронний варіант оригіналу (PDF) .
 
Читати далі →