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

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

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

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

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

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

Презентация на тему 3 кита информатики

Содержание

Алгебра логики
На каких трех «китах» держится информатика? Логика, алгоритмы и программаСайт автора: http://natiqat.narod.ru Алгебра логики Цели:Немного об истории логики.Дать определение логики как науки. Сформулировать основные формы мышления.Разобрать 1 этап формальная логика Основатель – Аристотель (384 2 этап математическая логика Основатель – немецкий ученый и В настоящее время самым впечатляющим у человеческого интеллекта является способность принимать правильные Основы нечеткой логики были заложены в конце 60-х лет в работах всемирно-известного Логика - это наука о формах и способах мышления. Понятие; Высказывание; Умозаключение Основные формы мышления: это форма мышления, фиксирую-щая основные, существенные признаки объекта.Понятие СодержаниеОбъем Высказывание может быть истинно или ложно.Высказывание это форма мышления, в которой Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.Умозаключение это В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь Для образования новых высказываний используются базовые логические операции:инверсиялогическое отрицание операция не конъюнкция Логическое отрицание -операция НЕ инверсияНЕАА Логическое умножение – операция И конъюнкцияC=A&B Логическое сложение - операция ИЛИ дизъюнкцияC=A۷B Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую Ресурсы:http://metod-kopilka.ruwww.zavuch.info/component/mtree/nachal/okrnach/nachokrurok nto.immpu.sgu.ru/sites/default/files/3/__12697.pdf exsolver.narod.ru/Books/Other/Logica/c53.html www.twirpx.com/files/pedagogics/common/Учебник «Информатика 8 класс» И. Садыгов, Р. Махмудзаде, Н. Исаева
Слайды презентации

Слайд 2 Алгебра логики

Алгебра логики

Слайд 3 Цели:
Немного об истории логики.
Дать определение логики как науки.

Цели:Немного об истории логики.Дать определение логики как науки. Сформулировать основные формы

Сформулировать основные формы мышления.
Разобрать какие базовые логические операции существуют?
Привить

навыки логически рассуждать.
Записать в тетрадь основные понятия.

Слайд 4 1 этап
формальная логика
Основатель – Аристотель

