🗊ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

Категория: Математика
Нажмите для полного просмотра!
ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, слайд №1ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, слайд №2ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, слайд №3ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, слайд №4ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, слайд №5ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, слайд №6ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, слайд №7ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, слайд №8ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, слайд №9ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, слайд №10

Вы можете ознакомиться и скачать ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. Презентация содержит 10 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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


Слайд 1





ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Описание слайда:
ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

Слайд 2





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

Слайд 3





 В 4 века до н.э. древнегреческий ученый Аристотель заложил основы формальной логики. Он исследовал терминологию логики, разобрал теорию умозаключений и доказательств, вывел понятие силлогизма.
 В 4 века до н.э. древнегреческий ученый Аристотель заложил основы формальной логики. Он исследовал терминологию логики, разобрал теорию умозаключений и доказательств, вывел понятие силлогизма.
В 16 веке в алгебре была создана буквенная символика. Она получила название алгебры логики, или математической логики. Основы математической логики заложил в 17 веке немецкий математик Лейбниц. Он сделал попытку построить первые логические исчисления. Лейбниц только развил идею, а окончательно развил и сформулировал ее ученый Джон Буль (1815-1864). В работах Буля логика приобрела свой алфавит, грамматику, орфографию. Поэтому иногда математическую логику называют Булевой алгеброй.
Описание слайда:
В 4 века до н.э. древнегреческий ученый Аристотель заложил основы формальной логики. Он исследовал терминологию логики, разобрал теорию умозаключений и доказательств, вывел понятие силлогизма. В 4 века до н.э. древнегреческий ученый Аристотель заложил основы формальной логики. Он исследовал терминологию логики, разобрал теорию умозаключений и доказательств, вывел понятие силлогизма. В 16 веке в алгебре была создана буквенная символика. Она получила название алгебры логики, или математической логики. Основы математической логики заложил в 17 веке немецкий математик Лейбниц. Он сделал попытку построить первые логические исчисления. Лейбниц только развил идею, а окончательно развил и сформулировал ее ученый Джон Буль (1815-1864). В работах Буля логика приобрела свой алфавит, грамматику, орфографию. Поэтому иногда математическую логику называют Булевой алгеброй.

Слайд 4





Алгебра логики — это математический аппарат, с помощью которого записывается, вычисляется, упрощается и преобразуется логическое высказывание.
Алгебра логики — это математический аппарат, с помощью которого записывается, вычисляется, упрощается и преобразуется логическое высказывание.
Основным понятием математической логики является высказывание.
Высказывание — это повествовательное предложение, про которое всегда можно сказать истинное оно или ложное.
Истинные высказывания обозначаются — 1, а ложные — 0
Высказывания бывают просты и сложные. Сложные состоят из простых, соединенных знаками логических операций.
Высказывания обозначаются заглавными буквами латинского алфавита (простые): A,B,C,D…
Описание слайда:
Алгебра логики — это математический аппарат, с помощью которого записывается, вычисляется, упрощается и преобразуется логическое высказывание. Алгебра логики — это математический аппарат, с помощью которого записывается, вычисляется, упрощается и преобразуется логическое высказывание. Основным понятием математической логики является высказывание. Высказывание — это повествовательное предложение, про которое всегда можно сказать истинное оно или ложное. Истинные высказывания обозначаются — 1, а ложные — 0 Высказывания бывают просты и сложные. Сложные состоят из простых, соединенных знаками логических операций. Высказывания обозначаются заглавными буквами латинского алфавита (простые): A,B,C,D…

Слайд 5





1.	Инверсия
1.	Инверсия
•	соответствует частице   НЕ
•	обозначается    ¬А
•	называется:   отрицание
Описание слайда:
1. Инверсия 1. Инверсия • соответствует частице НЕ • обозначается ¬А • называется: отрицание

Слайд 6





2.	Конъюнкция
2.	Конъюнкция
•	соответствует союзу   И
•	обозначается    &, ●
•	называется:    логическое умножение
Описание слайда:
2. Конъюнкция 2. Конъюнкция • соответствует союзу И • обозначается &, ● • называется: логическое умножение

Слайд 7





3.	Дизъюнкция
3.	Дизъюнкция
•	соответствует союзу    ИЛИ
•	обозначается      v 
•	называется:   логическое сложение
Описание слайда:
3. Дизъюнкция 3. Дизъюнкция • соответствует союзу ИЛИ • обозначается v • называется: логическое сложение

Слайд 8





ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ

В алгебре логики выполняются следующие основные законы, позволяющие производить тождественные преобразования логических выражений.
Описание слайда:
ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ В алгебре логики выполняются следующие основные законы, позволяющие производить тождественные преобразования логических выражений.

Слайд 9


ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, слайд №9
Описание слайда:

Слайд 10





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



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