Что такое 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
  • Количество просмотров: 121
  • Количество скачиваний: 0
- Предыдущая Инструментальные методы исследования
Следующая - Сергей Есенин

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

Сортировка в массиве (Паскаль) Сортировка в массиве (Паскаль) 154
Вирусы и антивирусные программы (10 класс) Вирусы и антивирусные программы (10 класс) 118
Изучение циклических алгоритмов на примере геометрических фигур Изучение циклических алгоритмов на примере геометрических фигур 135
Лото-игра по теме Компьютер Лото-игра по теме Компьютер 128
Виды информации Виды информации 155
Коммуникационные технологии и разработка Web - сайтов Коммуникационные технологии и разработка Web - сайтов 108
Zaawansowane metody programowania obiektowego Zaawansowane metody programowania obiektowego 140
Теория передачи сигналов по волоконно-оптическим каналам связи Теория передачи сигналов по волоконно-оптическим каналам связи 128
Презентация по информатике на тему: Текстовый редактор MS Word Презентация по информатике на тему: Текстовый редактор MS Word 152
Статья : Внедрение инновационных технологий в дошкольных учреждениях методическая разработка по информатике (средняя группа) Статья : Внедрение инновационных технологий в дошкольных учреждениях методическая разработка по информатике (средняя группа) 136
ИСТОРИЯ РАЗВИТИЯ ЭВМ ИСТОРИЯ РАЗВИТИЯ ЭВМ 225
Общие процедуры работы в ЕАС ОПС Общие процедуры работы в ЕАС ОПС 304
Презентация по информатике на тему Формализация и визуализация информационных моделей Презентация по информатике на тему Формализация и визуализация информационных моделей 144
Алгоритм с ветвлением Алгоритм с ветвлением 171
Элементный состав объекта Элементный состав объекта 138
Практическая работа по информатике Практическая работа по информатике 121
Глобальная сеть - польза или вред? Глобальная сеть - польза или вред? 140
Операторы ввода и вывода данных Операторы ввода и вывода данных 283
Специфічні методи наукових досліджень Специфічні методи наукових досліджень 112
Процедуры обработки пиксельной (точечной) графики Процедуры обработки пиксельной (точечной) графики 106
Information technologies in the professional sphere. Industrial ICT Information technologies in the professional sphere. Industrial ICT 139
Организация и структура телекоммуникационных компьютерных сетей Организация и структура телекоммуникационных компьютерных сетей 110
Представление информации в различных системах счисления Представление информации в различных системах счисления 165
Петрохимические программы. (Лекция 7) Петрохимические программы. (Лекция 7) 120
Моделирование Моделирование 148
Файлы и папки Файлы и папки 106
Робототехніка на основі Arduino Робототехніка на основі Arduino 231
Комп’ютерні комунікації та комп’ютерні мережі. Апаратне і програмне забезпечення комп’ютерних мереж Комп’ютерні комунікації та комп’ютерні мережі. Апаратне і програмне забезпечення комп’ютерних мереж 114
Презентация по информатике для 6 класса школ РБ Алгоритмы Презентация по информатике для 6 класса школ РБ Алгоритмы 156
Создание искусственного интеллекта Создание искусственного интеллекта 147