Введение в алгебру логики Автор: Шатило Эльвира Николаевна, учитель информатики и математики МОУ СОШ 14 города Астрахани.

Презентация:



Advertisements
Похожие презентации
Логика Логика –наука, изучающая законы и формы мышления. Логика изучает: Формы мышления Способы мышления.
Advertisements

Основатель – Аристотель ( гг. до н.э. ) Ввёл основные формулы абстрактного мышления Историческая справка 1 этап – формальная логика.
Алгебра логики Автор: Курьянова Е.А., ГБОУ СОШ 1352.
ОСНОВЫ ЛОГИКИ И ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРА. Логика – наука о формах и способах человеческого мышления.
Логика – это наука, изучающая законы и формы человеческого мышления. Виды логики диалектическая логика формальная логика изучает мысль с точки зрения содержания.
Основные понятия алгебры логики Логика -наука, изучающая законы и формы мышления.
На каких трех «китах» держится информатика? Логика, алгоритмы и программа Сайт автора:
Основы логики Алгебра высказываний Презентация к уроку информатики в 10 классе по теме: «Основы логики. Алгебра высказываний» Учитель МОУ СОШ 18 п. Загорский.
Алексеева Е.В., учитель информатики и ИКТ, МОУ «Сланцевская СОШ 3» Основы логики.
ИСТОРИЯ НАУКИ АЛГЕБРЫ ЛОГИКИ Составила:учитель информатики Семенова З.С. г.Заинск.
Основы логики. Логика – это наука о формах и способах мышления. В логике мышление рассма-тривается как инструмент познания окружающего мира.
AB AvB A&B Основы логики Джордж Буль ( ) основоположник математической логики AB.
Логические основы ПК. Понятие о науке логике Слово логика обозначает совокупность правил, которым подчиняется процесс мышления или обозначает науку о.
Алгебра логики. Логика Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и.
Законы логики Смирнов Роман Рябов Михаил Смирнов Роман Рябов Михаил.
Высказывания и логические выражения, операции, величины.
Введение в логику Логика – наука о формах и законах мышления.
Логика Подготовила : Набиева Рузиля Класс 11 «Б».
Историческая справка Основы формальной логики заложил Аристотель ( гг. до н.э.)- древнегреческий философ и учёный.
Логические основы работы компьютера
Транксрипт:

Введение в алгебру логики Автор: Шатило Эльвира Николаевна, учитель информатики и математики МОУ СОШ 14 города Астрахани

Логика –наука, изучающая законы и формы мышления. Логика изучает: Формы мышления Способы мышления

1 этап – формальная логика Основатель – Аристотель ( гг. до н.э. ) Ввёл основные формулы абстрактного мышления

2 этап – математическая логика Основатель – немецкий ученый и философ Лейбниц( ), предпринял попытку логических вычислений.

3 этап - Алгебра высказываний (Булева алгебра) Основатель - английский математик Джордж Буль(1815 – 1864), ввёл алфавит, орфографию и грамматику для математической логики.

Понятие- это форма человеческого мышления, где фиксируются основные, существенные признаки объекта. Любое понятие состоит из двух составляющих: объёма понятия и содержания понятия.

Объем понятия- это совокупность (множество) предметов, на которое оно распространяется. Содержание понятия- это совокупность основных, существенных признаков объекта.

Умозаключение- это форма мышления, с помощью которой из одной или нескольких суждений (посылок) может быть получено новое суждение (заключение).

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

Высказывания могут быть простыми или составными. 2+2=4 – это пример простого высказывания. Простое высказывание содержит одну простую мысль. Составные высказывания состоят из простых высказываний и логических операций. На улице солнечно и у меня хорошее настроение. – это пример составного высказывания. Алгебра высказываний определяет истинность или ложность составных высказываний.

Математический аппарат логики: Вводятся вместо простых высказываний логические переменные: А, В, С и т.д. Значения высказываний обозначаются следующим образом: истина- 1 ложь- 0.

НазваниеОбозначение Математическое обозначение Логическое умножение, конъюнкция и &,,/\ Логическое сложение, дизъюнкция или +,\/ Логическое отрицание, инверсия не Импликация, следование если, то Эквивалентность, равносильность тогда и только тогда