1 / 12

Министерство образования и науки Российской Федерации

Министерство образования и науки Российской Федерации ФГБОУ ВПО «Тульский государственный педагогический университет им. Л.Н.Толстого » Презентация курса по выбору. «МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ» Кафедра педагогики, методики и дисциплин начального образования.

dean-gilliam
Download Presentation

Министерство образования и науки Российской Федерации

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Министерство образования и наукиРоссийской Федерации ФГБОУ ВПО «Тульский государственный педагогический университет им. Л.Н.Толстого» Презентация курса по выбору «МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ» Кафедра педагогики, методики и дисциплин начального образования

  2. Область научной специализации: математическая логика, алгебра и теория чисел. Область научных интересов: вопросы качества математической подготовки студентов в вузах, методика преподавания математических дисциплин; методология и методика студенческих научных исследований, управление научно-исследовательской работой студентов в вузе и др. Автор-составитель: кандидат физико-математических наук, доцент А. Л. Рощеня

  3. Цель дисциплины: формирование у студентовсистематизированных теоретических знаний об основных средствах традиционной формальной логики и математической логики как второй ступени ее развития, применяемых для моделирования умозаключений, и готовности применить полученные знания в различных областях профессиональной деятельности.

  4. Достигнуть данную цель студент сможет, если выполнит следующие задачи: - сформирует целостное знание о средствах современной логики, с помощью которых моделируются умозаключения; - усвоит на междисциплинарной основе значение математической логики в изучении логических связей и отношений, лежащих в основе логического (дедуктивного) вывода; - научится формализации утверждений естественного языка с помощью средств современной логики; - научится моделировать умозаключения в виде схем, диаграмм и иных моделей; - научится контролировать использование различных форм умозаключающей деятельности мышления в практике. Задачи дисциплины

  5. Логика — одна из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышления, которые составляют предмет логики, в настоящее время не представляется возможным. Отдельные истоки логического учения можно обнаружить еще в Индии, в конце II тысячелетия до н. э. Однако если говорить о возникновении логики как науки, то есть о более или менее систематизированной совокупности знаний, то справедливым будет считать родиной логики великую цивилизацию Древней Греции. Аристотель Стагирит (ἈριστοτέληςΣταγειρίτης), великий философ, основоположник силлогистики

  6. И еще персоны: • Буль Джордж; Гёдель (Гедель) Курт Фридрих; Лейбниц Готфрид Вильгельм; Лобачевский Николай Иванович; Мальцев Анатолий Иванович; Марков Андрей Андреевич; Пеано Джузеппе; Рассел Бертран; Тарский Альфред; Тьюринг Алан Матисон; Успенский Владимир Андреевич; Фреге Готтлоб; Чёрч (Черч) Алонзо • Вы знакомы с их трудами и ролью в развитии логики?

  7. Один из них сказал: • «Единственное средство улучшить наши умозаключения состоит в том, чтобы сделать их столь же наглядными, как и у математиков, - такими, что их ошибочность можно было бы увидеть глазами…» Кому принадлежит это высказывание?

  8. Правильный ответ к предыдущему слайду:это говорил Г.В. Лейбниц. • А как соотносятся объемы понятий, «традиционная логика», «математическая логика», «символическая логика», «диалектическая логика», «формальная логика» ? • Ответы на все эти вопросы мы найдем при изучении теоретический части курса по выбору «МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ».

  9. А как разобраться в том, правильно ли рассуждает телеведущий одной из популярных программ, профессиональный юрист, домработница и прочие персоны? • Ответы на все эти вопросы мы найдем при изучении практической части курса по выбору «МОДЕЛИРОВАНИЕ УМОЗАКЛЮЧЕНИЙ СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ» • «Рожденный ползать – летать не может!» • И мыслить тоже.

  10. Вы получите… знания • об истории и этапах развития традиционной формальной логики; • о свойствах теоретико-множественных опера­ций; • об отношениях между объемами понятий; • о высказываниях, операциях над высказываниями, о предикатах, операциях над предикатами, позволяющих получить новые предикаты;

  11. А главное… знания об основных правилах логики, позволяющих получать дедуктивные умозаключения из отдельных истинных суждений. • У вас сформируются умения и навыки определять, является ли то или иное рассуждение правильным. • Согласитесь, что такие умения нужны каждому, в любой области деятельности!

More Related