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

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

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

Описание презентации по отдельным слайдам:

№ слайда 1 Вид урока: Комбинированный. Тип урока: Беседа – опрос.
Описание слайда:

Вид урока: Комбинированный. Тип урока: Беседа – опрос.

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

Из истории происхождения такой науки как – логика. Теоретические знания о логических вентилях. Самостоятельное решение задач на элементы алгебры высказывания и применение построения схем логических вентилей.

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

ТЕРМИН ПРОИСХОДИТ ОТ ДРЕВНЕГРЕЧЕСКОГО Означает «слово, мысль, понятие, рассуждения, закон». В 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. Конъюнкция «*»

№ слайда 10 «Правила системы счисления». 10 1 1 0 1 1 0 0 0 0 0 1 Пример двоичной системы
Описание слайда:

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

№ слайда 11 Пример: С=(АВ+АВ)А АВ 2) АВ 3) АВ+АВ 4) АВ+АВ 5) С А В АВ В АВ С 1 0 1 1 0 0
Описание слайда:

Пример: С=(АВ+АВ)А АВ 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

№ слайда 12 А В 1 1 0 1 1 0 0 1
Описание слайда:

А В 1 1 0 1 1 0 0 1

№ слайда 13 С=(А+В)*В+(А+В)*А С=((А+В)*(А+В))*В С=А(В*А) С=А+В*(В+А) РЕШАЕМ НА УРОКЕ: Д/З
Описание слайда:

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

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

Только до конца зимы! Скидка 60% для педагогов на ДИПЛОМЫ от Столичного учебного центра!

Курсы профессиональной переподготовки и повышения квалификации от 1 400 руб.
Для выбора курса воспользуйтесь удобным поиском на сайте KURSY.ORG


Вы получите официальный Диплом или Удостоверение установленного образца в соответствии с требованиями государства (образовательная Лицензия № 038767 выдана ООО "Столичный учебный центр" Департаментом образования города МОСКВЫ).

Московские документы для аттестации: KURSY.ORG


Краткое описание документа:

Американец Клод Шеннон раскрыл связи между двоичным способом хранения информации, алгеброй логики и электрическими (в те времена релейными) схемами.Математический аппарат алгебры логики очень удобен для описания того, как функционируют аппаратные средства компьютера, поскольку основной системой счисления в компьютере является двоичная, в которой используются цифры 1 и 0, а значений логических переменных тоже два: “1” и “0”. 
Из этого следует два вывода:одни и те же устройства компьютера могут применяться для обработки и хранения как числовой информации, представленной в двоичной системе счисления, так и логических переменных;на этапе конструирования аппаратных средств алгебра логики позволяет значительно упростить логические функции, описывающие функционирование схем компьютера, и, следовательно, уменьшить число элементарных логических элементов, из десятков тысяч которых состоят основные узлы компьютера. 
Логический элемент компьютера - это часть электронной логической схемы, которая реализует элементарную логическую функцию.Электронные схемы, реализующие различные логические операции называют вентилями. 
Базовые логические элементы реализуют рассмотренные нами ранее основные логические операции:Логический элемент «И» – логическое умножение;Логический элемент «ИЛИ» – логическое сложение;Логический элемент «НЕ» – инверсию. 
Логический элемент «И» 
На входы А и В логического элемента подаются два сигнала (00, 01, 10 или 11). На выходе получается сигнал 0 или 1 в соответствии с таблицей истинности операции логического умножения. 
Логический элемент «И» 
Логический элемент «ИЛИ». 
На входы А и В логического элемента подаются два сигнала (00, 01, 10 ил 11). На выходе получается сигнал 0 или 1 в соответствии таблицей истинности операции логического сложения. 
Логический элемент «ИЛИ» 
Логический элемент «НЕ». 
Логический элемент «НЕ». На вход А логического элемента подается 0 или 1. а выходе получается 0 и 1 в соответствии с таблицей истинности инверсии. 
Логический элемент «НЕ» 

Определить число логических переменных.Определить количество базовых логических операций и их порядок.Изобразить для каждой логической операции соответствующий ей вентиль.Соединить вентили в порядке выполнения логических операций. 
Алгоритм построения логических схем. 
Пример. Составить логическую схему для следующего логического выражения: Решение.Две переменные: Х и Y.Две логические операции: дизъюнкция и конъюнкция.Строим схему: 

 

Общая информация

Номер материала: 173464

Похожие материалы