🗊Презентация Логика. Основные понятия

Категория: Информатика
Нажмите для полного просмотра!
Логика. Основные понятия, слайд №1Логика. Основные понятия, слайд №2Логика. Основные понятия, слайд №3Логика. Основные понятия, слайд №4Логика. Основные понятия, слайд №5Логика. Основные понятия, слайд №6Логика. Основные понятия, слайд №7Логика. Основные понятия, слайд №8Логика. Основные понятия, слайд №9Логика. Основные понятия, слайд №10Логика. Основные понятия, слайд №11Логика. Основные понятия, слайд №12Логика. Основные понятия, слайд №13Логика. Основные понятия, слайд №14Логика. Основные понятия, слайд №15Логика. Основные понятия, слайд №16Логика. Основные понятия, слайд №17Логика. Основные понятия, слайд №18Логика. Основные понятия, слайд №19Логика. Основные понятия, слайд №20Логика. Основные понятия, слайд №21Логика. Основные понятия, слайд №22Логика. Основные понятия, слайд №23Логика. Основные понятия, слайд №24Логика. Основные понятия, слайд №25Логика. Основные понятия, слайд №26Логика. Основные понятия, слайд №27Логика. Основные понятия, слайд №28Логика. Основные понятия, слайд №29Логика. Основные понятия, слайд №30Логика. Основные понятия, слайд №31Логика. Основные понятия, слайд №32Логика. Основные понятия, слайд №33Логика. Основные понятия, слайд №34Логика. Основные понятия, слайд №35Логика. Основные понятия, слайд №36Логика. Основные понятия, слайд №37Логика. Основные понятия, слайд №38

Содержание

Вы можете ознакомиться и скачать презентацию на тему Логика. Основные понятия. Доклад-сообщение содержит 38 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации


Слайд 1





Логика.
Основные понятия
Описание слайда:
Логика. Основные понятия

Слайд 2





ЛОГИКА
обозначает совокупность правил, которым подчиняется процесс мышления или обозначает науку о правилах рассуждения и тех формах, в которых оно осуществляется. 
изучает абстрактное мышление как средство познания объективного мира, исследует формы и законы, в которых происходит отражение мира в процессе мышления.
Описание слайда:
ЛОГИКА обозначает совокупность правил, которым подчиняется процесс мышления или обозначает науку о правилах рассуждения и тех формах, в которых оно осуществляется. изучает абстрактное мышление как средство познания объективного мира, исследует формы и законы, в которых происходит отражение мира в процессе мышления.

Слайд 3





Основными формами абстрактного мышления являются:
ПОНЯТИЕ — форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов: портфель, трапеция, ураганный ветер
СУЖДЕНИЕ — мысль, в которой что-либо утверждается или отрицается о предметах. Суждения являются повествовательными предложениями, истинными или ложными. Они могут быть простыми и сложными: Светит солнце. Весна наступила, и грачи прилетели. 
УМОЗАКЛЮЧЕНИЕ — прием мышления, посредством которого из исходного знания получается новое знание; из одного или нескольких истинных суждений, называемых посылками, мы по определенным правилам вывода получаем заключение. Есть несколько видов умозаключений. Все металлы — простые вещества. Литий — металл. Литий — простое вещество
Описание слайда:
Основными формами абстрактного мышления являются: ПОНЯТИЕ — форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов: портфель, трапеция, ураганный ветер СУЖДЕНИЕ — мысль, в которой что-либо утверждается или отрицается о предметах. Суждения являются повествовательными предложениями, истинными или ложными. Они могут быть простыми и сложными: Светит солнце. Весна наступила, и грачи прилетели. УМОЗАКЛЮЧЕНИЕ — прием мышления, посредством которого из исходного знания получается новое знание; из одного или нескольких истинных суждений, называемых посылками, мы по определенным правилам вывода получаем заключение. Есть несколько видов умозаключений. Все металлы — простые вещества. Литий — металл. Литий — простое вещество

Слайд 4





