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

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


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

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

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

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

Презентация на тему Логические основы построения компьютера

Основные понятия логикиЛогика – наука, которая показывает, как должно совершаться мышление и каким правилам подчиняться, чтобы была достигнута истинаЛогика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороныОсновными формами мышления являются: понятия, суждения, умозаключения.
Логические основы построения компьютераОсновные понятия формальной логикиВысказывания Основные понятия логикиЛогика – наука, которая показывает, как должно совершаться мышление и ПонятиеПонятие – это форма мышления, которая выделяет существенные признаки предмета или класса СуждениеСуждение – это мысль, в которой что-то утверждается или отрицается о предметахСуждения УмозаключениеУмозаключение – прием мышления, позволяющий на основе одного или нескольких суждений-посылок получить Алгебра логики илиАлгебра высказываний Формальная логикаФормальная логика – это наука о законах и формах мышленияОна связана Математическая логикаМатематическая логика изучает вопросы применения математических методов для решения логических задач Из истории логикиПервые учения о формах и способах рассуждений возникли в странах Из истории логикиНаука логика начала складываться еще в VI-V вв. до н.э.В Из истории логикиВеликий греческий ученый Аристотель (IV в. до н.э.) впервые разработал Немецкий ученый и полити-ческий деятель Готфрид Лейбниц (1646-1716) первым попытался превратить логику Из истории логикиАнглийский математик и логик Джордж Буль (1815-1864) изобрел своеобраз-ную алгебру
Слайды презентации

Слайд 2 Основные понятия логики
Логика – наука, которая показывает, как

Основные понятия логикиЛогика – наука, которая показывает, как должно совершаться мышление

должно совершаться мышление и каким правилам подчиняться, чтобы была

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

Слайд 3 Понятие
Понятие – это форма мышления, которая выделяет существенные

ПонятиеПонятие – это форма мышления, которая выделяет существенные признаки предмета или

признаки предмета или класса предметов, отличающие его от других
Например:

компьютер, квадрат, ураганный ветер


Слайд 4 Суждение
Суждение – это мысль, в которой что-то утверждается

СуждениеСуждение – это мысль, в которой что-то утверждается или отрицается о

или отрицается о предметах
Суждения рассматриваются только с точки зрения

их истинности или ложности
«Дважды два равно четыре» – истинное суждение
«Процессор предназначен для печати» – ложное суждение

2 x 2 = 4


Слайд 5 Умозаключение
Умозаключение – прием мышления, позволяющий на основе одного

УмозаключениеУмозаключение – прием мышления, позволяющий на основе одного или нескольких суждений-посылок

или нескольких суждений-посылок получить новое суждение (знание или вывод)
Пример:


Доказательство теорем в геометрии

Слайд 6 Алгебра логики или
Алгебра высказываний

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

Слайд 7 Формальная логика
Формальная логика – это наука о законах

Формальная логикаФормальная логика – это наука о законах и формах мышленияОна

и формах мышления
Она связана с анализом обычных содержательных умозаключений,

выражаемых разговорным языком

Слайд 8 Математическая логика
Математическая логика изучает вопросы применения математических методов

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

для решения логических задач и построения логических схем, которые

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

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

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

рассуждений возникли в странах Древнего Востока (Китай, Индия)
Но в

основе современной логики лежат учения, созданные древнегреческими мыслителями

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


Слайд 10 Из истории логики
Наука логика начала складываться еще в

Из истории логикиНаука логика начала складываться еще в VI-V вв. до

VI-V вв. до н.э.
В Древней Греции стало развиваться искусство

убеждения – ораторское искусство, риторика Появились учителя риторики – софисты, которые учили не только доказывать истинные утверждения, но и искусно их опровергать

Понятия истины, лжи, противоречия надолго стали предметом изу-чения в логике


Слайд 11 Из истории логики
Великий греческий ученый Аристотель (IV в.

Из истории логикиВеликий греческий ученый Аристотель (IV в. до н.э.) впервые

до н.э.) впервые разработал строй-ную научную систему логики. Он

заложил основы фор-мальной логики (силлогис-тики), где впервые отделил логические формы мышления от содержательных

Слайд 12 Немецкий ученый и полити-ческий деятель Готфрид Лейбниц (1646-1716)

Немецкий ученый и полити-ческий деятель Готфрид Лейбниц (1646-1716) первым попытался превратить

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

между выс-казываниями определяются в виде математических соот-ношений.

Из истории логики


  • Имя файла: logicheskie-osnovy-postroeniya-kompyutera.pptx
  • Количество просмотров: 89
  • Количество скачиваний: 0