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

Содержание

1. Логические основы построения компьютера
2. Основные понятия логикиЛогика – наука, которая показывает,
3. ПонятиеПонятие – это форма мышления, которая выделяет
4. СуждениеСуждение – это мысль, в которой что-то
5. УмозаключениеУмозаключение – прием мышления, позволяющий на основе
6. Алгебра логики илиАлгебра высказываний
7. Формальная логикаФормальная логика – это наука о
8. Математическая логикаМатематическая логика изучает вопросы применения математических
9. Из истории логикиПервые учения о формах и
10. Из истории логикиНаука логика начала складываться еще
11. Из истории логикиВеликий греческий ученый Аристотель (IV
12. Немецкий ученый и полити-ческий деятель Готфрид Лейбниц
13. Из истории логикиАнглийский математик и логик Джордж
14. Скачать презентанцию

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

Главная
Информатика
Логические основы построения компьютера

Слайды и текст этой презентации

Слайд 1Логические основы построения компьютера
Основные понятия формальной логики
Высказывания

Слайд 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) первым попытался превратить логику в математическую науку, где отношения

Слайд 13Из истории логики
Английский математик и логик Джордж Буль (1815-1864) изобрел

своеобраз-ную алгебру - систему обозначений и правил, применимую ко всевозмож-ным

объектам, от чисел до предложений. Его именем она теперь и называется – алгебра Буля, или булева алгебра

Из истории логикиАнглийский математик и логик Джордж Буль (1815-1864) изобрел своеобраз-ную алгебру - систему обозначений и правил,

Скачать презентацию

Разделы презентаций

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

Содержание

Слайды и текст этой презентации

Слайд 1Логические основы построения компьютера
Основные понятия формальной логики
Высказывания

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

до н.э.
В Древней Греции стало развиваться искусство убеждения – ораторское

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

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

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

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

Слайд 13Из истории логики
Английский математик и логик Джордж Буль (1815-1864) изобрел

своеобраз-ную алгебру - систему обозначений и правил, применимую ко всевозмож-ным

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

Что такое TheSlide.ru?

Разделы презентаций

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

Содержание

Слайды и текст этой презентации

Слайд 1Логические основы построения компьютераОсновные понятия формальной логикиВысказывания

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

до н.э.В Древней Греции стало развиваться искусство убеждения – ораторское

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

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

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

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

Слайд 13Из истории логикиАнглийский математик и логик Джордж Буль (1815-1864) изобрел

своеобраз-ную алгебру - систему обозначений и правил, применимую ко всевозмож-ным

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

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

Что такое TheSlide.ru?

Слайд 1Логические основы построения компьютера
Основные понятия формальной логики
Высказывания

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

до н.э.
В Древней Греции стало развиваться искусство убеждения – ораторское

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

Слайд 13Из истории логики
Английский математик и логик Джордж Буль (1815-1864) изобрел