1 этап формальная логика Основатель – Аристотель (384 -322гг.

(384 -322гг. до н.э. )


Ввёл основные формулы

абстрактного мышления

Слайд 5 2 этап
математическая логика
Основатель – немецкий ученый

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

и философ Лейбниц(1642 -1716), предпринял

попытку логических вычислений.

Слайд 6

3 этап

3 этап

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

Слайд 7 В настоящее время самым впечатляющим
у человеческого интеллекта

В настоящее время самым впечатляющим у человеческого интеллекта является способность принимать

является способность принимать правильные решения в условиях неполной и

нечеткой информации.
Построение моделей приближенных размышлений человека и использование их в компьютерных системах представляет сегодня одну из важнейших проблем науки.

Слайд 8 Основы нечеткой логики были заложены в конце 60-х

Основы нечеткой логики были заложены в конце 60-х лет в работах

лет
в работах всемирно-известного математика, азербайджанского происхождения Лютфи

Заде.
Он родился в Баку, Азербайджан
4 февраля l92l года.

«На протяжении всей жизни моя первая любовь - наука и техника» Лютфи Заде

Слайд 9 Логика - это наука о формах и способах

Логика - это наука о формах и способах мышления. Понятие; Высказывание; Умозаключение Основные формы мышления:

мышления.
Понятие;
Высказывание;
Умозаключение
Основные формы мышления:

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

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


Содержание
Объем

Слайд 11 Высказывание может быть
истинно или ложно.
Высказывание

Высказывание может быть истинно или ложно.Высказывание это форма мышления, в


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

о реальных предметах, их свойствах и отношениях между ними.

Слайд 12 Посылками умозаключения по правилам формальной логики могут быть

Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.Умозаключение

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

из одного или несколько суждений (посылок) может быть получено новое суждение (заключение).

Слайд 13 В алгебре высказываний высказывания обозначаются именами логических переменных,

В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать

которые могут принимать лишь два значения «истинно» и

«ложно».
Истинно = 1
Ложно = 0

Алгебра
высказываний

Слайд 14 Для образования новых высказываний используются базовые логические операции:
инверсия
логическое

Для образования новых высказываний используются базовые логические операции:инверсиялогическое отрицание операция не

отрицание
операция не
конъюнкция
дизъюнкция
логическое умножение
операция и
логическое сложение


операция или

Слайд 15 Логическое отрицание -операция НЕ инверсия
НЕ
А
А

Логическое отрицание -операция НЕ инверсияНЕАА

Слайд 16 Логическое умножение – операция И конъюнкция
C=A&B

Логическое умножение – операция И конъюнкцияC=A&B

Слайд 17 Логическое сложение - операция ИЛИ дизъюнкция
C=A۷B

Логическое сложение - операция ИЛИ дизъюнкцияC=A۷B

Слайд 18 Каждое составное высказывание можно выразить в виде формулы

Каждое составное высказывание можно выразить в виде формулы (логического выражения), в

(логического выражения), в которую входят логические переменные, обозначающие высказывания,

и знаки логических операций, обозначающие логические функции.

Логические
выражения

  • Имя файла: 3-kita-informatiki.pptx
  • Количество просмотров: 119
  • Количество скачиваний: 0
- Предыдущая Инструментальные методы исследования
Следующая - Сергей Есенин

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

Построение локальных сетей по технологии Ethernet Построение локальных сетей по технологии Ethernet 117
Информационные процессы и информационные системы Информационные процессы и информационные системы 149
Важность использования ИКТ в начальной школе план-конспект по информатике Важность использования ИКТ в начальной школе план-конспект по информатике 141
Творческая работа на тему: Работа в интернете и с мобильной связью Творческая работа на тему: Работа в интернете и с мобильной связью 137
Своя игра (презентация-викторина) Своя игра (презентация-викторина) 154
Правовые и этические аспекты использования интернета Правовые и этические аспекты использования интернета 129
Задания по информатике Задания по информатике 143
Алгоритм не роскошь, а средство достижения цели Алгоритм не роскошь, а средство достижения цели 123
Презентация: Культура безопасности в сети интернет Презентация: Культура безопасности в сети интернет 166
Использование графического редактора Инкскейп в основной школе Использование графического редактора Инкскейп в основной школе 113
Технология разработки программного обеспечения Технология разработки программного обеспечения 112
Технология записи звука на компьютере Технология записи звука на компьютере 140
Сохранение информации в облачном хранилище данных Сохранение информации в облачном хранилище данных 155
MSC.Nastran 102 2001 - 11 MSC.Nastran 102 2001 - 11 123
Знакомство со средой программирования QBasic (презентация к уроку информатики) (9 класс) Знакомство со средой программирования QBasic (презентация к уроку информатики) (9 класс) 150
В мире Компьютерных вирусов и Антивирусных программ. В мире Компьютерных вирусов и Антивирусных программ. 176
Системный анализ Системный анализ 117
Обработка массива данных Обработка массива данных 121
Устройство компьютера Устройство компьютера 117
КОМПЬЮТЕРНАЯ ДОЛИНА КОМПЬЮТЕРНАЯ ДОЛИНА 124
Бiоiнформатика Бiоiнформатика 167
Типы алгоритмов. История создания Типы алгоритмов. История создания 168
Управление ремонтами и обслуживанием оборудования. Решение на основе 1С:Предприятие 8 Управление ремонтами и обслуживанием оборудования. Решение на основе 1С:Предприятие 8 116
Мобильные вирусы Мобильные вирусы 137
Сетевые характеристики Сетевые характеристики 137
Представление целых чисел в компьютере Представление целых чисел в компьютере 117
Безопасная работа в социальных сетях Безопасная работа в социальных сетях 90
презентация урока информатики Устройство компьютера3-4 класс презентация урока для интерактивной доски по информатике (3 класс) презентация урока информатики Устройство компьютера3-4 класс презентация урока для интерактивной доски по информатике (3 класс) 124
Закон о правовой охране программ и баз данных Закон о правовой охране программ и баз данных 144
情報セキュリティ第7回（アクティブディフェンス） 情報セキュリティ第7回（アクティブディフェンス） 93