🗊Презентация Математическая логика

Категория: Математика
Нажмите для полного просмотра!
Математическая логика, слайд №1Математическая логика, слайд №2Математическая логика, слайд №3Математическая логика, слайд №4Математическая логика, слайд №5Математическая логика, слайд №6Математическая логика, слайд №7Математическая логика, слайд №8Математическая логика, слайд №9Математическая логика, слайд №10Математическая логика, слайд №11Математическая логика, слайд №12Математическая логика, слайд №13Математическая логика, слайд №14Математическая логика, слайд №15Математическая логика, слайд №16Математическая логика, слайд №17Математическая логика, слайд №18Математическая логика, слайд №19Математическая логика, слайд №20Математическая логика, слайд №21Математическая логика, слайд №22Математическая логика, слайд №23Математическая логика, слайд №24
Скачать

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Математическая логика. Доклад-сообщение содержит 24 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1


МАТЕМАТИЧЕСКАЯ ЛОГИКА MATEMAATILINE LOOGIKA Eesmärk Õpetusega taotletakse, et õppija omandab loogika baasteadmised erialaõpinguteks
Описание слайда:
МАТЕМАТИЧЕСКАЯ ЛОГИКА MATEMAATILINE LOOGIKA Eesmärk Õpetusega taotletakse, et õppija omandab loogika baasteadmised erialaõpinguteks

Слайд 2


Логика как наука Человек с древних времен стремился познать законы правильного мышления, т. е. логические законы Мыслить логично — значит мыслить точно и последовательно, не допускать противоречий в своих рассуждениях, уметь вскрывать логические ошибки
Описание слайда:
Логика как наука Человек с древних времен стремился познать законы правильного мышления, т. е. логические законы Мыслить логично — значит мыслить точно и последовательно, не допускать противоречий в своих рассуждениях, уметь вскрывать логические ошибки

Слайд 3


Познание истины — одна из важнейших потребностей человека чтобы жить чтобы ориентироваться в быстро меняющейся обстановке принимать правильные решения на их основе совершать правильные действия
Описание слайда:
Познание истины — одна из важнейших потребностей человека чтобы жить чтобы ориентироваться в быстро меняющейся обстановке принимать правильные решения на их основе совершать правильные действия

Слайд 4


Логика — одна из древнейших наук Логика — одна из древнейших наук Ее основателем считается величайший древнегреческий философ Аристотель, который первым: систематизировал формы и правила мышления обстоятельно исследовал категории «понятие» и «суждение» подробно разработал теорию умозаключений и доказательств описал ряд логических операций сформулировал основные законы мышления
Описание слайда:
Логика — одна из древнейших наук Логика — одна из древнейших наук Ее основателем считается величайший древнегреческий философ Аристотель, который первым: систематизировал формы и правила мышления обстоятельно исследовал категории «понятие» и «суждение» подробно разработал теорию умозаключений и доказательств описал ряд логических операций сформулировал основные законы мышления

Слайд 5


Формальная логика – наука о законах и формах мышления, изучает совокупность правил, которым подчиняется процесс познавательной деятельности
Описание слайда:
Формальная логика – наука о законах и формах мышления, изучает совокупность правил, которым подчиняется процесс познавательной деятельности

Слайд 6


Формы человеческого мышления Мышление всегда осуществляется в каких-то формах В логике выделяют следующие формы мышления: понятие суждение (высказывание) умозаключение
Описание слайда:
Формы человеческого мышления Мышление всегда осуществляется в каких-то формах В логике выделяют следующие формы мышления: понятие суждение (высказывание) умозаключение

Слайд 7


Понятие — форма мышления, в которой отражаются отличительные существенные признаки предметов Существенными называются такие признаки, каждый из которых, взятый отдельно, необходим, а все вместе достаточны
Описание слайда:
Понятие — форма мышления, в которой отражаются отличительные существенные признаки предметов Существенными называются такие признаки, каждый из которых, взятый отдельно, необходим, а все вместе достаточны

Слайд 8


Примеры понятий: Апельсин Трапеция Ураганный ветер Студент медицинского института Признаками понятия апельсин являются: круглый, ароматный, сладкий, оранжевый, упругий Могут быть необходимы и дополнительные признаки
Описание слайда:
Примеры понятий: Апельсин Трапеция Ураганный ветер Студент медицинского института Признаками понятия апельсин являются: круглый, ароматный, сладкий, оранжевый, упругий Могут быть необходимы и дополнительные признаки

