математика

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

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

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

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

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

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

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

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

Математическая логика дли социологов, Гуц А.К., 2017.

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

Математика в гостях у Олимпиады, Часть 2, Житко И.В., 2005.

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

Математика в гостях у Олимпиады, Часть 1, Житко И.В., 2004.

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

Летняя математическая олимпиадная школа СУНЦ МГУ 2005, 2006.

   Книга является сборником материалов Летней математической олимпиадной школы СУНЦ МГУ, проведенной в июне 2005 года. В качестве материалов представлены подробные содержания лекций и полная заданная база, использованная на семинарских занятиях.
Для школьников, студентов, преподавателей и руководителей кружков, а также всех, кто испытывает удовольствие от красивых математических сюжетов и интересных задач.