V monografii rassmotreny nekotorye teoreticheskie aspekty postroeniya modeli obucheniya algebre i nachalam analiza v profilyakh estestvennonauchnogo napravleniya na osnove konkretizatsii abstraktnoy modeli obucheniya, poluchennoy v ramkakh sistemnogo podkhoda s ispol'zovaniem teoretiko-mnozhestvennykh predstavleniy. Osnovnym strukturnym komponentom rassmatrivaemoy modeli obucheniya yavlyaetsya logika prikladnoy matematiki. Ves'ma spetsifichnye rassuzhdeniya ("ratsional'nye rassuzhdeniya"), kharakternye dlya prikladnoy matematiki, yavlyayutsya vazhnoy chertoy "logiki prikladnoy matematiki" - logiki, vklyuchayushchey intuitivnye predpolozheniya, rezul'taty chislennykh eksperimentov i t.d., t.e. vsekh tekh vidov rassuzhdeniy i "pravil vyvoda", ne priemlemykh v teoreticheskoy matematike. Nesmotrya na glubokie protivorechiya, sushchestvuyushchie mezhdu logikoy teoreticheskoy matematiki i logikoy prikladnoy matematiki, v issledovanii pokazano, chto v praktike obucheniya algebre i nachalam analiza v profilyakh estestvennonauchnogo napravleniya primenenie modeli obucheniya s vklyucheniem elementov logiki prikladnoy matematiki privodit k effektivnym metodikam obucheniya, obespechivayushchikh vysokoe kachestvo obucheniya matematike i pozvolyayushchikh uspeshno prodolzhit' obrazovanie