Слайд 9


Понятие имеет две основные логические характеристики: содержание и объём Содержание понятия — совокупность существенных признаков, отраженных в этом понятии Содержание понятия - ученик включает в себя признаки: познавать новое, иметь учителя, иметь интерес к учебе, быть исполнительным, быть обязательным, быть воспитанным
Описание слайда:
Понятие имеет две основные логические характеристики: содержание и объём Содержание понятия — совокупность существенных признаков, отраженных в этом понятии Содержание понятия - ученик включает в себя признаки: познавать новое, иметь учителя, иметь интерес к учебе, быть исполнительным, быть обязательным, быть воспитанным

Слайд 10


Объем понятия: множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятия Объем понятия ученик включает в себя всех людей, которые когда-либо учились (в частности, «чему-нибудь и как-нибудь»), учатся сейчас или будут учиться когда-нибудь
Описание слайда:
Объем понятия: множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятия Объем понятия ученик включает в себя всех людей, которые когда-либо учились (в частности, «чему-нибудь и как-нибудь»), учатся сейчас или будут учиться когда-нибудь

Слайд 11


Наглядная геометрическая иллюстрация объемов понятий и отношений между ними была предложена математиком, физиком и астрономом Леонардом Эйлером (1707 — 1781) и носит название кругов Эйлера
Описание слайда:
Наглядная геометрическая иллюстрация объемов понятий и отношений между ними была предложена математиком, физиком и астрономом Леонардом Эйлером (1707 — 1781) и носит название кругов Эйлера

Слайд 12


Математическая логика, слайд №12
Описание слайда:

Слайд 13


Суждение Суждение (высказывание, утверждение) — форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях между ними Языковым выражением суждений является повествовательное предложение Этот апельсин вкусный. Если прошел дождь, то асфальт мокрый. На Луне живут лунатики, на Марсе — марсиане.
Описание слайда:
Суждение Суждение (высказывание, утверждение) — форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях между ними Языковым выражением суждений является повествовательное предложение Этот апельсин вкусный. Если прошел дождь, то асфальт мокрый. На Луне живут лунатики, на Марсе — марсиане.

Слайд 14


Суждение Суждения бывают простыми и сложными Наступила весна — простое суждение Наступила весна, и прилетели грачи — сложное Всякое суждение может быть либо истинным, либо ложным по своему содержанию Содержание суждения — это то, о чем в нем идет речь, его смысл
Описание слайда:
Суждение Суждения бывают простыми и сложными Наступила весна — простое суждение Наступила весна, и прилетели грачи — сложное Всякое суждение может быть либо истинным, либо ложным по своему содержанию Содержание суждения — это то, о чем в нем идет речь, его смысл

Слайд 15


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

Слайд 16


Суждение Чтобы вести рассуждения и оценивать их правильность, необходимо прежде договориться по каждому суждению. Будем ли мы его рассматривать как истинное или ложное в данном конкретном случае. Например, суждение Он — хороший шахматист может быть как истинным, так и ложным, в зависимости от того, кто имеется в виду под местоимением «он». Заметим, что «договориться» мы можем только по отношению к простым суждениям. Значение же истинности сложных суждении вычисляется. Интерес представляет то, чем суждения отличаются друг от друга, что характеризует каждое из них и неизменно для каждого из них, а именно их форма
Описание слайда:
Суждение Чтобы вести рассуждения и оценивать их правильность, необходимо прежде договориться по каждому суждению. Будем ли мы его рассматривать как истинное или ложное в данном конкретном случае. Например, суждение Он — хороший шахматист может быть как истинным, так и ложным, в зависимости от того, кто имеется в виду под местоимением «он». Заметим, что «договориться» мы можем только по отношению к простым суждениям. Значение же истинности сложных суждении вычисляется. Интерес представляет то, чем суждения отличаются друг от друга, что характеризует каждое из них и неизменно для каждого из них, а именно их форма

Слайд 17


