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

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


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

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

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

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

Презентация на тему по информатике Элементы алгебры высказывания

Содержание

Сегодня на уроке:Из истории происхождения такой науки как – логика. Теоретические знания о логических вентилях.Самостоятельное решение задач на элементы алгебры высказывания и применение построения схем логических вентилей.
информатика 10-11 класс.Вид урока: Комбинированный.Тип урока: Беседа – опрос. тема урока: Сегодня на уроке:Из истории происхождения такой науки как – логика. Теоретические знания ЛОГИКА- ÀÐÈÑÒ˜ÎÒÅËÜ (384-322 äî í. ý.), äðåâíåãðå÷åñêèé ôèëîñîô. Ó÷èëñÿ ó Ïëàòîíà â Àôèíàõ; ˘ÅÉÁÍÈÖ (Leibniz) Ãîòôðèä Âèëüãåëüì (1646-1716), íåìåöêèé ôèëîñîô, ìàòåìàòèê, ôèçèê, ÿçûêîâåä. Ñ 1676 ÔИÅÃÅ (Frege) Ãîòëîá (1848-1925), íåìåöêèé ëîãèê, ìàòåìàòèê è ôèëîñîô, îñíîâîïîëîæíèê ëîãèöèçìà. Äàë Основные понятия формальной логики.Слово логика означает совокупность правил, которым подчиняется процесс мышления.логикапонятиясужденияистина Виды логики:Формальная – это наука о законах и формах мышления.Математическая - äåäóêòèâíàÿ логические вентеля.ВСПОМНИМ: «Элементы алгебры высказывания»Логические операции:Дизъюнкция «+»   Инверсия «-»3.  Конъюнкция «*» «Правила системы счисления».1011011000001Пример двоичной системы счисления.8410=10101002 Пример: С=(АВ+АВ)ААВ2) АВ3) АВ+АВ4) АВ+АВ5) САВАВВАВС101100000000000111111|01|00|10|10000 АВ11011001 С=(А+В)*В+(А+В)*АС=((А+В)*(А+В))*ВС=А(В*А)С=А+В*(В+А)РЕШАЕМ НА УРОКЕ:Д/З:С=(А+В)(В+А)АВ11110001 Спасибо   за  внимание.
Слайды презентации

Слайд 2 Сегодня на уроке:

Из истории происхождения такой науки как

Сегодня на уроке:Из истории происхождения такой науки как – логика. Теоретические

– логика.
Теоретические знания о логических вентилях.
Самостоятельное решение задач

на элементы алгебры высказывания и применение построения схем логических вентилей.

Слайд 3 ЛОГИКА-"LOGOS"
ТЕРМИН
ПРОИСХОДИТ ОТ ДРЕВНЕГРЕЧЕСКОГО
Означает «слово, мысль, понятие, рассуждения,

ЛОГИКА-

закон».
В 6-5 в до н.э. Возникла в Греции.
Преподавали –

софисты.
Учили – риторике (доказать, опровергать).


Слайд 4 ÀÐÈÑÒ˜ÎÒÅËÜ (384-322 äî í. ý.), äðåâíåãðå÷åñêèé ôèëîñîô. Ó÷èëñÿ

ÀÐÈÑÒ˜ÎÒÅËÜ (384-322 äî í. ý.), äðåâíåãðå÷åñêèé ôèëîñîô. Ó÷èëñÿ ó Ïëàòîíà â

ó Ïëàòîíà â Àôèíàõ; â 335 îñíîâàë Ëèêåé, èëè

ïåðèïàòåòè÷åñêóþ øêîëó. Âîñïèòàòåëü Àëåêñàíäðà Ìàêåäîíñêîãî. Ñî÷èíåíèÿ Àðèñòîòåëÿ îõâàòûâàþò âñå îòðàñëè òîãäàøíåãî çíàíèÿ. Îñíîâîïîëîæíèê ôîðìàëüíîé ëîãèêè. ñîçäàòåëü ñèëëîãèñòèêè. «Ïåðâàÿ ôèëîñîôèÿ» (ïîçäíåå íàçâàíà ìåòàôèçèêîé) ñîäåðæèò ó÷åíèå îá îñíîâíûõ ïðèíöèïàõ áûòèÿ: âîçìîæíîñòè è îñóùåñòâëåíèè

«Отделил логические формы мышления от содержания.»


Слайд 5 ˘ÅÉÁÍÈÖ (Leibniz) Ãîòôðèä Âèëüãåëüì (1646-1716), íåìåöêèé ôèëîñîô, ìàòåìàòèê,

˘ÅÉÁÍÈÖ (Leibniz) Ãîòôðèä Âèëüãåëüì (1646-1716), íåìåöêèé ôèëîñîô, ìàòåìàòèê, ôèçèê, ÿçûêîâåä. Ñ

ôèçèê, ÿçûêîâåä. Ñ 1676 íà ñëóæáå ó ãàííîâåðñêèõ ãåðöîãîâ.


