математика

Введение в математическую экологию, Петросян Л.А., Захаров В.В., 1986.

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

Лекции по математике, Том 13, Топология, Босс В., 2009.

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

Теория и технологии математического образования детей дошкольного возраста, Воронина Л.В., Утюмова Е.А., 2017.

   Пособие составлено в соответствии с программой курса «Теория и технологии математического образования в ДО У» в рамках стандарта подготовки студентов по направлению 44.03.01 «Педагогическое образование», профили - «Дошкольное образование», «Управление дошкольным образованием». В данном пособии раскрыто математическое содержание и педагогические технологии развития у дошкольников математических представлений.
Пособие направлено на развитие у студентов творческого и профессионального потенциала. Материалы предназначены для студентов высших и средних педагогических учебных заведений.

Математическая логика, Унучек С.А., 2018.

   В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения.
Учебное пособие предназначено для студентов высших учебных заведений, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по направлениям подготовки 01.03.02 «Прикладная математика и информатика», 01.03.04 «Прикладная математика», 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», 11.03.02 «Инфокоммуникационные технологии и системы связи» и так далее. Пособие также может быть полезно студентам других специальностей и преподавателям, а также всем желающим начать самостоятельное изучение математической логики.

Математическая логика и ее применения, Сборник статей, Нагел Э., Саппс П., Тарский А., 1965.

   Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник включены наиболее интересные доклады по математической логике, теории множеств, теории моделей, теории алгоритмов, основаниям математики и математической лингвистике, не только освещающие последние достижения в данной области науки, но и намечающие задачи и проблематику дальнейших исследований.
Книга представляет интерес для широких кругов математиков, занимающихся основаниями математики и математической логикой, для философов и представителей других наук, интересующихся методологическими проблемами математики, а также для лингвистов, работающих над проблемами кодирования и обработки информации с помощью вычислительных машин. Она доступна также аспирантам и студентам старших курсов соответствующих высших учебных заведений.

Инновационные технологии в обучении математике, Методическое пособие, Лебедева С.В., 2011.

   Цель освоения дисциплины «Инновационные технологии в обучении математике» - овладение профессиональными знаниями и умениями в области общей методики обучения математике и применения полученных знаний в области педагогической деятельности:
(1) организация обучения и воспитания в сфере образования с использованием технологий, соответствующих возрастным особенностям обучающихся и отражающих специфику предметной области;
(2) осуществление профессионального самообразования и личностного роста, проектирование дальнейшего образовательного маршрута и профессиональной карьеры.

Математическая логика и теория алгоритмов, Крупский В.Н., Плиско В.Е., 2013.

   Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки «Информатика и вычислительная техника», «Информационные системы», «Фундаментальная информатика и информационные технологии» (квалификация «бакалавр»).
Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений.
Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.

Конспект лекций по математической логике, Валицкас А.И., 2010.

   Учебно-методическое пособие представляет конспект курса лекций по математической логике, читаемого автором в течение ряда лет на математическом факультете в Тобольской государственной социально-педагогической академии им. Д.И. Менделеева.
Пособие предназначено, в первую очередь, для студентов физико-математических специальностей пединститутов. Оно может быть использовано также при чтении курса математической логики для специалистов, связанных с информатикой. Пособие будет полезно всем, кто интересуется математикой и проблемами её обоснования.