Логическая форма суждения — это его строение, способ связи его составных частей Форма суждения, в отличие от его содержания, объективна, т. е. не зависит от тех или иных взглядов того или иного человека Определим логическую форму следующих суждений: Все лошади едят овес Все реки впадают в море Все книги имеют страницы Все планеты вращаются вокруг звезд Во всех этих суждениях говорится о разном (у них различное содержание), но они имеют одинаковую логическую форму: Все S есть Р
Описание слайда:
Логическая форма суждения — это его строение, способ связи его составных частей Форма суждения, в отличие от его содержания, объективна, т. е. не зависит от тех или иных взглядов того или иного человека Определим логическую форму следующих суждений: Все лошади едят овес Все реки впадают в море Все книги имеют страницы Все планеты вращаются вокруг звезд Во всех этих суждениях говорится о разном (у них различное содержание), но они имеют одинаковую логическую форму: Все S есть Р

Слайд 18


Суждение Суждения: Все медузы не имеют головы Люди не боги имеют другую логическую форму: Все S не есть Р
Описание слайда:
Суждение Суждения: Все медузы не имеют головы Люди не боги имеют другую логическую форму: Все S не есть Р

Слайд 19


Умозаключение Умозаключение — форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, мы по определенным правилам вывода получаем суждение-заключение (вывод умозаключения) В русском языке слово «умозаключение» используется в двух значениях: для обозначения процесса рассуждения, размышления, приводящего к некоторому выводу, и для обозначения результата этого процесса
Описание слайда:
Умозаключение Умозаключение — форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, мы по определенным правилам вывода получаем суждение-заключение (вывод умозаключения) В русском языке слово «умозаключение» используется в двух значениях: для обозначения процесса рассуждения, размышления, приводящего к некоторому выводу, и для обозначения результата этого процесса

Слайд 20


Еще в древности было известно рассуждение, ставшее классическим образцом верного логического умозаключения: Еще в древности было известно рассуждение, ставшее классическим образцом верного логического умозаключения: Все люди смертны Сократ — человек Сократ смертен Заметим, что посылками умозаключения по правилам логики могут быть только истинные суждения
Описание слайда:
Еще в древности было известно рассуждение, ставшее классическим образцом верного логического умозаключения: Еще в древности было известно рассуждение, ставшее классическим образцом верного логического умозаключения: Все люди смертны Сократ — человек Сократ смертен Заметим, что посылками умозаключения по правилам логики могут быть только истинные суждения

Слайд 21


Умозаключение Всякое умозаключение, так же как и суждение, имеет свою форму. Эта форма может быть логически правильной или логически неправильной. Так, в примере с Сократом форма умозаключения логически верная: Все S есть Р Некоторые А есть S Некоторые А есть Р
Описание слайда:
Умозаключение Всякое умозаключение, так же как и суждение, имеет свою форму. Эта форма может быть логически правильной или логически неправильной. Так, в примере с Сократом форма умозаключения логически верная: Все S есть Р Некоторые А есть S Некоторые А есть Р

Слайд 22


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

Слайд 23


В конце XIX в. английский ученый Джордж Венн усовершенствовал круги Эйлера, добавив к изображению объема рассматриваемого понятия X изображение объема логически противоположного ему понятия НЕ Х(¬Х) Объем понятия ¬X является дополнением к объему понятия X
Описание слайда:
В конце XIX в. английский ученый Джордж Венн усовершенствовал круги Эйлера, добавив к изображению объема рассматриваемого понятия X изображение объема логически противоположного ему понятия НЕ Х(¬Х) Объем понятия ¬X является дополнением к объему понятия X

Слайд 24


ОСНОВНЫЕ ПОНЯТИЯ И ОПРЕДЕЛЕНИЯ Алгебра логики (алгебра высказываний) — раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов Под высказыванием (суждением) будем понимать повествовательное предложение, относительно которого можно сказать, истинно оно или ложно Обозначать высказывания будем прописными буквами. Если высказывание А истинное, то будем писать «А = 1» и говорить «А истинно». Если высказывание А ложное, то будем писать «А = 0» и говорить «Ложно»
Описание слайда:
ОСНОВНЫЕ ПОНЯТИЯ И ОПРЕДЕЛЕНИЯ Алгебра логики (алгебра высказываний) — раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов Под высказыванием (суждением) будем понимать повествовательное предложение, относительно которого можно сказать, истинно оно или ложно Обозначать высказывания будем прописными буквами. Если высказывание А истинное, то будем писать «А = 1» и говорить «А истинно». Если высказывание А ложное, то будем писать «А = 0» и говорить «Ложно»

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию