Инфоурок / Математика / Презентации / Презентация на тему: "Предмет и значение математической логики"
Обращаем Ваше внимание, что в соответствии с Федеральным законом N 273-ФЗ «Об образовании в Российской Федерации» в организациях, осуществляющих образовательную деятельность, организовывается обучение и воспитание обучающихся с ОВЗ как совместно с другими обучающимися, так и в отдельных классах или группах.

Педагогическая деятельность в соответствии с новым ФГОС требует от учителя наличия системы специальных знаний в области анатомии, физиологии, специальной психологии, дефектологии и социальной работы.

Только сейчас Вы можете пройти дистанционное обучение прямо на сайте "Инфоурок" со скидкой 40% по курсу повышения квалификации "Организация работы с обучающимися с ограниченными возможностями здоровья (ОВЗ)" (72 часа). По окончании курса Вы получите печатное удостоверение о повышении квалификации установленного образца (доставка удостоверения бесплатна).

Автор курса: Логинова Наталья Геннадьевна, кандидат педагогических наук, учитель высшей категории. Начало обучения новой группы: 27 сентября.

Подать заявку на этот курс    Смотреть список всех 216 курсов со скидкой 40%

Презентация на тему: "Предмет и значение математической логики"

библиотека
материалов
Предмет и значение математичкой логики Выполнила: Шукшина Татьяна МДМ-111 © Ф...
Логика – это наука, изучающая формы и законы мышления, закономерности мыслите...
Как самостоятельная наука, логика оформилась в трудах греческого философа Ари...
 © Фокина Лидия Петровна
Предметом математической логики есть математические теории в целом, которые и...
Сфера применения математической логики очень широка. С каждым годом растет гл...
Принципиальное и прикладное значение математической логики Принципиальное зна...
Прикладное значение математической логики в настоящее время очень велико. Мат...
8 1

УЖЕ ЧЕРЕЗ 10 МИНУТ ВЫ МОЖЕТЕ ПОЛУЧИТЬ ДИПЛОМ

от проекта "Инфоурок" с указанием данных образовательной лицензии, что важно при прохождении аттестации.


Если Вы учитель или воспитатель, то можете прямо сейчас получить документ, подтверждающий Ваши профессиональные компетенции. Выдаваемые дипломы и сертификаты помогут Вам наполнить собственное портфолио и успешно пройти аттестацию.


Список всех тестов можно посмотреть тут - https://infourok.ru/tests

Описание презентации по отдельным слайдам:

№ слайда 1 Предмет и значение математичкой логики Выполнила: Шукшина Татьяна МДМ-111 © Ф
Описание слайда:

Предмет и значение математичкой логики Выполнила: Шукшина Татьяна МДМ-111 © Фокина Лидия Петровна

№ слайда 2 Логика – это наука, изучающая формы и законы мышления, закономерности мыслите
Описание слайда:

Логика – это наука, изучающая формы и законы мышления, закономерности мыслительного процесса. Слово «логика» произошло от греческого logos, что означает слово, понятие, рассуждение, разум. Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы,доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов». © Фокина Лидия Петровна

№ слайда 3 Как самостоятельная наука, логика оформилась в трудах греческого философа Ари
Описание слайда:

Как самостоятельная наука, логика оформилась в трудах греческого философа Аристотеля (384 – 322 гг. до н.э.).  Он систематизировал известные до него сведения и эта система стала впоследствии называться традиционной или Аристотелевой логикой. В XIX в. - начале XX в. в логике произошла научная революция и на смену традиционной логике пришла современная логика, называемая также математической или символической логикой. Развитие математики выявило недостаточность Аристотелевой логики и поставило задачу о ее дальнейшем построении на математической основе. © Фокина Лидия Петровна

№ слайда 4  © Фокина Лидия Петровна
Описание слайда:

© Фокина Лидия Петровна

№ слайда 5 Предметом математической логики есть математические теории в целом, которые и
Описание слайда:

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

№ слайда 6 Сфера применения математической логики очень широка. С каждым годом растет гл
Описание слайда:

Сфера применения математической логики очень широка. С каждым годом растет глубокое проникновение идей и методов математической логики в информатику, вычислительную математику, лингвистику, философию. Мощным импульсом для развития и расширения области применения математической логики стало появление электронно-вычислительных машин. Оказалось, что в рамках математической логики уже есть готовый аппарат для проектирования вычислительной техники. Методы и понятия математической логики является основой, ядром интеллектуальных информационных систем. Средства математической логики стали эффективным рабочим инструментом для специалистов многих отраслей науки и техники.  Сфера применения математической логики очень широка. С каждым годом растет глубокое проникновение идей и методов математической логики в информатику, вычислительную математику, лингвистику, философию. Мощным импульсом для развития и расширения области применения математической логики стало появление электронно-вычислительных машин. Оказалось, что в рамках математической логики уже есть готовый аппарат для проектирования вычислительной техники. Методы и понятия математической логики является основой, ядром интеллектуальных информационных систем. Средства математической логики стали эффективным рабочим инструментом для специалистов многих отраслей науки и техники.  математической логики как самостоятельной математической дисциплины.  Сфера применения математической логики очень широка. С каждым годом растет глубокое проникновение идей и методов математической логики в информатику, вычислительную математику, лингвистику, философию. Мощным импульсом для развития и расширения области применения математической логики стало появление электронно-вычислительных машин. Оказалось, что в рамках математической логики уже есть готовый аппарат для проектирования вычислительной техники. Методы и понятия математической логики является основой, ядром интеллектуальных информационных систем. Средства математической логики стали эффективным рабочим инструментом для специалистов многих отраслей науки и техники.  В Математической предметной классификации математическая логика объединена в одну секцию верхнего уровня с основаниями математики, в которой выделены следующие разделы: общая логика (англ. general logic), включает классическую логику первого порядка, логики высших порядков (логику второго порядка), комбинаторную логику, λ-исчисление, временную логику, модальную логику, многозначные логики, нечёткую логику, логику в информатике; теория моделей; теория вычислимости и теория рекурсии; теория множеств; теория доказательств и конструктивная математика; алгебраическая логика (включает вопросы изучения булевых алгебр, алгебра Гейтинга, квантовых логик, цилиндрических и полиадических алгебр, алгебр Поста); нестандартные модели. © Фокина Лидия Петровна

№ слайда 7 Принципиальное и прикладное значение математической логики Принципиальное зна
Описание слайда:

Принципиальное и прикладное значение математической логики Принципиальное значение математической логики – обоснование математики (анализ основ математики). © Фокина Лидия Петровна

№ слайда 8 Прикладное значение математической логики в настоящее время очень велико. Мат
Описание слайда:

Прикладное значение математической логики в настоящее время очень велико. Математическая логика применяется для следующих целей: анализа и синтеза (построения) цифровых вычислительных машин и других дискретных автоматов, в том числе и интеллектуальных систем; анализа и синтеза формальных и машинных языков, для анализа естественного языка; анализа и формализации интуитивного понятия вычислимости; выяснения существования механических процедур для решения задач определенного типа; анализа проблем сложности вычисления. Также математическая логика оказалась тесно связанной и с рядом вопросов лингвистики, экономики, психологии и философии. © Фокина Лидия Петровна

Общая информация

Номер материала: ДВ-029797

Похожие материалы