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

Презентация к уроку информатики "Логика как наука. Понятие об алгебре высказываний."

* Основы логики и логические основы компьютера Формы мышления
* Логика – это наука о формах и способах мышления Законы логики отражают в со...
* История развития математической логики Первые учения о способах и формах ра...
* Г.В. Лейбниц (1646-1716) Немецкий ученый Лейбниц первым (в 1666 году) попыт...
* Джордж Буль (1815-1864) Спустя более ста лет, в 1816 году, уже после смерти...
* Современный вид математическая логика приобрела в 1880-е годы в трудах неме...
* Понятие Понятие – это форма мышления, фиксирующая основные, существенные пр...
* Формы мышления Понятие Содержание понятия составляет совокупность существен...
* Формы мышления Понятие Объем понятия определяется совокупностью предметов, ...
* Формы мышления Понятие Высказывание Высказывание – это форма мышления, в ко...
* Формы мышления Понятие Высказывание 2 х 2 =4 - математический язык Дважды д...
* Формы мышления Понятие Высказывание простое (никакая его часть сама не явля...
* Логическая структура высказывания 1.Субъект (понятие о предмете мысли) 3. П...
* термины суждения Компьютер состоит из процессора, памяти и внешних устройст...
* Определите, какие из ниже приведённых фраз являются высказываниями с точки ...
* Формы мышления Понятие Высказывание Все углы треугольника равны Треугольник...
* Самостоятельно: Практикум по информатике и информационным технологиям. §3.1...
1 из 17

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

№ слайда 1 * Основы логики и логические основы компьютера Формы мышления
Описание слайда:

* Основы логики и логические основы компьютера Формы мышления

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

* Логика – это наука о формах и способах мышления Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны

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

* История развития математической логики Первые учения о способах и формах рассуждений возникли в странах Древнего Востока. В основе же современной логики лежат учения, созданные древнегреческими мыслителями. Аристотель впервые отделил логические формы речи от её содержания, исследовал терминологию логики, разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления. Аристотель (384 - 322 до н.э.)  

№ слайда 4 * Г.В. Лейбниц (1646-1716) Немецкий ученый Лейбниц первым (в 1666 году) попыталс
Описание слайда:

* Г.В. Лейбниц (1646-1716) Немецкий ученый Лейбниц первым (в 1666 году) попытался перевести законы мышления (формальную логику) из словесного царства, полного неопределенностей, в царство математики, где отношения между объектами или высказываниями определяются в виде математических соотношений.

№ слайда 5 * Джордж Буль (1815-1864) Спустя более ста лет, в 1816 году, уже после смерти Ле
Описание слайда:

* Джордж Буль (1815-1864) Спустя более ста лет, в 1816 году, уже после смерти Лейбница среди ученых шел разговор о создании логического универсального языка, подчиняющегося строгим математическим законам. В 1847 году Буль написал важную статью на тему «Математический анализ логики», а в 1854 году развил свои идеи в работе «Исследование законов мышления». Буль изобрёл своеобразную алгебру – систему обозначений и правил, применимую ко всевозможным объектам, от чисел и букв до предложений. Его именем она теперь и называется: алгебра Буля, или булева алгебра.

№ слайда 6 * Современный вид математическая логика приобрела в 1880-е годы в трудах немецко
Описание слайда:

* Современный вид математическая логика приобрела в 1880-е годы в трудах немецкого логика, математика и философа Готлоба Фреге. Он дал первую аксиоматику логики высказываний и предикатов и сделал попытку свести математику к логике. Г. Фреге (1848-1925)

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

* Понятие Понятие – это форма мышления, фиксирующая основные, существенные признаки предмета Компьютер Множество электронных устройств, которые предназначены для обработки информации и обладают монитором и клавиатурой.

№ слайда 8 * Формы мышления Понятие Содержание понятия составляет совокупность существенных
Описание слайда:

* Формы мышления Понятие Содержание понятия составляет совокупность существенных признаков объекта Компьютер Универсальное устройство для автоматической обработки информации

№ слайда 9 * Формы мышления Понятие Объем понятия определяется совокупностью предметов, на
Описание слайда:

* Формы мышления Понятие Объем понятия определяется совокупностью предметов, на которое оно распространяется Компьютер

№ слайда 10 * Формы мышления Понятие Высказывание Высказывание – это форма мышления, в котор
Описание слайда:

* Формы мышления Понятие Высказывание Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними. Высказывание может быть либо истинным, либо ложным

№ слайда 11 * Формы мышления Понятие Высказывание 2 х 2 =4 - математический язык Дважды два
Описание слайда:

* Формы мышления Понятие Высказывание 2 х 2 =4 - математический язык Дважды два равно пять – естественный язык - истинно - ложно Под высказыванием будем понимать повествовательное предложение о котором однозначно можно сказать истинно оно или нет.

№ слайда 12 * Формы мышления Понятие Высказывание простое (никакая его часть сама не являетс
Описание слайда:

* Формы мышления Понятие Высказывание простое (никакая его часть сама не является высказыванием); составное или сложное (состоящее из простых высказываний) Алгебра высказываний определяет истинность или ложность составных высказываний

№ слайда 13 * Логическая структура высказывания 1.Субъект (понятие о предмете мысли) 3. Пред
Описание слайда:

* Логическая структура высказывания 1.Субъект (понятие о предмете мысли) 3. Предикаты (понятие о свойствах и отношениях предмета мысли ) 2. Логическая связка (выражает отношения между субъектом и предикатом)

№ слайда 14 * термины суждения Компьютер состоит из процессора, памяти и внешних устройств.
Описание слайда:

* термины суждения Компьютер состоит из процессора, памяти и внешних устройств. S P связка Понятие о предмете мысли называется субъектом (S). Понятие о свойствах и отношениях предмета мысли называется предикатом (P). Отношения между субъектом и предикатом выражаются связкой.

№ слайда 15 * Определите, какие из ниже приведённых фраз являются высказываниями с точки зре
Описание слайда:

* Определите, какие из ниже приведённых фраз являются высказываниями с точки зрения логики. Определите значение высказывания (истина или ложь). Без труда не выловишь и рыбку из пруда. Как хорошо быть генералом! Революция может быть мирной и немирной. Талант всегда пробьёт себе дорогу. Информатика, в частности, изучает алгоритм. Познай самоё себя.

№ слайда 16 * Формы мышления Понятие Высказывание Все углы треугольника равны Треугольник ра
Описание слайда:

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

№ слайда 17 * Самостоятельно: Практикум по информатике и информационным технологиям. §3.1; з
Описание слайда:

* Самостоятельно: Практикум по информатике и информационным технологиям. §3.1; задания 3.1-3.6. 3.1 а) целые и натуральные 3.1 б) чётные и нечётные Домашнее задание: §3.1, вопросы стр. 125 (Информатика и ИКТ Н.Д. Угринович); Записи в тетради.

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

Логика как наука. Понятие об алгебре высказываний.

Цель:

üввести определение логики как науки, алгебры логики, понятия высказывания, обозначение истинного и ложного высказывания;

üрассмотреть примеры высказываний и предложений, которые высказываниями не являются.

План урока.

1.Изучение нового материала.

2.Выполнение заданий на закрепление.

3.Домашнее задание.

I.Изучение нового материала.

Логиканаука о формах и способах мышления; учение о способах рассуждений и доказательств. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.

Мышление всегда осуществляется в каких-либо формах. Основными формами мышления являются понятие, высказывание и умозаключение.

Автор Пастушук Галина Григорьевна
Дата добавления 21.11.2016
Раздел Информатика
Подраздел Презентации
Просмотров 61
Номер материала MA-068663
Скачать свидетельство о публикации

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

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

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


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

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




Похожие материалы