Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.

Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

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

Содержание

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

Слайд 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 является делителем

2 является делителем числа 9.
Число х не больше двух.
Уходя

гасите свет.

Слайд 16 Кто является основателем формальной логики?
Дайте определение логики как

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

науки. Каково её назначение?
Какие существуют основные формы мышления?
Что такое

высказывание? Приведите примеры высказываний и предложений, не являющихся ими.

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

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

(учений) от Аристотеля.
Тавтологии, силлогизмы и парадоксы.

  • Имя файла: logika-vvedenie-v-algebru-logiki.pptx
  • Количество просмотров: 140
  • Количество скачиваний: 0
- Предыдущая Нетрадиционное рисование по клеточкам
Следующая - Детские считалки

Похожие презентации

Рисуем в Word Рисуем в Word 168
Хранение информации - история и современность Хранение информации - история и современность 185
Интеллектуальная игра по информатике Интеллектуальная игра по информатике 133
Arrays Loops. Java Core Arrays Loops. Java Core 125
Бесплатная операционная система Windows Бесплатная операционная система Windows 171
Введение в ОС Введение в ОС 113
Теоретичні основи інформатики Теоретичні основи інформатики 103
Компьютерные вирусы. Антивирусные программы. Компьютерные вирусы. Антивирусные программы. 138
Знакомство с языком С++ Знакомство с языком С++ 131
Презентация по информатике на тему Моделирование в среде графического редактора(8 класс) Презентация по информатике на тему Моделирование в среде графического редактора(8 класс) 128
Презентация по информатике Переход от неформального описания алгоритмов к формальному, созданная учеником Презентация по информатике Переход от неформального описания алгоритмов к формальному, созданная учеником 196
Кроссворды ( Информатика) Кроссворды ( Информатика) 143
Язык поисковых запросов Язык поисковых запросов 104
Плоттеры Плоттеры 119
Электронный документ и файл Электронный документ и файл 128
Сайыс сабақ жоспары Білімді мыңды жығар Сайыс сабақ жоспары Білімді мыңды жығар 213
Paint графикалық редакторы. Суретті салу, сақтау және ашу Paint графикалық редакторы. Суретті салу, сақтау және ашу 171
Organizing data graphical and nabular descriptive techniques Organizing data graphical and nabular descriptive techniques 111
Презентация по информатике Алгоритмизация и программирование Презентация по информатике Алгоритмизация и программирование 144
Цикл с предусловием Пока Цикл с предусловием Пока 104
Искусственный интеллект Искусственный интеллект 106
Контекстная реклама Контекстная реклама 146
Локальные и глобальные компьютерные сети Локальные и глобальные компьютерные сети 111
Электронная почта и телеконференции Электронная почта и телеконференции 141
Процедуры и функции обработки строковых данных в Паскаль Процедуры и функции обработки строковых данных в Паскаль 158
АЛГОРИТМ И ЕГО СВОЙСТВА. ВИДЫ АЛГОРИТМОВ АЛГОРИТМ И ЕГО СВОЙСТВА. ВИДЫ АЛГОРИТМОВ 128
База данных ACCESS База данных ACCESS 164
Электронные таблицы Электронные таблицы 91
Геоинформационные системы – ГИС Геоинформационные системы – ГИС 121
Электронная почта Электронная почта 120