Встречаются ли в англоязычных учебниках доказательства?

[nedc]

Просмотрел пару десятков англоязычных книг по математике (Algebra, Calculus, Precalculus) издательств Pearson, Cengage по которым учатся в университетах США, Англии, может еще где. Нигде не нашел, чтобы доказывалась какая-то теорема или что-то подобное. Доказательства в принципе отсутствуют. Как я понимаю, в школьных учебниках тем более этого не будет.
Хотел поинтересоваться, действительно ли это так?

[Red_Herring]

Все перечисленные вами предметы можно изучать на разных уровнях, и в то время как курс Calculus for Commerce, разумеется, не содержит не только доказательств, но и точных формулировок, то курс Analysis I это совсем другой коленкор и ничем не уступает курсу матанализа 1 года российских университетов . Взглянул на Pearson вебсайт (поскольку о таком издательстве не слышал). Об их уровне (ниже плинтуса) говорит то, что они за Real Analysis выдают учебник по Calculus I, причем судя по описанию гораздо слабее, чем тот, по которому в Университете Торонто мы учим биологов.

[nedc]

Red_Herring
Понятно, спасибо.

[fred1996]

nedc
В Штатах подход к образованию весьма утилитарный. Считается, что неспециалистам нечего голову забивать ерундой, которая в дальнейшем не пригодится. Математика рассматривается как прибор, которым пользуются, а не изучают его устройство. Как например вы пользуетесь телевизором, компьютерами и пр. гаджетами. Наверное преподавание Calculus по учебникам Stewart яркий пример того, как можно научиться решать задачи из Анализа просто методом обезьяниченья. Этим учебником-задачником пользуются как в старших AP классах школ, так и на первых курсах университетов. Зато можно весьма быстро усвоить высшую математику на чисто прикладном уровне. Мне лично в моей практике физика никогда не приходилось сталкиваться с доказательствами "существования и единственности". Тем более реальность всегда существует, а единственность в реальности никогда. Есть только приемлимые и неприемлимые решения.

[eugensk]

А для будущих специалистов у них есть всё, в том числе учебники для перехода от решательной школьной математики к доказательной колледжной:

http://giam.southernct.edu/GIAM/
http://www.people.vcu.edu/~rhammack/BookOfProof/
https://www.tedsundstrom.com/mathreasoning
(это свободные, ещё возможно есть десятки платных)

По этому случаю прошу подсказать мне отечественные пособия такого рода, очень надо одному товарищу.