Logiki postroeniq algoritmow

Kniga opisywaet logiki postroeniq algoritmow. Opisana äwolüciq ponqtij logika i algoritm. Raskrywaetsq mnogoaspektnost' primeneniq algoritma. opisany widy slozhnosti algoritma. Kniga raskrywaet soderzhanie algoritmow perwogo i wtorogo roda. Opisana konstruktiwnaq algoritmicheskaq logika. pokazany swojstwa algoritma kak informacionnoj konstrukcii. V knige daütsq metody predstawleniq algoritmow. Raskrywaetsq soderzhanie prostranstwennoj algoritmicheskoj logiki i pokazany ee widy. Pokazano razlichie mezhdu obraznoj logikoj i teoretiko-mnozhestwennoj logikoj. Opisana kognitiwnaq algoritmicheskaq logika. Kniga raskrywaet tehnologiü algoritmicheskogo metamodelirowaniq. Kniga prednaznachena dlq specialistow, aspirantow, magistrantow w oblasti informatiki, logiki, geoinformatiki, uprawleniq