Ïðåäâîñõèòèë ïðèíöèïû ñîâðåìåííîé ìàòåìàòè÷åñêîé ëîãèêè («Îá èñêóññòâå êîìáèíàòîðèêè», 1666). Îäèí èç ñîçäàòåëåé äèôôåðåíöèàëüíîãî è èíòåãðàëüíîãî èñ÷èñëåíèé.

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


Слайд 6 ÔИÅÃÅ (Frege) Ãîòëîá (1848-1925), íåìåöêèé ëîãèê, ìàòåìàòèê è

ÔИÅÃÅ (Frege) Ãîòëîá (1848-1925), íåìåöêèé ëîãèê, ìàòåìàòèê è ôèëîñîô, îñíîâîïîëîæíèê ëîãèöèçìà.

ôèëîñîô, îñíîâîïîëîæíèê ëîãèöèçìà. Äàë ïåðâóþ àêñèîìàòèêó ëîãèêè âûñêàçûâàíèé è

ïðåäèêàòîâ, ïîñòðîèë ïåðâóþ ñèñòåìó ôîðìàëèçîâàííîé àðèôìåòèêè. Îäèí èç îñíîâîïîëîæíèêîâ ëîãè÷åñêîé ñåìàíòèêè.

ÁÓËÜ (Boole) Äæîðäæ (2 íîÿáðÿ 1815, Ëèíêîëüí, Âåëèêîáðèòàíèÿ — 8 äåêàáðÿ 1864, Áàëëèíòåìïëü, Èðëàíäèÿ), àíãëèéñêèé ìàòåìàòèê è ëîãèê, îäèí èç îñíîâîïîëîæíèêîâ ìàòåìàòè÷åñêîé ëîãèêè. Ðàçðàáîòàë àëãåáðó ëîãèêè (áóëåâó àëãåáðó) («Èññëåäîâàíèå çàêîíîâ ìûøëåíèÿ», 1854), îñíîâó ôóíêöèîíèðîâàíèÿ öèôðîâûõ êîìïüþòåðîâ.


Слайд 7 Основные понятия формальной логики.
Слово логика означает совокупность правил,

Основные понятия формальной логики.Слово логика означает совокупность правил, которым подчиняется процесс

которым подчиняется процесс мышления.
логика
понятия
суждения
истина (1)
ложь (0)
умозаключения
знания
- вывод


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

Виды логики:Формальная – это наука о законах и формах мышления.Математическая -

формах мышления.
Математическая - äåäóêòèâíàÿ ëîãèêà, âêëþ÷àþùàÿ ìàòåìàòè÷åñêèå ìåòîäû èññëåäîâàíèÿ

ñïîñîáîâ ðàññóæäåíèé (âûâîäîâ); ìàòåìàòè÷åñêàÿ òåîðèÿ äåäóêòèâíûõ ñïîñîáîâ ðàññóæäåíèé. Ìàòåìàòè÷åñêîé ëîãèêîé íàçûâàþò òàêæå ëîãèêó, êîòîðîé ïîëüçóþòñÿ â ìàòåìàòèêå.
3. Логический элемент – это электрическое устройство, реализующее одну из логических операций И, ИЛИ, НЕ. В зависимости от типа элемента на его вход подается один или несколько входных сигналов, а на выходе – снимается один выходной сигнал.
4. Логическая схема – состоит из логических элементов, реализует логическую функцию.

Слайд 9 логические вентеля.

ВСПОМНИМ:
«Элементы алгебры высказывания»
Логические операции:
Дизъюнкция «+»

логические вентеля.ВСПОМНИМ: «Элементы алгебры высказывания»Логические операции:Дизъюнкция «+»  Инверсия «-»3. Конъюнкция «*»


Инверсия «-»
3. Конъюнкция «*»


Слайд 10 «Правила системы счисления».
10
1
1
0
1
1
0
0
0
0
0
1
Пример двоичной системы счисления.
8410=10101002

«Правила системы счисления».1011011000001Пример двоичной системы счисления.8410=10101002

Слайд 11 Пример: С=(АВ+АВ)А
АВ
2) АВ
3) АВ+АВ
4) АВ+АВ
5) С

А
В
АВ
В
АВ
С
1
0
1
1
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
1
1|0
1|0
0|1
0|1


0
0
0
0

Пример: С=(АВ+АВ)ААВ2) АВ3) АВ+АВ4) АВ+АВ5) САВАВВАВС101100000000000111111|01|00|10|10000

Слайд 12






А
В
1
1
0
1
1
0
0
1

АВ11011001

Слайд 13 С=(А+В)*В+(А+В)*А
С=((А+В)*(А+В))*В
С=А(В*А)
С=А+В*(В+А)

РЕШАЕМ НА УРОКЕ:
Д/З:
С=(А+В)(В+А)
А
В
1
1
1
1
0
0
0
1

С=(А+В)*В+(А+В)*АС=((А+В)*(А+В))*ВС=А(В*А)С=А+В*(В+А)РЕШАЕМ НА УРОКЕ:Д/З:С=(А+В)(В+А)АВ11110001

  • Имя файла: prezentatsiya-po-informatike-elementy-algebry-vyskazyvaniya.pptx
  • Количество просмотров: 137
  • Количество скачиваний: 0