Strukturaviy dasturlash nazariyasi va tarixi. Ketma-ketlik, tanlash, takrorlash, blok tuzilma va moduliyalash. Antony Hoare va boshqalar dastur to'g'riligini matematik isbotlashni rivojlantirdi