BOOKS - PROGRAMMING - Начала программирования
US $6.78
660597
660597
Начала программирования
Author: Степанов Александр, Мак-Джоунс Пол
Year: 2011
Number of pages: 272
Format: PDF
File size: 17,7 MB
Language: RU
Year: 2011
Number of pages: 272
Format: PDF
File size: 17,7 MB
Language: RU
This book takes a deductive approach to programming based on combining programs with the abstract mathematical theories that make them work. Descriptions of these theories, algorithms written from the point of view of these theories, as well as theorems and lemmas describing their properties are presented together. The implementation of algorithms in a real programming language is the central theme of the book.