ISIS-1102 FOUNDATIONS OF COMPUTER SCIENCE

Continuation of the course ISIS 1101 Formal deduction tools. The equational deduction calculus introduced there is extended in order to cover domains that are useful in general applications of informatics and, in particular, developing programs.