Презентация на тему Основы логики

«смысл») – наука о законах, формах и операциях правильного

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

историк, лингвист.

историк, лингвист.

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

любому лицу при использовании машины» Г. В. Лейбниц , 1672г.

Такую машину Лейбницу удалось создать спустя много лет, в 1694г.
Лейбниц изучил проблему вычислений и теоретически. В 1703г. Он впервые привлёк внимание учёного мира к двоичной системе счисления.
Он первым заметил, что вычисление математических действий ведётся с помощью простых правил, для которых не имеет значения смысл чисел, а важно лишь то, как они записаны

Лейбница возникла идея: нельзя ли сделать столь же неоспоримыми

и производительными человеком умозаключения, представив их как вычисления?
Правда, проблему рассмотрел только как философ…
Потребовалось ещё полтора столетия, пока был заложен математический подход к логике

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

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

называть формальной. Это название закрепилось за ней потому, что

она возникла и развилась как наука о формах мышления

не отдельная наука, а инструмент любой науки.
Логика — это

наука о правильном рассуждении, о средствах доказательства истины.
Задачу логики Аристотель понимал как исследование и указание методов, с помощью которых известное данное может быть сведено к элементам, способным стать источником его объяснения

не слишком далеко ушла вперёд. Великий немецкий философ Иммануил

Кант (1724 – 1804) даже считал, что эта наука полностью завершила своё развитие. Однако постепенно в логике назревала революция

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

объектам, от чисел до предложений.
Пользуясь этой системой, он мог закодировать высказывания (утверждения, истинность или ложность которых требовалось доказать) с помощью символов своего языка, а затем манипулировать ими, подобно тому как в математике манипулируют числами. Основными операциями булевой алгебры являются конъюнкция (И), дизъюнкция (ИЛИ), отрицание (НЕ)

праву считается отцом математической логики. Его именем назван раздел

математической логики – булева алгебра.

стало понятно, что система Буля хорошо подходит для описания

электрических переключателей схем. Ток в цепи может либо протекать, либо отсутствовать, подобно тому как утверждение может быть либо истинным, либо ложным

А еще несколько десятилетий спустя, уже в ХХ столетии, ученые объединили созданный Джорджем Булем математический аппарат с двоичной системой счисления, заложив тем самым основы для разработки цифрового электронного компьютера

алгебры логики, алгебра распределительных схем считалась утопией, до

появления теории Гаврилова М.А. о релейно-контактных схемах.
Основой построения сложных логических схем являются винтили – так называются простейшие устройства, на входы которых поступают начальные данные, а на выходе получается результат некоторой булевой операции

имея два диплома бакалавра - по электротехнике и по

математике, выполнял обязанности оператора на неуклюжем механическом вычислительном устройстве под названием «дифференциальный анализатор».
Постепенно у Шеннона стали вырисовываться контуры устройства компьютера. Если построить электрические цепи в соответствии с принципами булевой алгебры, то они могли бы выражать логические отношения, определять истинность утверждений, а также выполнять сложные вычисления

выпускник Мичиганского университета, которому тогда было 21 год, сумел

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

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

щедро смазанных машинным маслом у "дифференциального анализатора".
Свои идеи относительно связи между двоичным исчислением, булевой алгеброй и электрическими схемами Шеннон развил в докторской диссертации, опубликованной в 1938 г.

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

Нейманом) которая сегодня так и именуется - "архитектура фон Неймана", или "фон-неймановская машина»

Неймана состояла из пяти основных узлов: памяти, арифметико-логического устройства

(АЛУ), устройства управления и устройств ввода-вывода (в современных микропроцессорах АЛУ и устройство управления объединены в одном корпусе)

схемы, которая реализует элементарную логическую функцию. Логическими элементами компьютеров

являются электронные схемы И, ИЛИ, НЕ, И-НЕ, ИЛИ-НЕ (называемые вентилями), а также триггер. С помощью этих схем можно реализовать любую логическую функцию, описывающую работу различных устройств компьютера

использованием доступной технологии, например зубчатых колёс или электромагнитных реле.

В современных компьютерах вентиль - это небольшая электронная цепь, в которой значения 0 и 1 соответствуют разным уровням электрического напряжения

2003г.
Фестиваль педагогических идей: Урок информатики по теме: "Алгебра логики»,Шевякова

Екатерина Вячеславовна
2. Газета «Информатика»1 сентября
http://center.fio.ru/method/Resources/judina/07-03/shennon/inform1.htm
http://www.trinitas.ru/rus/doc/0232/004a/02321090.htm
http://chernykh.net/content/view/168/178/
http://www.adeptis.ru/vinci/m_part1_3.html
http://chernykh.net/content/view/26/51/
http://istorik.biz/
http://www.school.edu.ru/projects/mhk/types/sculpture/egypt/V4_01/index.htm