Оцените презентацию от 1 до 5 баллов!
Тип файла:
ppt / pptx (powerpoint)
Всего слайдов:
10 слайдов
Для класса:
1,2,3,4,5,6,7,8,9,10,11
Размер файла:
86.99 kB
Просмотров:
94
Скачиваний:
0
Автор:
неизвестен
Слайды и текст к этой презентации:
№1 слайд
Содержание слайда: ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
№2 слайд
Содержание слайда: Логика — наука о законах и правилах мышления.
Логика — наука о законах и правилах мышления.
Формальная логика — наука о законах и формах мышления.
Математическая логика изучает логические связи и отношения, лежащие в основе дедуктивного вывода.
№3 слайд
Содержание слайда: В 4 века до н.э. древнегреческий ученый Аристотель заложил основы формальной логики. Он исследовал терминологию логики, разобрал теорию умозаключений и доказательств, вывел понятие силлогизма.
В 4 века до н.э. древнегреческий ученый Аристотель заложил основы формальной логики. Он исследовал терминологию логики, разобрал теорию умозаключений и доказательств, вывел понятие силлогизма.
В 16 веке в алгебре была создана буквенная символика. Она получила название алгебры логики, или математической логики. Основы математической логики заложил в 17 веке немецкий математик Лейбниц. Он сделал попытку построить первые логические исчисления. Лейбниц только развил идею, а окончательно развил и сформулировал ее ученый Джон Буль (1815-1864). В работах Буля логика приобрела свой алфавит, грамматику, орфографию. Поэтому иногда математическую логику называют Булевой алгеброй.
№4 слайд
Содержание слайда: Алгебра логики — это математический аппарат, с помощью которого записывается, вычисляется, упрощается и преобразуется логическое высказывание.
Алгебра логики — это математический аппарат, с помощью которого записывается, вычисляется, упрощается и преобразуется логическое высказывание.
Основным понятием математической логики является высказывание.
Высказывание — это повествовательное предложение, про которое всегда можно сказать истинное оно или ложное.
Истинные высказывания обозначаются — 1, а ложные — 0
Высказывания бывают просты и сложные. Сложные состоят из простых, соединенных знаками логических операций.
Высказывания обозначаются заглавными буквами латинского алфавита (простые): A,B,C,D…
№5 слайд
Содержание слайда: 1. Инверсия
1. Инверсия
• соответствует частице НЕ
• обозначается ¬А
• называется: отрицание
№6 слайд
Содержание слайда: 2. Конъюнкция
2. Конъюнкция
• соответствует союзу И
• обозначается &, ●
• называется: логическое умножение
№7 слайд
Содержание слайда: 3. Дизъюнкция
3. Дизъюнкция
• соответствует союзу ИЛИ
• обозначается v
• называется: логическое сложение
№8 слайд
Содержание слайда: ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ
В алгебре логики выполняются следующие основные законы, позволяющие производить тождественные преобразования логических выражений.
№9 слайд
№10 слайд
Содержание слайда: Равносильные преобразования логических формул имеют то же назначение что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определенному виду путем использования основных законов алгебры логики.
Равносильные преобразования логических формул имеют то же назначение что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определенному виду путем использования основных законов алгебры логики.
Некоторые преобразования логических формул похожи на преобразования формул в обычной алгебре (вынесение общего множителя за скобки, использование переместительного, сочетательного законов и т.д.), но есть и другие преобразования (использование распределительного закона для конъюнкции, законы поглощения, склеивания, де Моргана и др.)