Виды логики
ФОРМАЛЬНАЯ ЛОГИКА — наука о законах и формах правильного мышления.
Формальная логика связана с анализом наших обычных содержательных умозаключений, выражаемых разговорным языком. 
МАТЕМАТИЧЕСКАЯ ЛОГИКА изучает логические связи и отношения, лежащие в основе дедуктивного (логического) вывода. (В книгах какого писателя хорошо рассказано о дедуктивном методе?)
Математическая логика изучает только умозаключения со строго определенными объектами и суждениями, для которых можно однозначно решить, истинны они или ложны.
Описание слайда:
Виды логики ФОРМАЛЬНАЯ ЛОГИКА — наука о законах и формах правильного мышления. Формальная логика связана с анализом наших обычных содержательных умозаключений, выражаемых разговорным языком. МАТЕМАТИЧЕСКАЯ ЛОГИКА изучает логические связи и отношения, лежащие в основе дедуктивного (логического) вывода. (В книгах какого писателя хорошо рассказано о дедуктивном методе?) Математическая логика изучает только умозаключения со строго определенными объектами и суждениями, для которых можно однозначно решить, истинны они или ложны.

Слайд 5





Этапы развития логики 
1-й этап связан с работами ученого и философа Аристотеля (384— 322 гг. до н. э.). Он пытался найти ответ на вопрос "как мы рассуждаем", изучал "правила мышления". 
Аристотель впервые дал систематическое изложение логики. Он подверг анализу человеческое мышление, его формы — понятие, суждение, умозаключение и рассмотрел мышление со стороны строения, структуры, то есть с формальной стороны. Так возникла формальная логика.
Описание слайда:
Этапы развития логики 1-й этап связан с работами ученого и философа Аристотеля (384— 322 гг. до н. э.). Он пытался найти ответ на вопрос "как мы рассуждаем", изучал "правила мышления". Аристотель впервые дал систематическое изложение логики. Он подверг анализу человеческое мышление, его формы — понятие, суждение, умозаключение и рассмотрел мышление со стороны строения, структуры, то есть с формальной стороны. Так возникла формальная логика.

Слайд 6





Этапы развития логики 
2-й этап — появление математической или символической логики. Основы ее заложил немецкий ученый и философ Готфрид Вильгельм Лейбниц (1646—1716). Он попытался построить первые логические исчисления, считал, что можно заменить простые рассуждения действиями со знаками и привел правила.
Описание слайда:
Этапы развития логики 2-й этап — появление математической или символической логики. Основы ее заложил немецкий ученый и философ Готфрид Вильгельм Лейбниц (1646—1716). Он попытался построить первые логические исчисления, считал, что можно заменить простые рассуждения действиями со знаками и привел правила.

Слайд 7





Тема
Логические основы компьютера
Описание слайда:
Тема Логические основы компьютера

Слайд 8





Введение
Информатика базируется на трех китах: математика, логика, физика.
Логика, а именно математическая логика – основа для действия многих физических элементов, работающих внутри ЭВМ.
Описание слайда:
Введение Информатика базируется на трех китах: математика, логика, физика. Логика, а именно математическая логика – основа для действия многих физических элементов, работающих внутри ЭВМ.

Слайд 9





 Логика высказываний. 
Логика  - это наука, изучающая методы доказательств и опровержений.
 Основными объектами логики являются – высказывания – повествовательные предложения, которые могут быть истинными или ложными.

Примеры простых высказываний:
 Сыктывкар – столица Коми республики.
  (высказывание истинно)
Школа №27 – средняя школа г.Москвы         (высказывание ложно)
Описание слайда:
Логика высказываний. Логика - это наука, изучающая методы доказательств и опровержений. Основными объектами логики являются – высказывания – повествовательные предложения, которые могут быть истинными или ложными. Примеры простых высказываний: Сыктывкар – столица Коми республики. (высказывание истинно) Школа №27 – средняя школа г.Москвы (высказывание ложно)

Слайд 10





