Главная / Математика / Презентация по теме "Введение в алгебру логики"

Презентация по теме "Введение в алгебру логики"

Логика
Логика –наука, изучающая законы и формы мышления. Логика изучает: Формы мышле...
2 этап – математическая логика Основатель – немецкий ученый и философ Лейбниц...
3 этап - Алгебра высказываний (Булева алгебра) Основатель - английский матема...
Понятие- это форма человеческого мышления, где фиксируются основные, существе...
Объем понятия- это совокупность (множество) предметов, на которое оно распрос...
Умозаключение- это форма мышления, с помощью которой из одной или нескольких ...
Высказывание- это форма мышления, в которой что-либо утверждается или отрицае...
Высказывания могут быть простыми или составными. 2+2=4 – это пример простого ...
Математический аппарат логики: Вводятся вместо простых высказываний логически...
Название	Обозначение	Математическое обозначение Логическое умножение, конъюнк...
Информатика изучается в курсе средней школы. «Е»- шестая буква алфавита. Квад...
Здравствуй! Аксиома не требует доказательств. Идёт дождь. Какая температура н...
Кто является основателем формальной логики? Дайте определение логики как наук...
Джордж Буль и его необыкновенная алгебра. Развитие логических систем (учений)...
Н. Д. Угринович Информатика и информационные технологии. Учебник для 10-11 кл...
1 из 18

Описание презентации по отдельным слайдам:

№ слайда 1 Логика
Описание слайда:

Логика

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

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

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

№ слайда 4 2 этап – математическая логика Основатель – немецкий ученый и философ Лейбниц(16
Описание слайда:

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

№ слайда 5 3 этап - Алгебра высказываний (Булева алгебра) Основатель - английский математик
Описание слайда:

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

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

№ слайда 7 Понятие- это форма человеческого мышления, где фиксируются основные, существенны
Описание слайда:

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

№ слайда 8 Объем понятия- это совокупность (множество) предметов, на которое оно распростра
Описание слайда:

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

№ слайда 9 Умозаключение- это форма мышления, с помощью которой из одной или нескольких суж
Описание слайда:

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

№ слайда 10 Высказывание- это форма мышления, в которой что-либо утверждается или отрицается
Описание слайда:

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

№ слайда 11 Высказывания могут быть простыми или составными. 2+2=4 – это пример простого выс
Описание слайда:

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

№ слайда 12 Математический аппарат логики: Вводятся вместо простых высказываний логические п
Описание слайда:

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

№ слайда 13 Название	Обозначение	Математическое обозначение Логическое умножение, конъюнкция
Описание слайда:

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

№ слайда 14 Информатика изучается в курсе средней школы. «Е»- шестая буква алфавита. Квадрат
Описание слайда:

Информатика изучается в курсе средней школы. «Е»- шестая буква алфавита. Квадрат является ромбом. Квадрат гипотенузы равен сумме квадратов катетов. Сумма углов треугольника равна 1900. 12+14>30 Графическое изображение векторной графики формируется из точек(пикселей). 16-битные звуковые карты точнее кодируют и воспроизводят звук, чем 8-битные.

№ слайда 15 Здравствуй! Аксиома не требует доказательств. Идёт дождь. Какая температура на у
Описание слайда:

Здравствуй! Аксиома не требует доказательств. Идёт дождь. Какая температура на улице? Число 2 является делителем числа 9. Число х не больше двух. Уходя гасите свет.

№ слайда 16 Кто является основателем формальной логики? Дайте определение логики как науки.
Описание слайда:

Кто является основателем формальной логики? Дайте определение логики как науки. Каково её назначение? Какие существуют основные формы мышления? Что такое высказывание? Приведите примеры высказываний и предложений, не являющихся ими.

№ слайда 17 Джордж Буль и его необыкновенная алгебра. Развитие логических систем (учений) от
Описание слайда:

Джордж Буль и его необыкновенная алгебра. Развитие логических систем (учений) от Аристотеля. Тавтологии, силлогизмы и парадоксы.

№ слайда 18 Н. Д. Угринович Информатика и информационные технологии. Учебник для 10-11 класс
Описание слайда:

Н. Д. Угринович Информатика и информационные технологии. Учебник для 10-11 классов. И.А. Иванова Информатика 10 класс. Практикум. В.М. Казиев Информатика в примерах и задачах. Книга для учащихся 10-11 класс

Презентация по теме "Введение в алгебру логики"
  • Математика
Описание:

Алгебра логики – это математический аппарат с помощью которого записывают (кодируют), упрощают, вычисляют и преобразовывают
логические высказывания.

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

Любое понятие состоит из двух составляющих:

объёма понятия и

содержания понятия.

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

 

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

Автор Синилова Татьяна Николаевна
Дата добавления 07.01.2015
Раздел Математика
Подраздел
Просмотров 315
Номер материала 42835
Скачать свидетельство о публикации

Оставьте свой комментарий:

Введите символы, которые изображены на картинке:

Получить новый код
* Обязательные для заполнения.


Комментарии:

↓ Показать еще коментарии ↓