Главная / Информатика / Презентация по информатике на тему "Основы логики"

Презентация по информатике на тему "Основы логики"

Основы логики
Логика – это наука о формах и способах мышления
Историческая справка Первые учения о формах и способах рассуждений возникли в...
Этапы развития логики 1 этап. Формальная логика Основатель Аристотель (384-32...
Логика позволяет построить модель окружающего мира, отвлекаясь от содержатель...
Понятие – это форма мышления, фиксирующая основные, существенные признаки объ...
Поверка Высказывание (суждение, утверждение) – повествовательное предложение ...
Высказывания бывают простые и составные Процессор – устройство обработки инфо...
Определение истинности составного высказывания НЕ    Операция, выражаемая сло...
Является ли высказыванием? На улице лето. Да Ты выучил урок? Да здравствует з...
Проверка Умозаключение – форма мышления, с помощью которой из одного или неск...
1 из 11

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

№ слайда 1 Основы логики
Описание слайда:

Основы логики

№ слайда 2 Логика – это наука о формах и способах мышления
Описание слайда:

Логика – это наука о формах и способах мышления

№ слайда 3 Историческая справка Первые учения о формах и способах рассуждений возникли в ст
Описание слайда:

Историческая справка Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия). В основе современной логики лежат учения, созданные древнегреческими мыслителями. Основы формальной логики заложил Аристотель, который отделил логические формы мышления (речи) от его содержания.

№ слайда 4 Этапы развития логики 1 этап. Формальная логика Основатель Аристотель (384-322 г
Описание слайда:

Этапы развития логики 1 этап. Формальная логика Основатель Аристотель (384-322 гг. до н.э.), ввёл основные формы абстрактного мышления. 2 этап. Математическая логика. Основатель – немецкий учёный и философ Лейбниц (1642-1716), предпринял попытку логических вычислений. 3 этап. Математическая логика (булева алгебра). Основатель – английский математик Джордж Буль (1815-1864), ввёл алфавит, орфографию и грамматику для математической логики.

№ слайда 5 Логика позволяет построить модель окружающего мира, отвлекаясь от содержательной
Описание слайда:

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

№ слайда 6 Понятие – это форма мышления, фиксирующая основные, существенные признаки объект
Описание слайда:

Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта. Понятие имеет ОБЪЁМ (совокупность таких же объектов) Например: Понятие – компьютер Содержание – универсальное электронное устройство для автоматической обработки информации Объём – сотни миллионов (количество ПК в мире) СОДЕРЖАНИЕ (определение, признаки по которым можно выделить этот объект изо всех)

№ слайда 7 Поверка Высказывание (суждение, утверждение) – повествовательное предложение Вык
Описание слайда:

Поверка Высказывание (суждение, утверждение) – повествовательное предложение Выказывание может быть либо истинно либо ложно Например:

№ слайда 8 Высказывания бывают простые и составные Процессор – устройство обработки информа
Описание слайда:

Высказывания бывают простые и составные Процессор – устройство обработки информации Лил дождь и дул холодный ветер. Я вечером пойду в кино или в театр. Составное высказывание – это высказывание состоящее из нескольких простых, соединённых союзами И, ИЛИ,НЕ.

№ слайда 9 Определение истинности составного высказывания НЕ    Операция, выражаемая словом
Описание слайда:

Определение истинности составного высказывания НЕ    Операция, выражаемая словом "не", называется отрицанием Высказывание  истинно, когда A ложно, и ложно, когда A истинно.   Пример. "Луна — спутник Земли" (А); "Луна — не спутник Земли" ( ). И    Высказывание А и В истинно тогда и только тогда, когда оба высказывания А и В истинны. Например, высказывание   "10 делится на 2 и 5 больше 3"   истинно, а высказывания     "10 делится на 2 и 5 не больше 3",     "10 не делится на 2 и 5 больше 3",     "10 не делится на 2 и 5 не больше 3"     —   ложны. ИЛИ    Высказывание А или В ложно тогда и только тогда, когда оба высказывания А и В ложны.   Например, высказывание   "10 не делится на 2 или 5 не больше 3"   ложно,     а высказывания "10 делится на 2 или 5 больше 3",   "10 делится на 2 или 5 не больше 3",   "10 не делится на 2 или 5 больше 3"     — истинны.

№ слайда 10 Является ли высказыванием? На улице лето. Да Ты выучил урок? Да здравствует зима
Описание слайда:

Является ли высказыванием? На улице лето. Да Ты выучил урок? Да здравствует зима! У меня есть кошка Мурка. Нет Нет Да Я люблю музыку и кино. Да Тебя Миша пригласил к себе в гости или погулять? Нет

№ слайда 11 Проверка Умозаключение – форма мышления, с помощью которой из одного или несколь
Описание слайда:

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

Презентация по информатике на тему "Основы логики"
  • Информатика
Описание:

ЛОГИКА в ИНФОРМАТИКЕ важнейшая тема в современных программах обучения и учебниках информатики. Изучение элементов математической логики формирует логическое мышление, как основы информационной культуры в развивающемся информационном обществе.

Презентация "Формы мышления" предназначена для изучения темы "Основы логики" в курсе информатики 10 класс.

Презентацию можно использовать для сопровождения первого урока в теме "Основы логики".

Данная презентация содержит 11 слайдов, которые содержат следующую информацию:

  • определение науки "логика";
  • историческая справка;
  • этапы развития логики;
  • основные формы мышления: понятие, высказывание, умозаключение; 
  • содержание и объём понятия;
  • простые и составные высказывания;
  • определение истинности простых и сотавных высказываний.

 

 

 

 

Автор Гаспоревич Ольга Евгеньевна
Дата добавления 10.01.2015
Раздел Информатика
Подраздел
Просмотров 533
Номер материала 52230
Скачать свидетельство о публикации

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

Введите символы, которые изображены на картинке:

Получить новый код
* Обязательные для заполнения.


Комментарии:

↓ Показать еще коментарии ↓