Введение в предмет «Алгебра логики» - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Введение в предмет «Алгебра логики», слайд №1

Введение в предмет «Алгебра логики», слайд №2

Введение в предмет «Алгебра логики», слайд №3

Введение в предмет «Алгебра логики», слайд №4

Введение в предмет «Алгебра логики», слайд №5

Введение в предмет «Алгебра логики», слайд №6

Введение в предмет «Алгебра логики», слайд №7

Введение в предмет «Алгебра логики», слайд №8

Введение в предмет «Алгебра логики», слайд №9

Введение в предмет «Алгебра логики», слайд №10

Введение в предмет «Алгебра логики», слайд №11

Введение в предмет «Алгебра логики», слайд №12

Введение в предмет «Алгебра логики», слайд №13

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Введение в предмет «Алгебра логики». Доклад-сообщение содержит 13 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1

Описание слайда:

Введение в предмет «Алгебра логики» Иванова Юлия

Слайд 2

Описание слайда:

Этапы развития логики 1-й этап связан с работами ученого и философа Аристотеля (384-322 г.г. до н.э.). Он пытался найти ответ на вопрос “Как мы рассуждаем”, изучал правила мышления. Аристотель впервые дал систематическое изложение логики. Он подверг анализу человеческое мышление, его формы – понятие, суждение, умозаключение. Так возникла формальная логика.

Слайд 3

Описание слайда:

2-й этап – появление математической, или символической, логики. Основы ее заложил немецкий ученый и философ Г.В. Лейбниц (1646-1716). Он сделал попытку построить первые логические исчисления, считал, что можно заменит простые рассуждения действиями со знаками, и привел соответствующие правила. 2-й этап – появление математической, или символической, логики. Основы ее заложил немецкий ученый и философ Г.В. Лейбниц (1646-1716). Он сделал попытку построить первые логические исчисления, считал, что можно заменит простые рассуждения действиями со знаками, и привел соответствующие правила.

Слайд 4

Описание слайда:

Но он выдвинул только идею, а развил её окончательно англичанин Д. Буль (1815-1864). Но он выдвинул только идею, а развил её окончательно англичанин Д. Буль (1815-1864). Буль считается основоположником математической логики как самостоятельной дисциплины. В его работах логика обрела свой алфавит, свою орфографию и грамматику.

Слайд 5

Описание слайда:

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

Слайд 6

Описание слайда:

Формы мышления. Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта. Содержание понятия – совокупность существенных признаков, отраженных в этом понятии. Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятий. Пример

Слайд 7

Описание слайда:

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

Слайд 8

Описание слайда:

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

Слайд 9

Описание слайда:

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

Слайд 10

Описание слайда:

Пример 1 Например, содержание понятия персональный компьютер-это универсальное электронное устройство для автоматической обработки информации, предназначенное для одного пользователя. Объем понятия персональный компьютер – совокупность существующих в мире персональных компьютеров.

Слайд 11

Описание слайда:

Пример 2 1. Истинное и простое высказывание: Буква “т” - согласная. 2. Ложное и сложное высказывание: Осень наступила, и грачи прилетели.

Слайд 12

Описание слайда:

Пример 3 Все металлы – простые вещества. Литий – металл. Литий – простое вещество. 2. Все школьники – отличники. Вовочка – школьник. Вовочка – отличник.