Задание 1: определить какие из предложений являются высказываниями. Определить их истинность.
Некоторые люди – художники.
Кто отсутствует?
5*5=25
Дважды два - пять.
Встать, суд идет!
Квадрат есть параллелограмм
Параллелограмм есть квадрат.
Описание слайда:
Задание 1: определить какие из предложений являются высказываниями. Определить их истинность. Некоторые люди – художники. Кто отсутствует? 5*5=25 Дважды два - пять. Встать, суд идет! Квадрат есть параллелограмм Параллелограмм есть квадрат.

Слайд 11





Логика высказываний. 
Из простых высказываний можно составлять более сложные.
Описание слайда:
Логика высказываний. Из простых высказываний можно составлять более сложные.

Слайд 12





Задание 2: постройте сложное высказывание из двух простых
Все ученики изучают литературу. Все ученики изучают математику.
Описание слайда:
Задание 2: постройте сложное высказывание из двух простых Все ученики изучают литературу. Все ученики изучают математику.

Слайд 13





Задание 2: постройте сложное высказывание из двух простых
Марина старше Светы. Оля старше Светы.
Описание слайда:
Задание 2: постройте сложное высказывание из двух простых Марина старше Светы. Оля старше Светы.

Слайд 14





Задание 2: постройте сложное высказывание из двух простых
Одна половина класса изучает английский язык. Вторая половина класса изучает немецкий язык.
Описание слайда:
Задание 2: постройте сложное высказывание из двух простых Одна половина класса изучает английский язык. Вторая половина класса изучает немецкий язык.

Слайд 15





Задание 2: постройте сложное высказывание из двух простых
Часть туристов любят чай. Остальные туристы любят кофе.
Описание слайда:
Задание 2: постройте сложное высказывание из двух простых Часть туристов любят чай. Остальные туристы любят кофе.

Слайд 16





Задание 3: составьте сложное высказывание из простых и определите истинность сложных высказываний.
Приставка есть часть слова.
Приставка пишется раздельно со словом.
Описание слайда:
Задание 3: составьте сложное высказывание из простых и определите истинность сложных высказываний. Приставка есть часть слова. Приставка пишется раздельно со словом.

Слайд 17





Логика высказываний. 
Истинность или ложность сложных высказываний определяется истинностью или ложностью простых.
Сложное высказывание состоит из простых высказываний и связок, которые логически их соединяют.
Логические связки называются логические операции.
Описание слайда:
Логика высказываний. Истинность или ложность сложных высказываний определяется истинностью или ложностью простых. Сложное высказывание состоит из простых высказываний и связок, которые логически их соединяют. Логические связки называются логические операции.

Слайд 18





Логические операции
Описание слайда:
Логические операции

Слайд 19





Логическое умножение (конъюнкция)
Конъюнкция двух высказываний – это операция, ставящая в соответствие двум простым высказываниям А и В новое высказывание А  В
Описание слайда:
Логическое умножение (конъюнкция) Конъюнкция двух высказываний – это операция, ставящая в соответствие двум простым высказываниям А и В новое высказывание А  В

Слайд 20





Логическое сложение (дизъюнкция)
Дизъюнкция двух высказываний – это операция, ставящая в соответствие двум простым высказываниям А и В новое высказывание А v В
Описание слайда:
Логическое сложение (дизъюнкция) Дизъюнкция двух высказываний – это операция, ставящая в соответствие двум простым высказываниям А и В новое высказывание А v В

Слайд 21





Логическое отрицание
Каждому элементарному высказыванию А можно сопоставить высказывание, заключающееся в том, что высказывание А ложно. Такое утверждение является тоже либо истиной, ибо ложью.
Описание слайда:
Логическое отрицание Каждому элементарному высказыванию А можно сопоставить высказывание, заключающееся в том, что высказывание А ложно. Такое утверждение является тоже либо истиной, ибо ложью.

Слайд 22





Импликация (следствие)
Если …, то …
Когда …, тогда …
Коль скоро …, то …
Описание слайда:
Импликация (следствие) Если …, то … Когда …, тогда … Коль скоро …, то …

