математика

Математическая логика и теория алгоритмов, Сергиевская И.М., 2004.

   Логикой называют науку о законах и формах мышления. Формальная логика изучает формы правильных рассуждений. Математическая логика - часть формальной логики - изучает формы рассуждений, принятые в математике.
В настоящее время значение математической логики в инженерном образовании возрастает в связи с необходимостью развития математического мышления, а также изучения дискретной или компьютерной математики. Математическая логика и теория алгоритмов являются основой курса дискретной математики, что нашло отражение в данном учебном пособии.
Учебное пособие адресовано студентам, обучающимся по направлениям 210300 - радиотехника, 230000 - информатика и вычислительная техника, и по специальностям: 210401 - физика и техника оптической связи, 210402 - средства связи с подвижными объектами, 210403 - защищенные системы связи, 210404 - многоканальные телекоммуникационные системы, 210405 - радиосвязь,
радиовещание и телевидение, 210406 - сети связи и системы коммутации, и полностью соответствует действующему Государственному образовательному стандарту высшего профессионального образования и требованиям квалификационной характеристики выпускника. Теоретическая часть пособия основана на лекциях, читанных автором в Поволжской государственной академии телекоммуникаций и информатики.

Лекции об уравнениях с частными производными, Петровский И.Г., 2009.

   Автор этой книги является основоположником современной теории дифференциальных уравнений. Основу книги составили лекции, прочитанные студентам-математикам механико-математического факультета Московского государственного университета в тридцатых годах двадцатого столетия.
В книге рассматриваются три типа дифференциальных уравнений в частных производных: эллиптические, параболические и гиперболические. Для каждого типа исследуются вопросы существования и единственности решения и его непрерывной зависимости от заданных начальных и граничных условий.
Книга может быть рекомендована студентам математических и естественно-научных специальностей, в которых требуется знать и использовать уравнения в частных производных.

Неклассические логики высказываний, Кузьмин Е.В., 2016.

   Написано в поддержку учебной дисциплины «Неклассические логики». Основное внимание уделяется базовым принципам и конструктивным элементам, с помощью которых происходит формальное построение различных неклассических логик высказываний. Рассматриваются нормальные и ненормальные модальные логики, временные, условные, интуиционистские и многозначные логики, логики с возможными мирами, провалами и избытками истины, паранепротиворечивые, релевантные и нечеткие логики.
Предназначено для студентов старших курсов очной формы обучения, магистрантов и аспирантов, специализирующихся в области теоретической информатики и прикладной математики.

Логические проблемы преподавания математики, Столяр А.А., 1965.

   Книга предназначена для студентов и преподавателей педагогических вузов.
Она может быть использована как учебное пособие по курсу методики математики и в семинарах, посвященных актуальным проблемам преподавания математики в средней школе, с целью привлечения студентов к научно-исследовательской работе в области педагогики математики.
Исследование рассматриваемых в этой книге проблем может служить темой курсовых и дипломных работ студентов, а также материалом для проведения ими педагогических экспериментов.
Книга может быть использована и учителями в их практической работе.

Избранные вопросы выпуклого анализа, Прудников В.Я., 2016.

   Во втором издании монографии рассмотрены вопросы дифференцируемости и коэрцитивности выпуклых функционалов, приведено функциональное неравенство Иенсена в идеальных пространствах, исследован вопрос о точной нижней грани отношения вогнутого и выпуклого функционалов, введено понятие относительной полунепрерывности функционала, что позволило найти критерий Н-свойства функционалов в произвольном банаховом пространстве.
Книга будет полезна специалистам в области выпуклого анализа и его приложений, а также аспирантам и магистрантам.

Эксперименты в теории чисел, Зюзьков В.М., 2019.

   Экспериментальная математика - это тот раздел математики, который имеет дело, прежде всего, с кодированием и передачей идей в математическом сообществе с помощью экспериментальных исследований гипотез и менее формальных воззрений, а также с помощью анализа полученных данных. Как правило, математики не публикуют гипотезы. В этой книге, наоборот, читатель найдет много недоказанных утверждений, об истинности которых можно только предполагать. Но в этом и заключается цель книги - показать, как с помощью системы компьютерной алгебры Mathematica можно приходить к открытиям. Демонстрируется «кухня» компьютерных экспериментов. Предметной областью является элементарная теория чисел, так как эксперименты и исследования играют ключевую роль в изучении теории чисел. Автор стремился к «замкнутому» изложению материала.
Книга рассчитана на математиков, использующих системы компьютерной алгебры как инструмент в своих исследованиях. Также она будет полезна студентам и аспирантам математических направлений университетов, изучающих курс компьютерной алгебры.

Интегралы и дифференциальные уравнения, Денискина Е.А., Файницкий Ю.Л., 2006.

   Методические разработки составлены в соответствии с действующей программой по курсу математики для инженерно-технических специальностей вузов. Указания содержат набор стандартных задач для проведения практических занятий со студентами первого и второго курсов, а также задачи для самостоятельной работы студентов и ответы к ним.
Настоящие методические разработки предназначены для студентов первого и второго курсов 1-4 факультетов СГАУ. Указания могут быть рекомендованы преподавателям для подготовки и проведения практических занятий по темам «Неопределенный интеграл», «Определенный интеграл», «Дифференциальные уравнения».
Методические разработки выполнены на кафедре высшей математики СГАУ.

Алгебраическая геометрия над алгебраическими системами, Даниярова Э.Ю., Мясников А.Г., Ремесленников В.Н.

   Алгебраическая геометрия над алгебраическими системами изложена с теоретико-модельных позиций. Показано, что большинство базовых понятий, результатов и идей классической алгебраической геометрии над нолем допускают обобщение на случай произвольных алгебраических систем любой сигнатуры. При этом алгебро-геометрический аппарат существенно расширяется за счёт привлечения техники и серьёзных результатов из теории моделей.
Для специалистов по алгебре и теории моделей. Доступна аспирантам и студентам математических специальностей.