Рабочие листы
к вашим урокам
Скачать
1 слайд
Логические основы построения компьютера
Основные понятия формальной логики
Высказывания
2 слайд
Основные понятия логики
Логика – наука, которая показывает, как должно совершаться мышление и каким правилам подчиняться, чтобы была достигнута истина
Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны
Основными формами мышления являются:
понятия,
суждения,
умозаключения.
3 слайд
Понятие
Понятие – это форма мышления, которая выделяет существенные признаки предмета или класса предметов, отличающие его от других
Например: компьютер, квадрат, ураганный ветер
4 слайд
Суждение
Суждение – это мысль, в которой что-то утверждается или отрицается о предметах
Суждения рассматриваются только с точки зрения их истинности или ложности
«Дважды два равно четыре» – истинное суждение
«Процессор предназначен для печати» – ложное суждение
2 x 2 = 4
5 слайд
Умозаключение
Умозаключение – прием мышления, позволяющий на основе одного или нескольких суждений-посылок получить новое суждение (знание или вывод)
Пример:
Доказательство теорем в геометрии
6 слайд
Логика
Формальная
логика
Математическая
логика
Алгебра
логики или
Алгебра высказываний
7 слайд
Формальная логика
Формальная логика – это наука о законах и формах мышления
Она связана с анализом обычных содержательных умозаключений, выражаемых разговорным языком
8 слайд
Математическая логика
Математическая логика изучает вопросы применения математических методов для решения логических задач и построения логических схем, которые лежат в основе построения компьютера
Суждения в математической логике называют высказываниями или логическими выражениями
9 слайд
Из истории логики
Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия)
Но в основе современной логики лежат учения, созданные древнегреческими мыслителями
Logos – в переводе с древнегреческого означает «слово, мысль, понятие, рассуждение, закон»
10 слайд
Из истории логики
Наука логика начала складываться еще в VI-V вв. до н.э.
В Древней Греции стало развиваться искусство убеждения – ораторское искусство, риторика Появились учителя риторики – софисты, которые учили не только доказывать истинные утверждения, но и искусно их опровергать
Понятия истины, лжи, противоречия надолго стали предметом изу-чения в логике
11 слайд
Из истории логики
Великий греческий ученый Аристотель (IV в. до н.э.) впервые разработал строй-ную научную систему логики. Он заложил основы фор-мальной логики (силлогис-тики), где впервые отделил логические формы мышления от содержательных
12 слайд
Немецкий ученый и полити-ческий деятель Готфрид Лейбниц (1646-1716) первым попытался превратить логику в математическую науку, где отношения между выс-казываниями определяются в виде математических соот-ношений.
Из истории логики
13 слайд
Из истории логики
Английский математик и логик Джордж Буль (1815-1864) изобрел своеобраз-ную алгебру - систему обозначений и правил, применимую ко всевозмож-ным объектам, от чисел до предложений. Его именем она теперь и называется – алгебра Буля, или булева алгебра
Рабочие листы
к вашим урокам
Скачать
6 660 402 материала в базе
Настоящий материал опубликован пользователем Кузнецова Ирина Алексеевна. Инфоурок является информационным посредником и предоставляет пользователям возможность размещать на сайте методические материалы. Всю ответственность за опубликованные материалы, содержащиеся в них сведения, а также за соблюдение авторских прав несут пользователи, загрузившие материал на сайт
Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.
Удалить материал
Ваша скидка на курсы
40%
Курс профессиональной переподготовки
500/1000 ч.
Курс повышения квалификации
72/180 ч.
Курс профессиональной переподготовки
300/600 ч.
Курс профессиональной переподготовки
300/600 ч.
Мини-курс
6 ч.
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.