
Свободный доступ

Ограниченный доступ
Автор: Непейвода Н. Н.
Директ-Медиа: М.
Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).
Предпросмотр: Прикладная логика учебное пособие.pdf (0,7 Мб)
Автор: Веретенников В. Н.
Директ-Медиа: М.
Пособие является седьмым выпуском учебника по всем разделам курса математики для бакалавров гидрометеорологических направлений, соответствует государственному образовательному стандарту и действующим программам. Активизация познавательной деятельности студентов, выработка у них способности самостоятельно решать достаточно сложные проблемы может быть достигнута при такой организации учебного процесса, когда каждому студенту выдаются индивидуальные домашние задания (ИДЗ) с обязательным последующим контролем их выполнения и выставлением оценок. Предлагаемое пособие адресовано преподавателям и студентам и предназначено для проведения практических занятий и самостоятельных (контрольных) работ в аудитории и выдачи ИДЗ.
Предпросмотр: Практикум. Обыкновенные дифференциальные уравнения учебное пособие.pdf (0,3 Мб)
Автор: Огами Такэхико
ДМК Пресс: М.
Если раньше дифференциальные и интегральные исчисления были только уделом математиков, сегодня эту тему уже проходят в старших классах школы. Однако те, кто в дальнейшем не связывает свою жизнь с математикой, с трудом представляют, в какой сфере можно применить эти знания. В этой книге производные и интегралы рассматриваются не только в историческом, но и в практическом контексте. Читатель узнает о том, какую роль они сыграли в наблюдении за звездами, какова связь между функциями и выражением наклона, между интегрированием и делением земель. Иллюстрации помогают представить математические задачи образно, а любопытные факты из жизни ученых удачно дополняют изложение теории. Издание предназначено для старшеклассников, студентов вузов и всех любителей математики.
Предпросмотр: Производные и интегралы.pdf (0,8 Мб)