Слайд 23





Эквивалентность
Если и только если …
Тогда и только тогда, когда …
Описание слайда:
Эквивалентность Если и только если … Тогда и только тогда, когда …

Слайд 24





Задание 4. Определите истинность высказывания. Объясните свой выбор.
Суффикс есть часть слова, и он стоит после корня.
Две прямые на плоскости параллельны или пересекаются.
Если Маша – сестра Саши, то Саша – брат Маши.
Родственные слова имеют общую часть, и они сходны по смыслу.
Луна- планета или 2+3=5.
Тише едешь – дальше будешь.
Число делится на 2 без остатка только тогда, когда оно четное.
Описание слайда:
Задание 4. Определите истинность высказывания. Объясните свой выбор. Суффикс есть часть слова, и он стоит после корня. Две прямые на плоскости параллельны или пересекаются. Если Маша – сестра Саши, то Саша – брат Маши. Родственные слова имеют общую часть, и они сходны по смыслу. Луна- планета или 2+3=5. Тише едешь – дальше будешь. Число делится на 2 без остатка только тогда, когда оно четное.

Слайд 25





Приоритеты выполнения логических операций
Отрицание
Конъюнкция
Дизъюнкция
Импликация
Эквивалентность
Описание слайда:
Приоритеты выполнения логических операций Отрицание Конъюнкция Дизъюнкция Импликация Эквивалентность

Слайд 26





Задание 5. Найти множество значений p, при которых результат будет истинным.
A {p делится на 5}
B {p - нечетное число}
A  B = и
Описание слайда:
Задание 5. Найти множество значений p, при которых результат будет истинным. A {p делится на 5} B {p - нечетное число} A  B = и

Слайд 27





Задание 5. Определите истинность высказывания. Объясните свой выбор.
Летом Петя поедет в деревню и, если будет хорошая погода, то он пойдет на рыбалку.
Описание слайда:
Задание 5. Определите истинность высказывания. Объясните свой выбор. Летом Петя поедет в деревню и, если будет хорошая погода, то он пойдет на рыбалку.

Слайд 28





Логика. Занятие 2.
Описание слайда:
Логика. Занятие 2.

Слайд 29





Вставь пропущенные слова
Простые высказывания - … предложения, они не могут быть восклицательными или вопросительными.
Сложные высказывания состоят из простых и …
Конъюнкция двух простых высказываний … только тогда, когда … оба высказывания и … в остальных случаях.
… двух простых высказываний ложна, когда ложны оба, входящих в него простых высказывания и истинна  в остальных случаях.
Если…, то …. Назовите операцию.
A  B Назовите операцию.
Расскажите о приоритете логических операций
Описание слайда:
Вставь пропущенные слова Простые высказывания - … предложения, они не могут быть восклицательными или вопросительными. Сложные высказывания состоят из простых и … Конъюнкция двух простых высказываний … только тогда, когда … оба высказывания и … в остальных случаях. … двух простых высказываний ложна, когда ложны оба, входящих в него простых высказывания и истинна в остальных случаях. Если…, то …. Назовите операцию. A  B Назовите операцию. Расскажите о приоритете логических операций

Слайд 30





Повторение. Определите истинность высказывания. Объясните свой выбор.
Число 17 нечетное и двузначное.
5*5=25 или 7*7=47
Неверно, что корова – хищное животное.
Если компьютер включен, то на нем можно работать.
Водительские права можно получить тогда и только тогда, когда тебе исполнилось 18 лет.
Описание слайда:
Повторение. Определите истинность высказывания. Объясните свой выбор. Число 17 нечетное и двузначное. 5*5=25 или 7*7=47 Неверно, что корова – хищное животное. Если компьютер включен, то на нем можно работать. Водительские права можно получить тогда и только тогда, когда тебе исполнилось 18 лет.

Слайд 31





