PPt4Web Хостинг презентаций

Главная / Математика / Понятие математической логики
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

Чтобы скачать данную презентацию, порекомендуйте, пожалуйста, её своим друзьям в любой соц. сети.

После чего скачивание начнётся автоматически!

Кнопки:

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


Скачать эту презентацию

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


Скачать эту презентацию

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

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

№ слайда 2 Логика — наука о законах и правилах мышления.Формальная логика — наука о законах
Описание слайда:

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

№ слайда 3 В 4 века до н.э. древнегреческий ученый Аристотель заложил основы формальной лог
Описание слайда:

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

№ слайда 4 Алгебра логики — это математический аппарат, с помощью которого записывается, вы
Описание слайда:

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

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

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

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

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

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

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

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

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

№ слайда 9
Описание слайда:

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

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

Скачать эту презентацию

Презентации по предмету
Презентации из категории
Лучшее на fresher.ru