Для всех учителей из 37 347 образовательных учреждений по всей стране

Скидка до 75% на все 778 курсов

Выбрать курс
Получите деньги за публикацию своих
разработок в библиотеке «Инфоурок»
Добавить авторскую разработку
и получить бесплатное свидетельство о публикации в СМИ №ФС77-60625 от 20.01.2015
Инфоурок Математика Другие методич. материалыПрезентация по теме "Введение в алгебру логики"

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

библиотека
материалов
Логика

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

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

Логика

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

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

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

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

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 класс

Курс повышения квалификации
Курс профессиональной переподготовки
Учитель математики
Найдите материал к любому уроку,
указав свой предмет (категорию), класс, учебник и тему:
также Вы можете выбрать тип материала:
Краткое описание документа:

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

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

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

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

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

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

 

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

Проверен экспертом
Общая информация

Вам будут интересны эти курсы:

Курс повышения квалификации «Внедрение системы компьютерной математики в процесс обучения математике в старших классах в рамках реализации ФГОС»
Курс повышения квалификации «Педагогическое проектирование как средство оптимизации труда учителя математики в условиях ФГОС второго поколения»
Курс профессиональной переподготовки «Математика: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Изучение вероятностно-стохастической линии в школьном курсе математики в условиях перехода к новым образовательным стандартам»
Курс профессиональной переподготовки «Экономика: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Специфика преподавания основ финансовой грамотности в общеобразовательной школе»
Курс повышения квалификации «Специфика преподавания информатики в начальных классах с учетом ФГОС НОО»
Курс повышения квалификации «Особенности подготовки к сдаче ОГЭ по математике в условиях реализации ФГОС ООО»
Курс профессиональной переподготовки «Теория и методика обучения информатике в начальной школе»
Курс профессиональной переподготовки «Математика и информатика: теория и методика преподавания в образовательной организации»
Курс профессиональной переподготовки «Инженерная графика: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Развитие элементарных математических представлений у детей дошкольного возраста»
Курс повышения квалификации «Методика преподавания курса «Шахматы» в общеобразовательных организациях в рамках ФГОС НОО»
Курс повышения квалификации «Методика обучения математике в основной и средней школе в условиях реализации ФГОС ОО»
Курс профессиональной переподготовки «Черчение: теория и методика преподавания в образовательной организации»

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

Авторизуйтесь, чтобы задавать вопросы.