Задание 1. Составьте и запишите  истинные сложные высказывания из   простых с использованием логических операций. 
Неверно, что 10>Y5  и Z<0
Z является min(Z,Y)
А является max(A,B,C)
Любое из чисел X,Y,Z положительно
Хотя бы одно из чисел K,L,M не отрицательно.
Все числа X,Y, Zравны 12
Если Х делится на 9, то Х делится и на 3.
Описание слайда:
Задание 1. Составьте и запишите истинные сложные высказывания из простых с использованием логических операций. Неверно, что 10>Y5 и Z<0 Z является min(Z,Y) А является max(A,B,C) Любое из чисел X,Y,Z положительно Хотя бы одно из чисел K,L,M не отрицательно. Все числа X,Y, Zравны 12 Если Х делится на 9, то Х делится и на 3.

Слайд 32





Задание 2. Найдите значения логических выражений.
F = (0  0) (1  1)
F = (1  1) (1  0)
F = (1  1) (1  0)
F = 1  (1  1)  ( 0  1)
F = (1  1)  (1  0)
Описание слайда:
Задание 2. Найдите значения логических выражений. F = (0  0) (1  1) F = (1  1) (1  0) F = (1  1) (1  0) F = 1  (1  1)  ( 0  1) F = (1  1)  (1  0)

Слайд 33





Домашнее задание
Сайт Дистанционное обучение Thlicey.ru
Курс: Основы логики
Домашнее задание №1
Описание слайда:
Домашнее задание Сайт Дистанционное обучение Thlicey.ru Курс: Основы логики Домашнее задание №1

Слайд 34





Практическая работа:
Составить тестирующую программу на языке программирования Паскаль, которая реализует проверку знания логических операций (4 вопроса). 
Программа выводит случайным образом два значения логических переменных А и В (1, 0), запрашивает ответ и выводит сообщение о правильности ответа.
Описание слайда:
Практическая работа: Составить тестирующую программу на языке программирования Паскаль, которая реализует проверку знания логических операций (4 вопроса). Программа выводит случайным образом два значения логических переменных А и В (1, 0), запрашивает ответ и выводит сообщение о правильности ответа.

Слайд 35





Алгоритм построения таблицы истинности
Вычислить количество строк в таблице по формуле К = 2 n, где n – количество переменных.
Вычислить кол-во столбцов = кол-во переменных + кол-во операций
Первые n столбцов заполнить всеми сочетаниями значений переменных.
Вписать в заголовки столбцов операции согласно порядку выполнения (приоритету).
Заполнить столбцы.
Описание слайда:
Алгоритм построения таблицы истинности Вычислить количество строк в таблице по формуле К = 2 n, где n – количество переменных. Вычислить кол-во столбцов = кол-во переменных + кол-во операций Первые n столбцов заполнить всеми сочетаниями значений переменных. Вписать в заголовки столбцов операции согласно порядку выполнения (приоритету). Заполнить столбцы.

Слайд 36





Задание
Построить таблицу истинности         F = ( А ᴧ ┐В) v  С
Определить равносильность двух высказываний F1 и F2
 F1 = ┐ А ᴧ ┐В 
 F2 = ┐(A v B)
Описание слайда:
Задание Построить таблицу истинности F = ( А ᴧ ┐В) v С Определить равносильность двух высказываний F1 и F2 F1 = ┐ А ᴧ ┐В F2 = ┐(A v B)

Слайд 37





Логические операции  И, ИЛИ, НЕ
 в табличном процессоре Excel
Описание слайда:
Логические операции И, ИЛИ, НЕ в табличном процессоре Excel

Слайд 38






Построить таблицу истинности для логической функции
      F = A v (B v ┐B => ┐C)
Докажите равносильность 
F1 = (А → B) И F2 = (A v ┐B)
┐A v ┐B и А ᴧ В - равносильны?
Описание слайда:
Построить таблицу истинности для логической функции F = A v (B v ┐B => ┐C) Докажите равносильность F1 = (А → B) И F2 = (A v ┐B) ┐A v ┐B и А ᴧ В - равносильны?



Похожие презентации
Mypresentation.ru
Загрузить презентацию