add subpart What is a program
add subsection about natural and formal language
add section about different programming paradigms